Formal Methods in Resilient Systems Design using a Flexible Contract Approach
Systems Engineering and Systems Management Transformation
Dr. Azad Madni
Dr. Barry Boehm
Our research is aligned with SERC research strategy. Specifically, it enables understanding of large-scale technical and socio-technical system behavior. This is specifically supported by modeling, understanding, and managing non-determinism that exist in large systems. This supports the SERC’s Enterprise Systems and System of Systems Research Area.
This research directly enables effective modeling and design of resilient systems. Resilient systems are systems that deal with disruption/change and continue to operate safely. This thrust directly supports SERC’s Trusted Systems research thrust.
This research will enable a capability that would support understanding of change propagation in complex systems. It introduces formal methods for developing a resilient systems to deal with changes and disruptions. This directly supports SERC’s Systems Engineering and Systems Management Transformation research area.
We will develop a rigorous contract model that will work with Partially Observable Markov Decision Processes (POMDP) to demonstrate the needed flexibility and support formal checking facilities needed for designing resilient systems. We will employ a heterogeneous UAV swarm as an example. In the first year, we will extend the POMDP representation by adding confidence levels, state estimates, impact belief maximization, and subsequent actions. We will also introduce means to incorporate state additions as actions in the POMDP. In the second year, we will incorporate means to deal with multi-state, multi-observation POMDP-based RCs. The demonstration of these capabilities in year one and two will be the mid-term exams. We will then demonstrate this capability to the sponsor and transition partners.
The skills required for this research effort include: formal methods in complex system design and analysis; agent-based modeling and simulation; and design and analysis of resilient systems.
- Poster - RT 166: Formal Methods in Resilient Systems Design using a Flexible Contract Approach
- Poster - RT 182: Enterprise Systems-of-Systems Model for Digital Thread Enabled Acquisition
- Poster - Formal Methods in Resilient Systems Design using a Flexible Contract Approach
- Poster - Meshing Capability and Threat-based Science & Technology Resource Allocation