Formal Specification of Embedded Control Systems
With the high complexity of nowadays embedded systems solutions and the decreasing time-to-market the designers of new products are
facing an ever increasing design productivity gap. One way to tackle this problem is by moving on towards languages of higher abstraction.
One option in this regard is the Esterel language that allows for control-flow oriented descriptions at a very high-level with strong
semantics. Associated compilers allow for near push-button synthesis towards either HDL or C code, thus enabling a fast path for an
implementation. Furthermore, the provided model checking tool in the Esterl-Studio allows for an early trustworthy verification of the
design.
The following figure shows as an example a LIN controller that we have modeled an synthesized for both an FPGA implementation and an
implementation targeted for a C167 microcontroller.
