This paper deals with the reconfigurable real-time systems that should be adapted to their
environment under real-time constraints. The reconfiguration allows moving from one …

Transforming a software functional model that describes the underlying application to a
concurrency model is considered as a critical issue in the model-based approaches for Real …

In this paper, we consider that critical control applications and Fog applications share a Fog
Computing Platform (FCP). Critical control applications are implemented as periodic hard …

Modern vehicles are changing rapidly. Years ago, cars were still differentiated from each
other by mechanical features such as horsepower. Nowadays, there are nearly 100 …

Securing critical systems such as Cyber-Physical Systems (CPS) is an important feature
especially when it comes to critical transmitted data in a real-time environment. At the same …

This article deals with the design exploration and verification of real-time critical systems.
Assigning the functions to the tasks of the target real-time operating system is a part of the …

This article deals with real-time embedded system design and verification. Real-time
embedded systems are frequently designed according to multi-tasking architectures that …

This paper considers the problem of design optimization for real-time systems scheduled
with fixed priority, where task priority assignment is part of the decision variables, and the …

Modern cars have turned into complex high-technology products, subject to strict safety and
timing requirements, in a short time span. This evolution has translated into development …

Securing critical systems such as cyber physical systems (CPS) is an important feature
especially when it comes to critical transmitted data. At the same time, the implementation of …