100 likes | 113 Views
This position paper discusses how assurance cases can improve software quality in aviation by documenting assurance arguments. Learn from John Knight, Patrick Graydon, and Elisabeth Strunk about why prescribed development processes may fall short. Explore the intersection of civil and computer engineering in ensuring safety through a community of trust. Discover the importance of engineers understanding limitations and technology advancements to prevent failures. Emphasizing the need for better education and industry integration to set standards for software certification.
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