Task Sequencing for Optimizing the Computation Cycle in a Timed Computation Model

Title Task Sequencing for Optimizing the Computation Cycle in a Timed Computation Model
Author
Keywords
Abstract

Recent developments in embedded control systems promote the timed computation model following the principles of logical execution time (LET). Resulting control applications are time deterministic, value deterministic, and their properties may be subject to formal verification against a mathematical model of the control design. However, the timed computation model introduces inefficiencies to computation cycles. As the LET of a real-time control task requires being greater than its worst-case execution time and computed values are always propagated at the end of the LET, actuator updates are unnecessarily delayed. This makes the control cycle less responsive. In this paper, we present an approach that allows the definition of task sequences for a timed computation model implemented by the timing definition language (TDL). Task sequences help minimizing timing delays between sensor readings and actuator updates (e.g., in estimator-based control systems), managing startup and shutdown phases of control systems, and providing mechanisms for error-detection in fault-tolerant systems.

Year of Publication
2004
Conference Name
Proceedings of the International Digital Avionics Systems Conference (DASC)
Date Published
October
Publisher
IEEE Press
Conference Location
Salt Lake City, UT, USA
ISBN Number
0-7803-8539-X
URL
http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1390783
DOI
10.1109/DASC.2004.1390783
Download citation