Model-Based Compositional Reasoning for Complex Systems of Systems (SoS)

This report was developed under a SBIR contract. A system interface abstraction technology, a novel theory and framework that enables system of systems analysis, was developed in this effort. SoS analysis is a major challenge area due to the complexity of behavioral interactions possible in an SoS....

Full description

Saved in:
Bibliographic Details
Main Authors: Aiello,M A, Rodes,Benjamin D, Hocking,Ashlie B, Rowanhill,Jonathan C, Knight,John C, Bateman,Alec J, Ehlmann,Kevin
Format: Report
Language:English
Subjects:
behavioral complexity
Compatibility
complex systems
Compositional reasoning
Cybernetics
emergent behavior
interoperability
Operations Research
Practical Argument Modularity
reasoning
SBIR reports
SBIR topic AF131-006 phase 2
SBIR(Small Business Innovation Research)
SoS certification
SoS(System of Systems)
system engineering modeling tools
system interface abstraction technology
systems engineering
unmanned aerial vehicles
V and V(verification and validation)
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This report was developed under a SBIR contract. A system interface abstraction technology, a novel theory and framework that enables system of systems analysis, was developed in this effort. SoS analysis is a major challenge area due to the complexity of behavioral interactions possible in an SoS. Testing of these systems cannot provide adequate coverage or assurance of correct behavior. Compositional analysis, which reasons about system behaviors from component abstractions, offers a compelling alternative, but requires that: 1) components provide the guarantees claimed under stated assumptions and 2) assumptions stated are comprehensive. System interface abstraction technology provides necessary support through: 1) formal analysis and argument-based reasoning of component context, assumptions, and guarantees and 2) formal analysis and argument-based reasoning of compositional properties based on components. System interface abstraction technology is comprised of four key elements: 1) a novel theory of SoS engineering; 2) a novel assurance-case technology for argument composition; 3) a novel theory of enhanced formal contracts; and 4) a novel compositional analysis framework. The technology is demonstrated by application to examples: 1) a novel, argument-based response to a hypothetical request for proposals for a simple system of systems and 2) a hypothetical small unmanned aerial system (UAS).