100 likes | 108 Views
Basing Aviation Software Certification On Assurance Cases. John Knight Patrick Graydon Elisabeth Strunk. The Argument. Prescribed software development processes do not ensure software quality Assurance cases (e.g., safety cases) provide a mechanism for documenting an assurance argument
E N D
Basing Aviation Software CertificationOn Assurance Cases John Knight Patrick Graydon Elisabeth Strunk
The Argument • Prescribed software development processes do not ensure software quality • Assurance cases (e.g., safety cases) provide a mechanism for documenting an assurance argument • Read position paper • Listen to Robin Bloomfield
Certification and Education John Knight
Civil Engineering Large structures very rarely fail Why?
Civil Engineering: Extensive science supporting analysis Rigorous education Mentored, prescribed experience path Community of trust PE signature Learning from failure Computer Engineering: Some science supporting analysis Education Them vs Us
So? • Certification is not just a technical issue • Why? • Sometimes engineers are not aware of: • Their own limitations • The limitations of their technologies • New technology—things are moving very fast • F 22 anyone? • We have to fix this Good technology applied incorrectly is useless
What To Do? Demand better from high education
What To Do? Demand better from high education
What To Do? Demand better from high education
What To Do? • Demand better from high education • Develop a comprehensive approach to the social side of this • Integrate the industry hiring and preparation process with higher education • Set standards for people and processes at all levels