Enter Department of Computer Science 12, Hardware/Software Codesign, University of Erlangen-Nuremberg here:
Enter Institut für Informatik 12, Hardware-Software-Co-Design, Universität Erlangen-Nürnberg here:
Embedded systems are often used in life-critical situations, where reliability and safety are more important criteria than performance. Today, embedded systems are designed with an ad hoc approach that is heavily based on earlier experience with similar products and on manual design. Use of higher-level languages such as C helps structure the design somewhat, but with increasing complexity it is not sufficient. Formal verification and automatic synthesis of implementations are the surest ways to guarantee safety.