A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is
The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)
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-casedoi:10.1109/dasc.2004.1390783 fatcat:z3nfo7g4zrbvtomcofkzaeu3bu