An extensible software framework for reliable distributed embedded system modeling

Abstract

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.

1 Figure or Table

Cite this paper

@article{Zhang2010AnES, title={An extensible software framework for reliable distributed embedded system modeling}, author={Jing Zhang and Fenghong Xiang and Bin Wang and Jing Lu}, journal={2010 2nd International Asia Conference on Informatics in Control, Automation and Robotics (CAR 2010)}, year={2010}, volume={2}, pages={234-237} }