Accession Number : AD1026888


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


Descriptive Note : SBIR Report,15 Aug 2014,14 Oct 2016


Corporate Author : Dependable Computing LLC Charlottesville United States


Personal Author(s) : Aiello,M A ; Rodes,Benjamin D ; Hocking,Ashlie B ; Rowanhill,Jonathan C ; Knight,John C ; Bateman,Alec J ; Ehlmann,Kevin


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/1026888.pdf


Report Date : 01 Nov 2016


Pagination or Media Count : 210


Abstract : 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).


Descriptors :   unmanned aerial vehicles , systems engineering , complex systems , reasoning , interoperability


Subject Categories : Operations Research
      Cybernetics


Distribution Statement : APPROVED FOR PUBLIC RELEASE