Experience with the development of hard real-time embedded Ada software

Though already intrinsically demanding, the development of real-time embedded on-board software is often made harsher by the constraining nature of the execution environment and the general lack of suitable support. One of the key needs in the design of these systems is to get guidance towards the definition of a system that is truly analysable against timing requirements; specialised methods and tools are needed to accommodate this particular demand. This paper reports on the use of a novel design method especially tailored towards the construction of hard real-time systems