An integrated design approach for hard real-time embedded systems

System designers face many problems during the design and implementation of real-time embedded systems (RTES). Not only must such systems produce correct responses (logical correctness), they must also produce these at the correct time (temporal correctness). This paper presents results of research undertaken to develop an integrated design, development and run-time environment for embedded systems which addresses the issues of: design correctness; software partitioning; performance prediction (timeliness, utilization, etc.); task management; reliable, fast and secure run-time behaviour