A code generation tool for embedded automotive systems based on finite state machines
Felix F. Lindlar, Armin Zimmermann · 2008
This paper introduces a tool for the automatic code generation of automotive embedded systems. Electronic control units (ECU) are supplied with multiple software tasks, which are organized by an OSEK/VDX operating system. The code is generated based on an annotated finite state machine. Further features of the tool include a structural validation of the state machine and a schedulability check to guarantee that all deadlines of the system are met.