Blog Posts
Eliminative Argumentation: A Means for Assuring Confidence in Safety-Critical Systems
Software used in safety-critical systems--such as automotive, avionics, and healthcare applications, where failures could result in serious harm or loss of life--must perform as prescribed. How can software developers and …
• By Charles Weinstock
Assurance Cases and Confidence
From the braking system in your automobile to the software that controls the aircraft that you fly in, safety-critical systems are ubiquitous. Showing that such systems meet their safety requirements …