Applications of model-driven engineering in cyber-physical systems: A systematic map** study

MA Mohamed, M Challenger, G Kardas - Journal of computer languages, 2020 - Elsevier
Engineers face significant challenges in develo** cyber-physical systems (CPS) due to
their heterogeneous nature, ie the need for knowledge and skills from a wide range of …

Model-driven engineering tools and languages for cyber-physical systems–a systematic literature review

MA Mohamed, G Kardas, M Challenger - IEEE Access, 2021 - ieeexplore.ieee.org
The development of Cyber-physical Systems (CPS) draws more interest from both
researchers and industrial practitioners considering the opportunities they offer in almost all …

Model-driven engineering for mission-critical iot systems

F Ciccozzi, I Crnkovic, D Di Ruscio, I Malavolta… - IEEE …, 2017 - ieeexplore.ieee.org
Mission-critical Internet of Things (MC-IoT) systems involve heterogeneous things from both
the digital and physical worlds. They run applications whose failure might cause significant …

A systematic review of metamodelling in software engineering

M Fatehah, V Mezhuyev, M Al-Emran - Recent Advances in Intelligent …, 2021 - Springer
Metamodelling has become a crucial technique to handle the complexity issues in the
software development industry. This paper critically reviews and systematically classifies the …

A unifying framework for homogeneous model composition

J Kienzle, G Mussbacher, B Combemale… - Software & Systems …, 2019 - Springer
The growing use of models for separating concerns in complex systems has lead to a
proliferation of model composition operators. These composition operators have traditionally …

Safe model polymorphism for flexible modeling

T Degueule, B Combemale, A Blouin, O Barais… - … Languages, Systems & …, 2017 - Elsevier
Abstract Domain-Specific Languages (DSLs) are increasingly used by domain experts to
handle various concerns in systems and software development. To support this trend, the …

Debugging and verification tools for LINGUA FRANCA in GEMOC studio

J Deantoni, J Cambeiro, S Bateni, S Lin… - 2021 Forum on …, 2021 - ieeexplore.ieee.org
LINGUA Franca (lf) is a polyglot coordination language designed for the composition of
concurrent, time-sensitive, and potentially distributed reactive components called reactors …

Modeling the behavioral semantics of heterogeneous languages and their coordination

J Deantoni - 2016 Architecture-Centric Virtual Integration (ACVI …, 2016 - ieeexplore.ieee.org
In the software and system modeling community, research on domain-specific modeling
languages (DSMLs) is focused on providing technologies for develo** languages and …

Mechanization of a large DSML: an experiment with AADL and coq

J Hugues, L Wrage, J Hatcliff… - 2022 20th ACM-IEEE …, 2022 - ieeexplore.ieee.org
Domain-Specific Modeling Languages (DSMLs) rely on model-based techniques to deliver
tailored languages to meet specific needs, such as system modeling, formal verification, and …

A systematic literature review on model-driven engineering for cyber-physical systems

MA Mohamed, G Kardas, M Challenger - arxiv preprint arxiv:2103.08644, 2021 - arxiv.org
This technical report presents a Systematic Literature Review (SLR) study that focuses on
identifying and classifying the recent research practices pertaining to CPS development …