Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Conference Paper

Modeling, Verifying, and Generating Software for Distributed Cyber-Physical Systems using DMPL and AADL.

  • October 2016
  • By Sagar Chaki, Dionisio de Niz, Joe Seibel
  • This paper provides an end-to-end framework where DART systems can be designed, analyzed, and implemented within the same toolchain. In this talk, the authors present this toolchain and demonstrate it on a few representative examples.
  • Cyber-Physical Systems
  • Publisher: Software Engineering Institute
  • Abstract

    The Distributed Adaptive Real-Time (DART) project at the Carnegie Mellon Software Engineering Institute has been developing an engineering method for producing high-assurance software for cyber-physical systems composed of multiple agents (such as a team of robots) that communicate, coordinate, and adapt to uncertain environments in order to achieve safety-critical and mission-critical goals. We have developed an executable domain specific language, called DMPL, to program DART systems, verify safety and probabilistic properties, prove real-time schedulability, and ultimately generate C++ code to be compiled and deployed on a target platform. Using DMPL, we have developed a number of multi-agent scenarios that incorporate verified collision-avoidance protocols, mixed-criticality real-time scheduling, and proactive self-adaptation algorithms. More details are available at https://github.com/cps-sei/dart. More recently, we have integrated DMPL with the AADL/OSATE ecosystem by developing an AADL annex. This provides an end-to-end framework where DART systems can be designed, analyzed, and implemented within the same toolchain. In this talk, we will present this toolchain and demonstrate it on a few representative examples.

Conference Paper