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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Now the Sensors Directorate of the Air Force Research Laboratory
References
Douglass BP (2004) Real-time UML: advances in the UML for real-time systems, 3rd edn. Addison Wesley, New York
Selic B, Rumbaugh J (1998) Using UML for modeling complex real-time systems. Rational Software Corporation, Cupertino, CA
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
Object Management Group (2012) Modeling and analysis of real time and embedded systems. http://www.omgmarte.org. Accessed 28 May 2017
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
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
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
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
Dibble P (2006) The real-time specification for Javaâ„¢. http://www.rtsj.org/docs/rtsj_1.0.2_spec.pdf. Accessed 28 May 2017
Dautelle J-M (2008) Fully time deterministic java. Paper presented at JavaOne Conference, Moscone Center, San Francisco, 23–24 June 2008
Norman Schneidewind N (2008) Software production process for safety critical software. AIAA J Aerosp Comput Inf Commun 5:72–83
RTCA (2011) DO-178c. http://www.rtca.org/. Accessed 28 May 2017
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
Tribble AC, Miller SP (2004) Software intensive systems safety analysis. IEEE A&E Syst Mag 19(10):21–26
Airlines Electronic Engineering Committee (AEEC) (2008) Avionics Application Software Standard Interface, ARINC Specification 653-2. ARINC, Inc., Annapolis
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
Wilson W, Preyssler T (2009) Incremental certification and integrated modular avionics. IEEE A&E Syst Mag 24(11):15–22
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
IAEA Standards Home Page. http://www-ns.iaea.org/standards/documents/default.asp?s=11&l=90&sub=10. Accessed 3 May 2018
Krishna AS et al (2006) Towards highly optimized real-time middleware for software product-line architectures. ACM SIGBED 3(1):13–16
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
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
Object Management Group (2015) Data Distribution Serviceâ„¢ (DDSâ„¢). http://www.omg.org/spec/DDS/. Accessed 28 May 2017
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
Forsberg H (2010) Challenges in updating military safety-critical hardware. IEEE A&E Syst Mag 25(9):4–10
IEEE (2009) 2nd International workshop real-time service-oriented architecture and applications. Seattle, 20–24 Jul 2009
Warwick G (2016) Senior sensors. Aviation week and space technology, June 6–19, 2016. p 42–44
VanderLeest SH (2018) Is formal proof of seL4 sufficient for avionics security? IEEE A&E Syst Mag 33(2):16–21
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer International Publishing AG, part of Springer Nature
About this chapter
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)