Formal Methods in Resilient Systems Design using a Flexible Contract Approach-Part 2
Abstract
As systems and networks continue to grow in complexity and missions become increasingly more challenging, system safety and resilience have become key requirements. As a result, the ability to verify system model correctness and the ability for the system (model) to respond to disruptions are both needed to satisfy safety and resilience requirements. From a system modeling perspective, this means that the system model should be verifiable in terms of correctness, flexible enough to work with incomplete knowledge initially and fill in the knowledge gaps during system operation (learning), and adaptable to various types of disruptions. These are the requirements of resilient systems. In response to these requirements, we defined a modeling construct called a resilience contract. A resilience contract (RC) balances verifiability and flexibility, the key prerequisites to safety and resilience. We demonstrated the use of the RC in an illustrative example of DoD relevance. In addition, we developed a rudimentary testbed to support our modeling, analysis and prototyping capabilities. This report summarizes our accomplishments on this project.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 27, 2019
- Accession Number
- AD1100119
Entities
People
- Azad M. Madni
- Dan Erwin
Organizations
- Stevens Institute of Technology