An approach for integrated specification and design of real-time systems

A design methodology for the design of microelectronic systems which includes hardware and software for open loop and closed loop control is presented. An integrated approach to specification and design, analysis and simulation of the overall system has been developed. This provides for a systematic, computer aided approach to requirements definition, specification and design as well as verification and validation of the results. As embedded systems often require real time capabilities, the environment presented gives special consideration to these constraints. We give an example for concrete applications, which shows, how the design of real time embedded systems is supported by the design methodology and environment.