Skip to main content

Extending Architecture to Real-Time Domains

  • Chapter
  • First Online:
  • 4103 Accesses

Abstract

In this chapter, we apply the MBSAP methodology to the special system category where on-time execution is the primary criterion of success or failure. We defined the Real-Time (RT) category in the architecture taxonomy in Chap. 1, and in the following chapters, we have seen how layered architectures are adapted to the unique demands of real-time performance. We now focus on the practical aspects of architecting RT systems. To begin, we expand on the introduction to RT systems from Chap. 1, followed by discussion of fundamental aspects of system timing and RT execution. We use the RT behaviors of the E-X example to illustrate these concepts. We also address the complex issue of developing good requirements for RT systems. The current standard for RT architecture modeling is the Modeling and Analysis of Real-Time and Embedded (MARTE) Profile of UML, which is summarized here and presented in more detail in Appendix D. The key to correct RT system design is assured schedulability, which we discuss and illustrate using the E-X radar. We complete the discussion with multiple practical aspects of implementing RT systems, including selecting of RT components and dealing with safety and security concerns. Chapter Objective: the reader will be able to apply the MBSAP methodology to RT systems, accounting for their unique requirements and constraints.

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   109.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   139.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   159.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

Learn about institutional subscriptions

Notes

  1. 1.

    Now the Sensors Directorate of the Air Force Research Laboratory

References

  1. Douglass BP (2004) Real-time UML: advances in the UML for real-time systems, 3rd edn. Addison Wesley, New York

    Google Scholar 

  2. Selic B, Rumbaugh J (1998) Using UML for modeling complex real-time systems. Rational Software Corporation, Cupertino, CA

    Book  Google Scholar 

  3. Object Management Group (2005) UML™ Profile for schedulability, performance, and time specification, ver 1.1. http://www.omg.org/spec/SPTP/. Accessed 28 May 2017

  4. Object Management Group (2012) Modeling and analysis of real time and embedded systems. http://www.omgmarte.org. Accessed 28 May 2017

  5. Object Management Group (2008) UML profile for modeling quality of service and fault tolerance characteristics and mechanisms™ (QFTP™). http://www.omg.org/spec/QFTP/. Accessed 28 May 2017

  6. Sha L, Rajkumar R, Sathaye SS (1994) Generalized rate-monotonic scheduling theory: a framework for developing real-time systems. Proc IEEE 82(1):68–82

    Article  Google Scholar 

  7. Martins P (2013) Integrating real-time UML models with schedulability analysis. https://scholar.google.com/scholar?q=Integrating+Real-Time+UML+Models+with+Schedulability+Analysis&hl=en&as_sdt=0&as_vis=1&oi=scholart&sa=X&ved=0ahUKEwicq4uaypPUAhUU7mMKHc8VCawQgQMIJDAA. Accessed 28 May 2017

  8. Susanne Graf S, Ober I, Iulian Ober J (2006) A real-time profile for UML. Int J Softw Tools Technol Transf 8(2):113–127

    Article  Google Scholar 

  9. Dibble P (2006) The real-time specification for Java™. http://www.rtsj.org/docs/rtsj_1.0.2_spec.pdf. Accessed 28 May 2017

  10. Dautelle J-M (2008) Fully time deterministic java. Paper presented at JavaOne Conference, Moscone Center, San Francisco, 23–24 June 2008

    Google Scholar 

  11. Norman Schneidewind N (2008) Software production process for safety critical software. AIAA J Aerosp Comput Inf Commun 5:72–83

    Article  Google Scholar 

  12. RTCA (2011) DO-178c. http://www.rtca.org/. Accessed 28 May 2017

  13. Youn WK, Hong B, Oh KR, Ahn AS (2005) Software certification of safety-critical avionic systems: DOP-178C and its impacts. IEEE A&E Syst Mag 20(4):4–13

    Google Scholar 

  14. Tribble AC, Miller SP (2004) Software intensive systems safety analysis. IEEE A&E Syst Mag 19(10):21–26

    Article  Google Scholar 

  15. Airlines Electronic Engineering Committee (AEEC) (2008) Avionics Application Software Standard Interface, ARINC Specification 653-2. ARINC, Inc., Annapolis

    Google Scholar 

  16. Rufino J, Craveiro J Robust Partitioning and Composability in ARINC 653 Conformant Real-Time Operating Systems. Paper presented at the 1st INTERAC Research Network Plenary Workshop, Braga, Portugal, July 2008

    Google Scholar 

  17. Wilson W, Preyssler T (2009) Incremental certification and integrated modular avionics. IEEE A&E Syst Mag 24(11):15–22

    Google Scholar 

  18. RTCA (2005) RTCA DO-297: Integrated Modular Avionics (IMA) development guidance and certification considerations. http://standards.globalspec.com/std/2018378/rtca-do-297. Accessed 28 May 2017

  19. IAEA Standards Home Page. http://www-ns.iaea.org/standards/documents/default.asp?s=11&l=90&sub=10. Accessed 3 May 2018

  20. Krishna AS et al (2006) Towards highly optimized real-time middleware for software product-line architectures. ACM SIGBED 3(1):13–16

    Article  Google Scholar 

  21. Giddings B, Beckwith B (2003) Real-time CORBA tutorial. http://www.omg.org/news/meetings/workshops/RT_2003_Manual/Tutorials/T1_RTCORBA_Giddings.pdf. Accessed 30 May 2017

  22. Pardo-Castellote G, Farabaugh B, Warren R (2005) An introduction to DDS and data-centric communications. http://www.omg.org/news/whitepapers/Intro_To_DDS.pdf. Accessed 28 May 2017

  23. Object Management Group (2015) Data Distribution Service™ (DDS™). http://www.omg.org/spec/DDS/. Accessed 28 May 2017

  24. DO254 User Group (2005) RTCA/DO254 Design assurance guidance for airborne electronic hardware. http://ajo21.hol.es/rtca-do-254.pdf. Accessed 28 May 2017

  25. Forsberg H (2010) Challenges in updating military safety-critical hardware. IEEE A&E Syst Mag 25(9):4–10

    Article  Google Scholar 

  26. IEEE (2009) 2nd International workshop real-time service-oriented architecture and applications. Seattle, 20–24 Jul 2009

    Google Scholar 

  27. Warwick G (2016) Senior sensors. Aviation week and space technology, June 6–19, 2016. p 42–44

    Google Scholar 

  28. VanderLeest SH (2018) Is formal proof of seL4 sufficient for avionics security? IEEE A&E Syst Mag 33(2):16–21

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer International Publishing AG, part of Springer Nature

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Borky, J.M., Bradley, T.H. (2019). Extending Architecture to Real-Time Domains. In: Effective Model-Based Systems Engineering. Springer, Cham. https://doi.org/10.1007/978-3-319-95669-5_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-95669-5_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-95668-8

  • Online ISBN: 978-3-319-95669-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics