An extensible software framework for reliable distributed embedded system modeling

Authors:
Jing Zhang;Fenghong Xiang;Bin Wang;Jing Lu
Affiliations:
Faculty of Information Engineering and Automation, Kunming University of Science and Technology, Kunming, PRC;Faculty of Information Engineering and Automation, Kunming University of Science and Technology, Kunming, PRC;Faculty of Information Engineering and Automation, Kunming University of Science and Technology, Kunming, PRC;Faculty of Information Engineering and Automation, Kunming University of Science and Technology, Kunming, PRC
Venue:
CAR'10 Proceedings of the 2nd international Asia conference on Informatics in control, automation and robotics - Volume 2
Year:
2010

Citing 3
Cited 0

Real-Time Systems: Design Principles for Distributed Embedded Applications

Real-Time Systems: Design Principles for Distributed Embedded Applications
A programmable microkernel for real-time systems

Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments
Composable code generation for distributed giotto

LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems

Quantified Score

Hi-index	0.00

Visualization

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.