Name
Abstract | ||
|---|---|---|
The next generation of military aerospace systems will includeadvanced control systems whose size and complexity will challenge currentverification and validation approaches. The recent adoption by the aerospaceindustry of model-based development tools such as Simulink® and SCADESuite™ is removing barriers to the use of formal methods for the verification ofcritical avionics software. Formal methods use mathematics to prove that softwaredesign models meet their requirements, and so can greatly increase confidencein the safety and correctness of software. Recent advances in formalanalysis tools have made it practical to formally verify important properties ofthese models to ensure that design defects are identified and corrected early inthe lifecycle. This paper describes how formal analysis tools can be insertedinto a model-based development process to decrease costs and increase qualityof critical avionics software. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1007/978-3-540-79707-4_7 | FMICS |
Keywords | Field | DocType |
model checking,formal method,control system,software verification,software design,software development process,verification and validation,model based development | Avionics software,Software engineering,Life-critical system,Computer science,Package development process,Formal specification,Theoretical computer science,Software development process,Formal methods,Software verification and validation,Formal verification | Conference |
Volume | ISSN | ISBN |
4916 | 0302-9743 | 3-540-79706-8 |
Citations | PageRank | References |
37 | 2.81 | 5 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Michael W. Whalen | 1 | 1096 | 70.54 |
| Darren D. Cofer | 2 | 214 | 20.08 |
| Steven P. Miller | 3 | 561 | 56.48 |
| Bruce H. Krogh | 4 | 1932 | 292.48 |
| Walter Storm | 5 | 37 | 2.81 |