Digital twins promise tremendous potential to reduce time and cost in the smart
manufacturing of Industry 4.0. Engineering and monitoring interactive digital twins currently …

The design of embedded systems is being challenged by their growing complexity and tight
performance requirements. This paper presents the COMPLEX UML/MARTE Design Space …

Nowadays embedded systems are used in a broad range of domains such as avionics,
space, automotive, mobile, domestic appliances etc. Sophisticated software determines the …

The increasing complexity in the development of embedded system is raising the need of
system modularization, parallelization and component portability. High-level languages …

The increasing complexity in the development of embedded system applications is
necessitating system modularization, parallelization and component portability. Finding the …

Mixed-critical systems combine highly-critical tasks with non-critical activities. Among them,
there is a trend of sharing the available HW resources for all these activities, as a way of …

Design of embedded systems is facing the challenge of their growing complexity and strict
performance requirements. Model-driven design solutions are very common in this context …

Digital twins promise tremendous potential to reduce time and cost in the smart
manufacturing of Industry 4.0. Engineering and monitoring interactive digital twins currently …

The chapter considers VIPE development environment with the main emphasis on its formal
ground. The detailed description of a formal VIPE model of computation (MoC) and the …

Openness is one of the features of modern open robot controllers. The extending ability of
control software is one of the important aspects related to openness. In order to overcome …