By Topic

Towards a formal methodology of deterministic scheduling for real-time flight safety critical software design

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $33
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
M. Whittington ; Eng. Software, Lucas Aerospace, Birmingham, UK ; M. Shackleton

The technique of static cyclic scheduling offers an optimum implementation strategy for the real-time flight safety critical software designer. Not only does this technique relieve operating processors of the need to perform dynamic scheduling tasks, a also provides high levels of temporal determinism, pre-code verification and test coverage. However, without an explicit analytical understanding of the relationship(s) between timing/sequencing requirements and compliant schedule design, the technique will continue to resist the advantages of auto-generation and formal verification; the first leading to greater efficiency in the software development process, and the second enabling pre-coding formal verification techniques. A brief outline is presented of the formal theories of scheduling design compliance currently under investigation by Lucas Aerospace (Engineering Software), together with a description of how such “formal theories” are exploited within procedurally closed scheduling development environments

Published in:

Real-Time Systems (Digest No. 1998/306), IEE Colloquium on

Date of Conference:

21 Apr 1998