Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, Gabor Karsai
Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, MPM@MODELS 2014, Valencia, Spain, September 30, 2014 2014
Developing distributed real-time systems faces challenges of managing complexity across multiple concerns including scheduling, network communication, and security. DREMS is innovative because it provides unified modeling environment with integrated analysis supporting automated code generation and deployment. The platform reduces development complexity while enabling systematic verification of system properties.
This paper presents DREMS, a comprehensive infrastructure for designing and implementing distributed real-time embedded systems through model-driven development. The platform consists of design-time tools for modeling applications and a runtime platform for deployment. The work integrates scheduling analysis, network bandwidth prediction, and security property verification.
DREMS successfully supports development of distributed applications with scheduling analysis, network bandwidth analysis, and security verification. The platform generates deployable code and configuration files from high-level models. Case studies demonstrate successful modeling and verification of complex distributed systems.
@inproceedings{Balasubramanian2014,
author = {Balasubramanian, Daniel and Levendovszky, Tihamer and Dubey, Abhishek and Karsai, Gabor},
booktitle = {Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, MPM@MODELS 2014, Valencia, Spain, September 30, 2014},
title = {Taming Multi-Paradigm Integration in a Software Architecture Description Language},
year = {2014},
pages = {67--76},
abstract = {Software architecture description languages offer a convenient way of describing the high-level structure of a software system. Such descriptions facilitate rapid prototyping, code generation and automated analysis. One of the big challenges facing the software community is the design of architecture description languages that are general enough to describe a wide-range of systems, yet detailed enough to capture domain-specific properties and provide a high level of tool automation. This paper presents the multi-paradigm challenges we faced and solutions we built when creating a domain-specific modeling language for software architectures of distributed real-time systems.},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/bib/conf/models/BalasubramanianLDK14},
category = {workshop},
contribution = {colab},
file = {:Balasubramanian2014-Taming_Multi-Paradigm_Integration_in_a_Software_Architecture_Description_Language.pdf:PDF},
keywords = {distributed real-time embedded systems, model-driven development, scheduling analysis, network analysis, security verification},
project = {cps-reliability,cps-middleware},
tag = {platform},
timestamp = {Thu, 18 Jul 2019 11:36:32 +0200},
url = {http://ceur-ws.org/Vol-1237/paper7.pdf}
}