The goal of this project is to develop formal-method based system design tools with an emphasis on reliability, safety, and security. The tools will utilize models, generic in construct but domain specific for each application. This project is a joint effort with Sandia National Laboratories.
The primary objectives of this project involve increasing the reliability, safety, and security of systems by performing analysis of design models. Analyzing these aspects of a system can greatly reduce the time required to produce a safe, secure, and reliable system by assuring the system meets specifications before prototyping. The analyses rely heavily on formal verification and validation methods, especially symoblic model analysis.
The specific analysis tools that are being
identified and developed include: verification of the consistency
of requirements, validation of design models versus requirement
models, simulation of system behavior (including forward and
backward system execution), safety and reliability analysis
(using proprietary tools), and automatic fault-tree generation.
From an integrated model, safety, reliability, and diagnostic
analyses can be performed.
Additional Information
For additional information, please contact James Davis at james.r.davis@vanderbilt.edu or at (615) 343-7530.
ISIS Home | Model-Integrated Computing for Surety of High Assurance Systems | Technical Overview | Publications