Abstract
If the use of Ada (or SPARK or some other tool) increases our confidence in the behavior of high integrity software systems, why does it do so? What do we mean by confidence, and what is a justified basis for asserting some level of confidence? In this talk, I'll address some recent research on the potential value of thinking about confidence in terms of eliminative induction, assurance cases, and confidence maps.
Index Terms
Building confidence in system behavior
Recommendations
Building confidence in system behavior
HILT '13: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technologyIf the use of Ada (or SPARK or some other tool) increases our confidence in the behavior of high integrity software systems, why does it do so? What do we mean by confidence, and what is a justified basis for asserting some level of confidence? In this ...
Architecting and generalizing a safety case for critical condition detection software: an experience report
ASSURE '13: Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive SystemsSafety cases and, specifically, software safety cases, have had virtually no presence in engineering practice in the US. Recent interest, in addition to an early attempt to introduce them into practice in the NASA Constellation Program, motivated us to ...
Certification of software-driven medical devices
ISoLA'10: Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part IIThis track focuses on the issue of certification for modern medical devices. These devices rely more and more on software and are paradigmatic examples of safety critical systems. Existing approaches to software safety and certification are invariably ...







Comments