An extensible software framework for reliable distributed embedded system modeling

This paper presents an extensible software framework for embedded system modeling on a distributed platform. Actors are concurrent components to specify time-triggered sensor readings, task invocations, actuator updates, and pattern switches independent of any given platform. Composite actor can be arbitrarily nested and framework consists of a formal semantics by separating platform-independent concerns from platform-dependent concerns, separating functionality concerns from timing concerns. Time-triggered predictability of actor-oriented framework makes it possible to automate the validation and synthesis of embedded control software for safety-critical applications with hard real-time constraints.