Accession Number : ADA617285


Title :   Engineering High Assurance Distributed Cyber Physical Systems


Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST


Personal Author(s) : Hissam, Scott A ; Kyle, David S ; Chaki, Sagar ; de Niz, Dionisio ; Hansen, Jeffery P ; Moreno, Gabriel ; Klein, Mark


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


Report Date : 15 Jan 2015


Pagination or Media Count : 5


Abstract : Distributed Adaptive Real-Time (DART) systems are interconnected and collaborating systems that continuously must satisfy guaranteed and highly critical requirements (e.g., collision avoidance), while at the same time adapt ing, smartly, to achieve best- effort and low-critical application requirements (e.g., protection coverage) when operating in dynamic and uncertain environments . This paper introduces our approach to engineering a DART system so that we achieve high assurance in its runtime behavior against a set of formally specified requirements. It describes our technique to : (i) ensure asymmetric timing protection between high-and low-critical threads (HCTs and LCTs) on each node in the DART system , and (ii) verify that the self- adaptation within, and coordination between, the nodes and their interaction with the physical environment do not violate high and low requirements. We present our ongoing research to integrate advances in model- based engineering with compositional analysis techniques to formally verify safety- critical properties demanded in safety- conscience domains such as aviation and automotive , and introduce our DART model problem that serves as an end- to-end demonstration of our integrated engineering approach.


Descriptors :   *DISTRIBUTED COMPUTING , *MULTIAGENT SYSTEMS , *SOFTWARE ENGINEERING , ADAPTIVE SYSTEMS , BEHAVIOR , COLLABORATIVE TECHNIQUES , COLLISION AVOIDANCE , COMPUTER COMMUNICATIONS , DECISION MAKING , ERROR ANALYSIS , MATHEMATICAL MODELS , MULTISENSORS , NETWORK ARCHITECTURE , PERFORMANCE(ENGINEERING) , QUALITY ASSURANCE , REMOTELY PILOTED VEHICLES , STOCHASTIC PROCESSES , UNCERTAINTY


Subject Categories : Statistics and Probability
      Computer Programming and Software
      Computer Systems


Distribution Statement : APPROVED FOR PUBLIC RELEASE