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 a computer-aided analysis and simulation for verification and validation purposes as well as the automatic generation of a hardware/software prototype. This approach is called rapid prototyping and is mainly responsible for the reduction of development time and an increase of design quality.
Print ISSN: 1611-2776
Volume: 42, 02/2000
Pages: 8