Accession Number:



Formal Methods in Resilient Systems Design using a Flexible Contract Approach-Part 2

Descriptive Note:

Technical Report

Corporate Author:

Stevens Institute of Technology, Systems Engineering Research Center Hoboken United States

Personal Author(s):

Report Date:


Pagination or Media Count:



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.

Subject Categories:

  • Computer Programming and Software
  • Computer Systems

Distribution Statement: