Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
Tuesday, November 4 • 10:35am - 11:15am
An Incremental Life-Cycle Assurance Strategy for Critical System Certification

Sign up or log in to save this to your schedule and see who's attending!

We present an architecture-led incremental assurance strategy throughout the development life cycle to address the challenges of certifying mission- and safety-critical systems that have become increasingly software reliant. This strategy is pursued in an international SEI, industry, and government collaboration. For aircraft, software as percentage of total system cost has grown from 33% in 1997 to 67% in 2010, with verification-related software rework cost alone exceeding 50%. Systems are currently verified against ambiguous, incomplete, and inconsistent requirements. Industry studies show that 70% of embedded software system defects are introduced in requirements and architecture design, while 80% are discovered post-unit test, with rework cost as much as 300–1,000 times the cost of in-phase correction.

The strategy involves a paradigm shift from build-then-test to an architecture-centric engineering approach that utilizes analytical virtual system integration based on the SAE Architectural Analysis & Design Language standard to discover problems earlier in the life cycle. This paradigm shift is being pursued by an international aerospace industry initiative known as System Architecture Virtual Integration, with return on investment studies showing major cost savings.

The strategy measurably improves requirement coverage through architecture-led requirement specification—incorporating operational requirements such as performance, timing, safety, reliability, and security—and systematically addressing hazards in the process. The strategy applies contract-based compositional verification one architecture layer at a time to ensure that requirements are addressed throughout the life cycle. Finally, the strategy incrementally manages an assurance plan and its execution throughout the life cycle, producing assurance case artifacts for certification.

Speakers
avatar for Peter Feiler

Peter Feiler

Carnegie Mellon Software Engineering Institute
Peter Feiler is a 29-year veteran and Senior Member of the Technical Staff at the Carnegie Mellon Software Engineering Institute, working in the Architecture Practices Initiative. His current research interest is in improving the quality of safety-critical software-intensive systems through architecture-centric virtual integration and verification to reduce rework and qualification costs. Peter Feiler has been the technical lead and main author... Read More →


Tuesday November 4, 2014 10:35am - 11:15am
Grand Station Ballroom 3