Distributed Hard-Real-Time Systems: From Specification to Realization

Abstract Real-time applications cover a lot of promising industrial fields such as aeronautics, robotics, automotive control. Most of them are inherently complex and safety critical, thus involve computer systems that maintain a permanent interaction with their environment. But using computers in these critical roles, human become hostages to their good performances. Therefore, such systems must be designed so as to be highly reliable. In this regard, this paper describes a determinist and realistic approach in large-scale distributed systems to automatically obtain the most suitable machine to process a given hard-real-time application.