highly dependable critical software Roger L Costello October 15 2017 View the Notes section I added notes under each slide Be sure to read the notes Traditional approach Test the heck out of it ID: 643735
Download Presentation The PPT/PDF document "Creating high confidence," is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.
Slide1
Creating high confidence,highly dependable,critical software
Roger L. Costello
October 15, 2017Slide2
View the “Notes” section
I added notes under each slide.
Be sure to read the notes.Slide3
Traditional approach
Test the heck out of it.
Microsoft: One tester for every developer
Verification
Mathematical theorem-proving techniques
Follow a formal certification process.
Aeronautical software: follow the DO-178C processSlide4
Testing to produce dependable softwareSlide5
Acknowledgement: this diagram is from Greg Dennis’ Ph.D dissertation.Slide6
Certification process to produce dependable software
DO-178C, Software Considerations in Airborne Systems and Equipment Certification
is the primary document by which the certification authorities such as FAA, approve all commercial software-based aerospace systems.
IEC 60880
provides requirements for the purpose of achieving highly reliable nuclear software.Slide7
Model of an aircraftSlide8
Model of software
software
(application)
model of the softwareSlide9
MIT Professor Daniel Jackson created Alloy for making software modelsSlide10
Alloy = “lightweight formal modeling”
http://www.cs.cornell.edu/conferences/formalnetworks/pamela-slides-i.pdfSlide11
Traditional testing
Alloy analysisSlide12
AlloySlide13Slide14
Creating software that is highly dependable
Testing
Certification process
Software model and analysis (Alloy)
Dependable softwareSlide15
Acknowledgement
Much of the information in these slides come from these sources:
The book
Software Abstractions
by Daniel Jackson.
The
National Academy of Sciences book
(see 2 slides back).
Greg Dennis’ Ph.D dissertation
.