DREMS ML: A wide spectrum architecture design language for distributed computing platforms

Daniel Balasubramanian, Abhishek Dubey, William Otte, Tihamer Levendovszky, Aniruddha S. Gokhale, Pranav Srinivas Kumar, William Emfinger, Gabor Karsai

Sci. Comput. Program. 2015

PDF DOI

Why This Matters

Developing distributed real-time embedded systems requires integrated modeling of application structure, scheduling, and network characteristics, but existing languages provide incomplete support. DREMS ML is innovative because it provides a unified modeling environment that addresses inherent challenges in specifying properties spanning multiple concerns including security, timing, and resource allocation. The language supports correct-by-construction development through automated analysis.

What We Did

This paper presents DREMS ML, a wide-spectrum architecture description language designed for distributed real-time embedded systems. The language integrates support for component abstractions, scheduling properties, and network characteristics through domain-specific modeling concepts. The work addresses multi-paradigm challenges in describing distributed applications where elements at different abstraction levels must coexist.

Key Results

DREMS ML successfully models distributed real-time applications including scheduling analysis with CPN, network bandwidth analysis, and security properties. The language enables automatic generation of deployment configuration files and analysis of system properties. Case studies demonstrate the language's ability to capture complex application architectures while supporting design-time verification.

Full Abstract

Cite This Paper

@article{Balasubramanian2015,
  author = {Balasubramanian, Daniel and Dubey, Abhishek and Otte, William and Levendovszky, Tihamer and Gokhale, Aniruddha S. and Kumar, Pranav Srinivas and Emfinger, William and Karsai, Gabor},
  journal = {Sci. Comput. Program.},
  title = {DREMS} {ML:} {A} wide spectrum architecture design language for distributed computing platforms},
  year = {2015},
  pages = {3--29},
  volume = {106},
  abstract = {Complex sensing, processing and control applications running on distributed platforms are difficult to design, develop, analyze, integrate, deploy and operate, especially if resource constraints, fault tolerance and security issues are to be addressed. While technology exists today for engineering distributed, real-time component-based applications, many problems remain unsolved by existing tools. Model-driven development techniques are powerful, but there are very few existing and complete tool chains that offer an end-to-end solution to developers, from design to deployment. There is a need for an integrated model-driven development environment that addresses all phases of application lifecycle including design, development, verification, analysis, integration, deployment, operation and maintenance, with supporting automation in every phase. Arguably, a centerpiece of such a model-driven environment is the modeling language. To that end, this paper presents a wide-spectrum architecture design language called DREMS ML that itself is an integrated collection of individual domain-specific sub-languages. We claim that the language promotes {\textquotedblleft}correct-by-construction{\textquotedblright} software development and integration by supporting each individual phase of the application lifecycle. Using a case study, we demonstrate how the design of DREMS ML impacts the development of embedded systems.},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/journals/scp/Balasubramanian15},
  contribution = {colab},
  doi = {10.1016/j.scico.2015.04.002},
  file = {:Balasubramanian2015-DREMS_ML_A_wide_spectrum_architecture_design_language_for_distributed_computing_platforms.pdf:PDF},
  keywords = {architecture description language, distributed systems, real-time embedded systems, model-driven development, scheduling analysis},
  project = {cps-middleware},
  tag = {platform},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  url = {https://doi.org/10.1016/j.scico.2015.04.002}
}
Quick Info
Year 2015
DOI 10.1016/j.scico.2015.04.002
Keywords
architecture description language distributed systems real-time embedded systems model-driven development scheduling analysis
Research Areas
CPS middleware Explainable AI
Search Tags

DREMS, wide, spectrum, architecture, design, language, distributed, computing, platforms, architecture description language, distributed systems, real-time embedded systems, model-driven development, scheduling analysis, CPS, middleware, Explainable AI, 2015, Balasubramanian, Dubey, Otte, Levendovszky, Gokhale, Kumar, Emfinger, Karsai