This paper describes an approach for the rapid prototyping of embedded systems, where a HW/SWsystem is automatically derived from a formal specification in SDL. Focussing on two main classes of embedded systems (telecommunications and embedded control), the joint efforts as well as the distinctive research directions of two projects in the DFG priority program are described. For telecommunication systems, the aim is finding a cost optimized system architecture. For embedded control, the realtime properties of the system under development are of particular interest. Main focus of the cooperative work lies on the automated generation of an implementation from the annotated SDL model.
Print ISSN: 1611-2776
Volume: 42, 02/2000
Pages: 45