50 likes | 55 Views
This national workshop explores the need to support certification aspects of system development in aviation, focusing on the increased complexity of aviation-based systems and the insufficient certification processes. The workshop discusses research on highly integrated systems (HIS) certification techniques, trusted tool suites, and system composition for certification assurance.
E N D
National Workshop on Aviation Software Systems for the Second Century of Flight:Design for Certifiably Dependable Systems Certification by Composition? October 5-6, 2006 Scott Beecher & Jim Krodel
The Need To Support Certification Aspects of System Development • Increased Complexity in Aviation Based Systems • Certification Processes are Currently Insufficient • Research on Highly Integrated Systems (HIS) Certification Techniques • Trusted Tool Suites • System Composition for Certification Assurance Certification Processes
Certification • Process of assessment for acceptability of a system • A predominate attribute – Safety • Current Safety practices • Hazard analysis, fault tree analysis, failure mode accommodations • Challenges Certifying Highly Integrated Systems (HIS) • Development pedigree; Insufficient Process and Methods • Multiple Integrated H/W S/W and Complex Electronics Modules; Networked Architectures • Techniques that are provable to regulatory authorities • Regulatory authority acceptance of those techniques
Challenges • Using modules within certifiable HIS • Assuring the commitments / contracts • Assess the module’s certification aspects in the ‘integrated’ state • Certification Needs: • Traceability and authenticating commitments (the contract) • Understanding acceptable responses to components that break their contract • Reliance on tool suites with these highly integrated systems must be studied • Safety assessment process impacts • System re-assessment with systems that grow their components/ features/ functions • Possible approach: Incremental Cert. Approval Process
Roadmap • Changes to certification processes are lethargic • Domains with successful regulatory practices are slow to change • Large complex systems are straining certification effectiveness • Certification approaches must evolve or become a roadblock to these highly integrated technologies • One approach - Establish tool suites that allow: • Building Complex Systems Incrementally • Building In Reliable/Certifiable Results • Tools Built Around Managing Component Contracts • Tool Pedigree Providing High Confidence • Individual components & integrated in a system. • Needed Research… • Tools that support Certification of HIS • Processes for development of ‘trusted tools’ • System Composition for Certification Assurance