Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems Read chapter Read first chapter

2014 | OriginalPaper | Chapter

9. Extracting End-to-End Timing Models from Component-Based Distributed Embedded Systems

Authors : Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin

Published in: Embedded Systems Development

Publisher: Springer New York

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

In order to facilitate the end-to-end timing analysis, we present a method to extract end-to-end timing models from component-based distributed embedded systems that are developed using the existing industrial component model, Rubus Component Model (RCM). RCM is used for the development of software for vehicular embedded systems by several international companies. We discuss and solve the issues involved during the model extraction such as extraction of timing information from all nodes and networks in the system and linking of trigger and data chains in distributed transactions. We also discuss the implementation of the method for the extraction of end-to-end timing models in the Rubus Analysis Framework.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now
previous chapter Contract-Based Reasoning for Component Systems with Rich Interactions
next chapter Distributed Priority Assignment in Real-Time Systems
Literature
1.
Crnkovic, I., Larsson, M.: Building Reliable Component-Based Software Systems. Artech House, Inc., USA (2002)
2.
Henzinger, T.A., Sifakis, J.: The embedded systems design challenge. In: Proceedings of the 14th international symposium on formal methods (FM), Lecture Notes in Computer Science, pp. 1–15. Springer, Heidelberg (2006)
3.
4.
TIMMO Consortium: TADL: Timing Augmented Description Language, Version 2. TIMMO (TIMing MOdel), Deliverable 6 (2009)
5.
TIMMO Consortium: TIMMO Methodology, Version 2. TIMMO (TIMing MOdel), Deliverable 7. The TIMMO Consortium (2009)
6.
Hänninen K., et al.: The rubus component model for resource constrained real-time systems. In: 3rd IEEE International Symposium on Industrial Embedded Systems (2008)
7.
8.
9.
10.
11.
12.
Hänninen, K.: Efficient memory utilization in resource constrained real-time systems. Ph.D. thesis, Mälardalen University, Sweden (2008)
13.
Mubeen, S., Mäki-Turja, J., Sjödin, M.: Support for end-to-end response-time and delay analysis in the industrial tool suite: Issues, experiences and a case study. Comput. Sci. Inf. Sys. 10(1), 453–482, ISSN: 1361–1384, (2013)
14.
Tindell, K.: Adding time-offsets to schedulability analysis. Department of Computer Science, University of York, England, Tech. rep (1994)
15.
16.
17.
Mubeen, S., Mäki-Turja, J., Sjödin, M.: Extending schedulability analysis of controller area network (CAN) for mixed (periodic/sporadic) messages. In: 16th IEEE Conference on Emerging Technologies and Factory Automation (ETFA) (2011). doi:10.​1109/​ETFA.​2011.​6059010.
18.
Mubeen, S., Mäki-Turja, J., Sjödin, M.: Extending response-time analysis of controller area network (CAN) with FIFO queues for mixed messages. In: 16th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1–4 (2011). doi:10.​1109/​ETFA.​2011.​6059188.
19.
Mubeen, S., Mäki-Turja, J., Sjödin, M.: Response-time analysis of mixed messages in controller area network with priority- and FIFO-queued nodes. In: 9th IEEE International Workshop on Factory Communication Systems (WFCS) (2012)
20.
Mubeen, S., Mäki-Turja, J., Sjödin, M.: Worst-case response-time analysis for mixed messages with offsets in controller area network. In: 17th IEEE Conference on Emerging Technologies and Factory Automation (ETFA) (2012)
21.
Mubeen, S., Mäki-Turja, J., Sjödin, M., Carlson, J.: Analyzable modeling of legacy communication in component-based distributed embedded systems. In: 37th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pp. 229–238 (2011). doi:10.​1109/​SEAA.​2011.​43
22.
AUTOSAR Consortium: AUTOSAR Technical Overview, Version 2.2.2. AUTOSAR - AUTomotive Open System ARchitecture, Release 3.1, The AUTOSAR Consortium, Aug (2008). http://​autosar.​org
23.
Heinecke, H., et al.: AUTOSAR - Current results and preparations for exploitation. In: Proceedings of the 7th Euroforum Conference, EUROFORUM ’06 (2006)
24.
25.
Sentilles, S., Vulgarakis, A., Bures, T., Carlson, J., Crnkovic, I.: A Component Model for Control-Intensive Distributed Embedded Systems. In: 11th International Symposium on Component Based Software Engineering (CBSE2008), pp. 310–317. Springer, Heidelberg (2008)
26.
Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: Proc. of SEFM’06, pp. 3–12. IEEE Computer Society (2006)
27.
Bozga, M., et. al.: The IF Toolset. In: Formal Methods for the Design of Real-Time Systems, Lecture Notes in Computer Science, vol 3185, pp. 237–267. Springer, Hedielberg (2004)
28.
Gssler, G.: Prometheus - A Compositional Modeling Tool for Real-Time Systems. In , Workshop on Real-Time Tools (RT-TOOLS) (2001). (2001)
29.
30.
Muskens, J., Chaudron, M.R.V., Lukkien, J.J.: A component framework for consumer electronics middleware. In: Component-Based Software Development for Embedded Systems. pp 164–184, (2005)
31.
Scheickl, O., Rudorfer, M.: Automotive real time development using a timing-augmented AUTOSAR specification. ERTS, (2008)
32.
Feiertag, N., Richter, K., Nordlander, J., Jonsson, J.: A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics. In: Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS) (2008)
33.
Mubeen, S., Mäki-Turja, J., Sjödin, M.: Exploring Options for Modeling of Real-Time Network Communication in an Industrial Component Model for Distributed Embedded Systems. In: The 6th International Conference on Embedded and Multimedia Computing (EMC-2011), Lecture Notes in Electrical Engineering, vol. 102, pp. 441–458. Springer Berlin / Heidelberg (2011)
34.
Mubeen, S., Mäki-Turja, J., Sjödin, M.: Tracing event chains for holistic response-time analysis of component-based distributed real-time systems. In: 23rd Euromicro Conference on Real-Time Systems (ECRTS 2011), WIP Session. ACM SIGBED, Review (2011)
35.
Ke, X., Sierszecki, K., Angelov, C.: COMDES-II: A Component-Based Framework for Generative Development of Distributed Real-Time Control Systems. In: 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2007, pp. 199–208 (2007). doi:10.​1109/​RTCSA.​2007.​29
Metadata
Title
Extracting End-to-End Timing Models from Component-Based Distributed Embedded Systems
Authors
Saad Mubeen
Jukka Mäki-Turja
Mikael Sjödin
Copyright Year
2014
Publisher
Springer New York
Book
Embedded Systems Development

Print ISBN: 978-1-4614-3878-6

Electronic ISBN: 978-1-4614-3879-3

Copyright Year: 2014

DOI
https://doi.org/10.1007/978-1-4614-3879-3_9