Integrated design approach for real-time embedded systems

System designers face many problems during the design and implementation of real time embedded systems. Not only must such systems produce correct responses (logical correctness), they must also produce these at the correct time (temporal correctness). The paper presents results of research undertaken to develop an integrated design, development and run time environment for embedded systems that addresses the issues of: design correctness; software partitioning; performance prediction (timeliness, utilisation etc.); task management; and reliable, fast and secure run time behaviour. A description of a prototype tool set, based on a networked PC/UNIX system, is given