By Charles Weinstock on January 6, 2014 2:51 PM| No Comments
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...
By Charles Weinstock on August 12, 2013 3:32 PM| No Comments
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...
Visit the SEI Digital Library for other publications by Charles
Toll Free: 888-201-4479
4500 Fifth Avenue
Pittsburgh, PA 15213-2612