A code generation tool for embedded automotive systems based on finite state machines

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.