Skip to main content
SpringerLink
Log in

Trustworthy Real-Time Systems

  • Chapter
  • First Online:
Advances in Real-Time Systems

  • 1282 Accesses

Abstract

The market of embedded processors far surpasses the market of personal computers and servers. While being more prolific than their desktop counterparts, the progress in semiconductor technology has also brought unprecedented computing power to embedded systems. On the back of these opportunities the complexity of embedded applications is rising dramatically. Two typical examples are today’s smartphones or cars. The amount of software contained in these devices is impressive, as for example 100 million lines of code (LOC) in a modern high end car [7] in 2009, while the Android operating system without applications weighs in at around 12 million LOC in 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Abeni L, Buttazzo G (1998) Integrating multimedia applications in hard real-time systems. In: Proceedings of the 19th IEEE real-time systems symposium, IEEE Computer Science Press, Madrid, Spain, pp 4–13

    Google Scholar 

  2. Abeni L, Lipari G, Buttazzo G (1999) Constant bandwidth vs. proportional share resource allocation. In: Proceedings of the 5th IEEE international conference on multimedia computing and systems, vol 2. IEEE Computer Science Press, Florence, Italy, pp 107–111

    Google Scholar 

  3. Albers K, Slomka F (2004) An event stream driven approximation for the analysis of real-time systems. In: Proceedings of the 16th euromicro conference on real-time systems, IEEE Computer Science Press, Catania, Italy

    Google Scholar 

  4. Bernat G, Colin A, Petters SM (2002) WCET analysis of probabilistic hard real–time systems. In: Proceedings of the 24th IEEE real-time systems symposium, Austin, Texas, pp 279–288

    Google Scholar 

  5. Bernat G, Newby M, Burns A (2005) Probabilistic timing analysis: An approach using copulas. J Embedded Comput 1(2):179–194

    Google Scholar 

  6. Brandt SA, Banachowski S, Lin C, Bisson T (2003) Dynamic integrated scheduling of hard real-time, soft real-time and non-real-time processes. In: Proceedings of the 24th IEEE real-time systems symposium, Cancun, Mexico

    Google Scholar 

  7. Charette RN (2009) This car runs on code. IEEE Spectrum 46(2), http://www.spectrum.ieee.org/feb09/7649

  8. Colin A, Petters SM (2003) Experimental evaluation of code properties for WCET analysis. In: Proceedings of the 24th IEEE international real-time systems symposium, Cancun, Mexico

    Google Scholar 

  9. Colin A, Puaut I (2001) Worst case execution time analysis of the RTEMS real-time operating system. In: Proceedings of the 13th euromicro conference on real-time systems, Delft, Netherlands, pp 191–198

    Google Scholar 

  10. Dennis JB, Van Horn EC (1966) Programming semantics for multiprogrammed computations. Communications ACM 9:143–155

    Article  MATH  Google Scholar 

  11. Derrin P, Elphinstone K, Klein G, Cock D, Chakravarty MMT (2006) Running the manual: An approach to high-assurance microkernel development. In: Proceedings of the ACM SIGPLAN haskell workshop, Portland, OR

    Book  Google Scholar 

  12. Elkaduwe D, Derrin P, Elphinstone K (2008) Kernel design for isolation and assurance of physical memory. In: 1st workshop on isolation and integration in embedded systems, ACM SIGOPS, Glasgow, UK, pp 35–40

    Google Scholar 

  13. Elphinstone K, Klein G, Derrin P, Roscoe T, Heiser G (2007) Towards a practical, verified kernel. In: Proceedings of the 11th workshop on hot topics in operating systems, San Diego, CA, pp 117–122

    Google Scholar 

  14. Heiser G (2009) Hypervisors for consumer electronics. In: Proceedings of the 6th IEEE consumer communications and networking conference, Las Vegas, NV, pp 1–5

    Google Scholar 

  15. Herder JN, Bos H, Gras B, Homburg P, Tanenbaum AS (2006) MINIX 3: A highly reliable, self-repairing operating system. ACM Operating Syst Rev 40(3):80–89

    Article  Google Scholar 

  16. Klein G (2009) Operating system verification – an overview. Sādhanā 34(1):27–69

    Article  MathSciNet  MATH  Google Scholar 

  17. Klein G, Derrin P, Elphinstone K (2009a) Experience report: seL4 – formally verifying a high-performance microkernel. In: Proceedings of the 14th international conference on functional programming, ACM, Edinburgh, UK, pp 91–96

    Google Scholar 

  18. Klein G, Elphinstone K, Heiser G, Andronick J, Cock D, Derrin P, Elkaduwe D, Engelhardt K, Kolanski R, Norrish M, Sewell T, Tuch H, Winwood S (2009b) seL4: Formal verification of an OS kernel. In: Proceedings of the 22nd ACM symposium on operating systems principles, ACM, Big Sky, MT, pp 207–220

    Google Scholar 

  19. Lawitzky MP, Snowdon DC, Petters SM (2008) Integrating real time and power management in a real system. In: Proceedings of the 4th workshop on operating system platforms for embedded real-time applications, Prague, Czech Republic

    Google Scholar 

  20. Liedtke J (1995) On \(\mu \)-kernel construction. In: Proceedings of the 15th ACM symposium on operating systems principles, Copper Mountain, CO, pp 237–250

    Google Scholar 

  21. Lin C, Brandt SA (2005) Improving soft real-time performance through better slack management. In: Proceedings of the 26th IEEE real-time systems symposium, Miami, FL

    Google Scholar 

  22. Liu C, Layland J (1973) Scheduling algorithms for multiprogramming in a hard real-time environment. J ACM 20:46–61

    Article  MathSciNet  MATH  Google Scholar 

  23. Lin C, Kaldewey T, Povzner A, Brandt SA (2006) Diverse soft real-time processing in an integrated system. In: Proceedings of the 27th IEEE real-time systems symposium, IEEE Computer Science Press, Rio de Janeiro, Brazil

    Google Scholar 

  24. Nipkow T, Paulson L, Wenzel M (2002) Isabelle/HOL – A proof assistant for higher-order logic, Lecture notes in computer science, vol 2283. Springer

    Google Scholar 

  25. Petters SM (2007) Execution-time profiles. Technical report, NICTA, Sydney, Australia

    Google Scholar 

  26. Petters SM, Lawitzky M, Heffernan R, Elphinstone K (2009) Towards real multi-criticality scheduling. In: Proceedings of the 15th IEEE conference on embedded and real-time computing and applications, Beijing, China, pp 155–164

    Google Scholar 

  27. Poledna S et al (2000) OSEKTime: a dependable real-time, fault-tolerant operating system and communication layer as an enabling technology for by-wire applications. In: SAE 2000 world congress, Detroit, MI, pp 51–70

    Google Scholar 

  28. Rushby J (1984) A trusted computing base for embedded systems. In: Proceedings of 7th DoD/NBS computer security conference, pp 294–311

    Google Scholar 

  29. Singal M, Petters SM (2007) Issues in analysing L4 for its WCET. In: Proceedings of the 1st international workshop on microkernels for embedded systems, NICTA, Sydney, Australia

    Google Scholar 

  30. Siro A, Emde C, Mc Guire N (2007) Assessment of the realtime preemption patches (rt-preempt) and heir impact on the general purpose performance of the system. In: Proceedings of 9th real-time Linux workshop, Linz, Austria

    Google Scholar 

  31. Stanovich M, Baker TP, Wang AI, Harbour MG (2010) Diverse soft real-time processing in an integrated system. In: Proceedings of the 16th IEEE real-time and embedded technology and applications symposium, IEEE Computer Science Press, Stockholm, Sweden

    Google Scholar 

  32. Strosnider JK, Lehoczky JP, Sha L (1995) The deferrable server algorithm for enhanced aperiodic responsiveness in hard real-time environments. IEEE Trans Comp 44(1):179–194

    Article  MATH  Google Scholar 

