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


Publication Date


Verifying Distributed Adaptive Real-Time (DART) Systems

  • October 2015
  • By Sagar Chaki, Dionisio de Niz
  • This 2015 Research Review presentation describes the authors' research efforts in verifying distributed adaptive real-time systems.
  • Publisher: Software Engineering Institute
  • Abstract

    This research is producing the DART Modeling and Programming Language (DMPL),
    C-like language that can express distributed, real-time systems. DMPL semantics are precise, and it supports formal assertions usable for model checking and probabilistic model checking. In DMPL, physical and logical concurrency can be expressed in sufficient detail to perform timing analysis. 

  • Download