-
Chapter and Conference Paper
Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems
Correctness of controller implementations rely on real-time guarantees that all control tasks finish execution by their prescribed deadlines. However, with increased complexity and heterogeneity in hardware, t...
-
Chapter
Engineering IoT Networks
Networks inside IoT applications can be very complicated, merging several different standards in order to achieve the common communication objective. This chapter presents the main reference communication scen...
-
Chapter
Fault Analysis in Analog Circuits Through Language Manipulation and Abstraction
Each year automotive systems are becoming smarter thanks to their enhancement with sensing, actuation and computation features. The recent advancements in the field of autonomous driving have increased even mo...
