Summary: Information and communication systems as ïembedded systemsï are characterized by safety-critical hard real-time constraints and high complexity. Because of many complex interactions, formal technologies for specification and abstract modeling are often used. These technologies allow computer-aided analysis and simulation for verification and validation purposes as well as automatic generation of hardware/software prototype. This approach is called ïrapid prototypingï and is a main contributor for the reduction of development time and an increase of design quality. (Provider: Leibiger)