n embedded system is a self-contained system that incorporateselements of control logic and real-world interaction. UML State Ma-chines constitute a powerful formalism to model the behaviour ofthese types of systems. In ...

One of the challenges for complex IoT software systems is toincrease their safety. A Model Driven Development approach helps in the design and development phase of these systems while runtime checkin gtechniques help to ...

Dependability is crucial in Safety Critical Cyber Physical Systems (CPS). In spite of the research carried out in recent years, implementation and certification of such systems remain costly and time consuming. In this ...

Variability is a central concept in Software Product Lines (SPLs). It has been extensively studied how the SPL paradigm can improve both the efficiency of a company and the quality of products. Nevertheless, this brings ...

Model Based System Engineering (MBSE) has become the pre-eminent paradigm used to improve the development of complex systems. Additionally, Delta Modelling provides an incremental approach to the design and maintenance of ...

Large models are increasingly used in Model Driven Development. Different studies have proved that XMI (default persistence in Eclipse Modelling Framework) has some limitations when operating with large models. To overcome ...

Cyber-Physical Systems integrate digital cyber technologies with complex physical systems. These systems are taking importance in our dayly lives and their variability is considerably increasing to give response to di erent ...

Persisting and querying models larger than a few tens of megabytes using XMI introduces a significant time and memory footprint overhead to MDD workflows. In this paper, we present an approach that attempts to address this ...

The use of Model Driven Development (MDD) is increasing in industry. When a Non Functional Requirement (NFR) not considered in the development must be added metamodels, models and also transformations are affected. Tasks ...

The use of Model Driven Development (MDD) approach is increasing in industry. MDD approach raises the level of abstraction using models as main artefacts of software engineering processes. The development of model ...