Extending Formal Modeling for Resilient Systems Design. Issue 1 (16th August 2018)

• Record Type: Journal Article
• Authors: Madni, Azad M.; Sievers, Michael; Ordoukhanian, Edwin; Madni, Ayesha; Pouya, Parisa
• Is Part Of: INCOSE International Symposium. Volume 28:Issue 1(2018)
• Page Start: 1138
• Page End: 1152
• Publication Date: 2018-08-16
• Subjects: Systems engineering -- Congresses; Systems engineering -- Periodicals; 620.0011
• DOI: 10.1002/j.2334-5837.2018.00539.x
• Languages: English
• ISSNs: 2334-5837

Abstract

Abstract: Resilience is a much‐needed characteristic in systems that are expected to operate in uncertain environments for extended periods with a high likelihood of disruptive events. Resilience approaches today employ ad hoc methods and piece‐meal solutions that are difficult to verify and test, and do not scale. Furthermore, it is difficult to assess the long‐term impact of such ad hoc "resilience solutions." This paper presents a flexible contract‐based approach that employs a combination of formal methods for verification and testing and flexible assertions and probabilistic modeling to handle uncertainty during mission execution. A flexible contract (FC) is a hybrid modeling construct that facilitates system verification and testing while offering the requisite flexibility to cope with non‐determinism. This paper illustrates the use of FCs for multi‐UAV swarm control in, partially observable, dynamic environments. However, the approach is sufficiently general for use in other domains such as self‐driving vehicle and adaptive power/energy grids.