Symbolic methods applied to formal verification and synthesis in embedded systems design
Karsten Strehl · Repository for Publications and Research Data (ETH Zurich) · 2000
In many of today's technical appliances, embedded systems are deployed on an increasing scale. This trend is expected to massively gain in importance, especially for applications in consumer and automotive electronics, telecommunications, medical engineering, and avionics. Embedded systems can be characterized as follows: . They mostly consist of both hardware and software and perform control or communication tasks within an overall system, to which they are connected via networks, sensors, and actors. . In general, they are heterogeneous, often distributed systems with realtime requirements which may work on both transformative and reactive domains. . They typically are not directly visible to the user who interacts unconciously with them. The design of embedded systems poses significant challenges since system complexity grows rapidly. In particular, very elaborate design methods are necessary, and quality requirements are high because embedded systems often realize safety-cri...