Integration of Formal Analysis into a Model-Based Software Development Process
Loading...
View/Download File
Persistent link to this item
Statistics
View StatisticsJournal Title
Journal ISSN
Volume Title
Title
Integration of Formal Analysis into a Model-Based Software Development Process
Published Date
2007
Publisher
Springer-Verlag
Type
Report
Abstract
The next generation of military aerospace systems will include advanced control systems whose size and complexity will challenge current verification and validation approaches. The recent adoption by the aerospace industry of model-based development tools such as Simulink® and SCADE Suite™ is removing barriers to the use of formal methods for the verification of critical avionics software. Formal methods use mathematics to prove that software design models meet their requirements, and so can greatly increase confidence in the safety and correctness of software. Recent advances in formal analysis tools have made it practical to formally verify important properties of these models to ensure that design defects are identified and corrected early in the lifecycle. This paper describes how formal analysis tools can be inserted into a model-based development process to decrease costs and increase quality of critical avionics software
Keywords
Description
Associated research group: Critical Systems Research Group
Related to
Replaces
License
Series/Report Number
Funding information
Isbn identifier
Doi identifier
Previously Published Citation
Proceedings of the 12th International Workshop on Industrial Critical Systems (FMICS 2007)
Suggested citation
Whalen, Michael; Cofer, Darren; Miller, Steven; Krogh, Bruce; Storm, Walter. (2007). Integration of Formal Analysis into a Model-Based Software Development Process. Retrieved from the University Digital Conservancy, https://hdl.handle.net/11299/217308.
Content distributed via the University Digital Conservancy may be subject to additional license and use restrictions applied by the depositor. By using these files, users agree to the Terms of Use. Materials in the UDC may contain content that is disturbing and/or harmful. For more information, please see our statement on harmful content in digital repositories.