University of Minnesota
Software Engineering Center
/

You are here

Walter Storm

Recent Publications

Integration of Formal Analysis into a Model-Based Software Development Process

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.