Download references

Acknowledgements

NICTA is funded by the Australian Government as represented by the Department of Broadband, Communications and the Digital Economy and the Australian Research Council through the ICT Centre of Excellence program. This work was also supported by the Portuguese Fundação para a Ciência e a Tecnologia (CISTER Research Unit – FCT UI 608).

Author information

Authors and Affiliations

  1. Polytechnic Institute of Porto, CISTER/ISEP, Porto, Portugal

    Stefan M. Petters

  2. NICTA and UNSW, Sydney, Australia

    Kevin Elphinstone

  3. NICTA, UNSW and Open Kernel Labs, Sydney, Australia

    Gernot Heiser

Authors
  1. Stefan M. Petters
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kevin Elphinstone
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gernot Heiser
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Stefan M. Petters .

Editor information

Editors and Affiliations

  1. LS für Realzeit-Computersysteme, TU München, Arcisstraße 21, München, 80290, Germany

    Samarjit Chakraborty

  2. LS Kommunikationsnetze, TU München, Arcisstr. 21, München, 80290, Germany

    Jörg Eberspächer

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Petters, S.M., Elphinstone, K., Heiser, G. (2012). Trustworthy Real-Time Systems. In: Chakraborty, S., Eberspächer, J. (eds) Advances in Real-Time Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24349-3_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-24349-3_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-24348-6

  • Online ISBN: 978-3-642-24349-3

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation