Software safety and reliability: techniques, approaches, and standards of key industrial sectors
Software safety and reliability: techniques, approaches, and standards of key industrial sectors
Avionics software problem occurrence rates
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Software Hazard and Safety Analysis
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Computer-based safety critical systems in defence: Def (Aust) 5679
SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
SCS '04 Proceedings of the 9th Australian workshop on Safety critical systems and software - Volume 47
Process and product certification arguments: getting the balance right
ACM SIGBED Review - Special issues on workshop on innovative techniques for certification of embedded systems
Safety and Software Intensive Systems: Challenges Old and New
FOSE '07 2007 Future of Software Engineering
Safety, software architecture and MIL-STD-1760
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
Systematic approaches to understanding and evaluating design trade-offs
Journal of Systems and Software
Towards evidence-based architectural design for safety-critical software applications
Architecting dependable systems IV
Extending argumentation to goal-oriented requirements engineering
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Software safety: relating software assurance and software integrity
International Journal of Critical Computer-Based Systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Discovering Multidimensional Correlations among Regulatory Requirements to Understand Risk
ACM Transactions on Software Engineering and Methodology (TOSEM)
Challenges in the regulatory approval of medical cyber-physical systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Moving towards goal-based safety management
ASSC '11 Proceedings of the Australian System Safety Conference - Volume 133
Safety assurance: fact or fiction?
ASSC '11 Proceedings of the Australian System Safety Conference - Volume 133
Argument-based approach to computer system safety engineering
International Journal of Critical Computer-Based Systems
Hi-index | 0.00 |
Standards for safety critical software usually either mandate or recommend development and assessment techniques which are deemed appropriate to reduce the risk of flaws in the software contributing to accidents. These recommendations are usually broken down into a number of "levels" of rigour, with the highest levels being applied where the consequences of failure, or risk, are most severe. The paper discusses the extent to which it is possible to find evidence that there is a genuine variation in risk with level, i.e. that the principles in the standards are sound, and questions some of the assumptions underlying these standards.The paper then goes on to discuss the potential advantages of using product-based evidence to demonstrate safety of software, as opposed to relying on process prescription. It outlines current work on developing and applying "evidence frameworks" as alternatives to the process-based approach, and identifies some of the challenges in gaining widespread acceptance of such approaches.Finally the paper discusses the ALARP principle, and what would be necessary to show that risks associated with safety-critical software have been reduced ALARP. The paper concludes that there are some fundamental difficulties with applying the ALARP principle to software, which neither the process nor evidence-based approaches to demonstrating software safety can readily resolve.