Trustworthy Real-Time Systems
Ref: HURRAY-TR-120706 Publication Date: 16, Jul, 2012
Trustworthy Real-Time Systems
Ref: HURRAY-TR-120706 Publication Date: 16, Jul, 2012Abstract:
Embedded systems have experienced a dramatic increase in ubiquity and functionality. They have penetrated our life to a degree where we rely
heavily on them and at the same time entrust them with vast amounts of personal
information. The trust placed in them does not necessarily mean they are trustworthy. Within this chapter we summarise past research of the ERTOS group at NICTA in the area and provide the initial reasoning which motivated that research. Topics covered are a secure kernel design and the design and verification of this kernel design, as well as work on scheduling and WCET analysis.
Stefan M. Petters
Kevin ElphinstoneAdditional Files:
Chapter in book Advances in Real-Time Systems, Springer, Edited: Samarjit Chakraborty and Jörg Eberpächer, pp 191-206.
WOS ID: 000288110500229.
ISBN: 978-3-642-24348-6.
Record Date: 16, Jul, 2012
Short links for this page: www.cister.isep.pt/docs/000288110500229 www.cister.isep.pt/docs/hurray_tr_120706 www.cister.isep.pt/docs/714