search menu icon-carat-right cmu-wordmark

Subject: Assurance Cases

Eliminative Argumentation: A Means for Assuring Confidence in Safety-Critical Systems

Eliminative Argumentation: A Means for Assuring Confidence in Safety-Critical Systems

• SEI Blog
Charles Weinstock

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 programmers offer assurance that the system will perform as needed and with what level of confidence? In the first post in this series, I introduced the concept of the assurance case as a means to justify safety, security, or reliability claims by relating evidence to...

Read More
Assurance Cases and Confidence

Assurance Cases and Confidence

• SEI Blog
Charles Weinstock

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 has become a critical area of work for software and systems engineers. "We live in a world in which our safety depends on software-intensive systems," editors of IEEE Software wrote in the magazine's May/June issue. "Organizations everywhere are struggling to find cost-effective methods to deal...

Read More