Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.
This work presents the safety and verification arguments for the development of an autonomous robot platform capable of leading humans around a building. It uses Goal Structuring Notation (GSN) to develop a pattern, a re-usable GSN fragment, that can form part of the safety case surrounding the interaction of a mobile guide robot to: record the decisions taken during the design phase, ensure safe operation around humans, and identify where mitigation must be introduced.
International Symposium on Software Reliability Engineering
A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models2010 •
Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what poses many new challenges on assuring the safety of the vehicle. Safety cases constitute a proven technique to systematically use existing information about a system, its environment, and development context to show its safety.
Information and Software Technology
An extended systematic literature review on provision of evidence for safety certification2014 •
Lecture Notes in Computer Science
An Immuno-engineering Approach for Anomaly Detection in Swarm Robotics2009 •
2008 •
The study of Complex Systems is growing rapidly, and modelling and simulation tools are an important part of the process. This volume brings together work from a multidisciplinary group of scientists, from biology and computer science, who are studying a variety of techniques and applications for modelling and simulating complex systems. A common theme emerging from much of this work is an emphasis on validation: how one can have confidence that a computer simulation is saying something sensible about the complex ...
2008 •
This paper describes and demonstrates an approach that promises to bridge the gap between model-based systems engineering and the safety process of automotive embedded systems. The basis for this is the integration of safety analysis techniques, a method for developing and managing Safety Cases, and a systematic approach to model-based engineering – the EAST-ADL2 architecture description language. Three areas are highlighted: (1) System model development on different levels of abstraction. This enables fulfilling many requirements on software development as specified by ISO-CD-26262; (2) Safety Case development in close connection to the system model; (3) Analysis of mal-functional behaviour that may cause hazards, by modelling of errors and error propagation in a (complex and hierarchical) system model.
Reliability Engineering & System Safety
A Goal-Based Approach for Qualication of New Technologies: Foundations, Tool Support, and Industrial Validation2013 •
Reliability Engineering & System Safety
A goal-based approach for qualification of new technologies: Foundations, tool support, and industrial validation2013 •
2009 •
Lecture Notes in Computer Science
Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems2006 •
IEEE Systems Journal
Hazard Analysis and Validation Metrics Framework for System of Systems Software Safety2010 •
Advances in System Testing …
Argument-Driven Validation of Computer Simulations-A Necessity, Rather than an Option2010 •
2011 •
Neural Computing & Applications
Developing artificial neural networks for safety critical systems2007 •
Complex Systems …
Equivalence arguments for complex systems simulations-a case-study2009 •
Process Safety and Environmental Protection
Exploring the Role and Content of the Safety Case2004 •
2009 •
Advances in Water Resources
Defining a Framework for the Development and Management of Dependability Cases2015 •
… OF YORK DEPARTMENT OF COMPUTER SCIENCE- …
Safety Analysis of Computer Resource Management Software2006 •
Advances in Water Resources
INVESTIGATING THE USE OF ARGUMENT MODULARITY TO OPTIMISE THROUGH-LIFE SYSTEM SAFETY ASSURANCE2008 •
Formal Methods in System Design
Structuring and automating hardware proofs in a higher-order theorem-proving environment1993 •
2009 •
2005 •
Design and implementation of distributed expert systems: On a control strategy to manage the execution flow of rule activation
Design and implementation of distributed rule-based expert systems.pdf2018 •
2011 •
Lecture Notes in Computer Science
A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments2012 •