loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
17th IEEE Real-Time Systems Symposium (RTSS '96)
Tool support for the construction of statically analysable hard real-time Ada systems
Washington D.C.
December 04-December 06
ISBN: 0-8186-7689-2
ASCII Text
x 
 
T. Vardanega, "Tool support for the construction of statically analysable hard real-time Ada systems," Real-Time Systems Symposium, IEEE International, pp. 129, 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996.
 
 
BibTex
x
 
@article{ 10.1109/REAL.1996.563707,
author = {T. Vardanega},
title = {Tool support for the construction of statically analysable hard real-time Ada systems},
journal ={Real-Time Systems Symposium, IEEE International},
volume = {0},
year = {1996},
issn = {1052-8725},
pages = {129},
doi = {http://doi.ieeecomputersociety.org/10.1109/REAL.1996.563707},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Real-Time Systems Symposium, IEEE International
TI - Tool support for the construction of statically analysable hard real-time Ada systems
SN - 1052-8725
SP
EP
A1 - T. Vardanega,
PY - 1996
KW - artificial satellites; statically analysable hard real time Ada systems; fixed priority process based preemptive scheduling; cyclic scheduling; new generation software intensive satellite control systems; preemptive priority based scheduling; mature static analysis techniques; worst case response time analysis models; Ada programming model; worst case response time analysis tools; on-board control systems
VL - 0
JA - Real-Time Systems Symposium, IEEE International
ER -
 
T. Vardanega, Div. of Spacecraft Control & Data Syst., Eur. Space Res. & Technol. Centre, Noordwijk, Netherlands
The paper maintains that fixed priority process based preemptive scheduling is, arguably, more convenient, flexible and responsive than conventional cyclic scheduling for the construction of new generation software intensive satellite control systems. Predictable usage of preemptive priority based scheduling, however, demands the support of mature static analysis techniques. Worst case response time analysis models can be constructed which minimise the embodied pessimism and maximise useful processing. The paper presents the design and implementation of an Ada programming model and associated worst case response time analysis tools aimed to support the construction of highly predictable, highly efficient on-board control systems.
Index Terms:
artificial satellites; statically analysable hard real time Ada systems; fixed priority process based preemptive scheduling; cyclic scheduling; new generation software intensive satellite control systems; preemptive priority based scheduling; mature static analysis techniques; worst case response time analysis models; Ada programming model; worst case response time analysis tools; on-board control systems
Citation:
T. Vardanega, "Tool support for the construction of statically analysable hard real-time Ada systems," rtss, pp.129, 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996
Usage of this product signifies your acceptance of the Terms of Use.