nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

90. Extracting Timing Models from Component-Based Multi-Criticality Vehicular Embedded Systems

verfasst von : Saad Mubeen, Mattias Gålnander, John Lundbäck, Kurt-Lennart Lundbäck

Erschienen in: Information Technology - New Generations

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Timing models include crucial information that is required by the timing analysis engines to verify timing behavior of vehicular embedded systems. The extraction of this information from these systems is challenging due to the software complexity, distribution of functionality and multiple criticality levels. To meet this challenge, this paper presents a comprehensive end-to-end timing model for multi-criticality vehicular distributed embedded systems. The model is comprehensive, in the sense that it captures detailed timing information and supports various types of real-time network protocols used in the vehicular domain. Moreover, the paper provides a method to extract these models from the software architectures of these systems. The proposed model is aligned with the component models and standards in the vehicular domain that support the pipe-and-filter communication among their basic building elements.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Continuous State Power-Down Systems for Renewable Energy Management

Nächstes Kapitel BIG IoT: Interconnecting IoT Platforms from Different Domains—First Success Story

I. Crnkovic, M. Larsson, Building Reliable Component-Based Software Systems (Artech House, Norwood, MA, 2002)

S. Mubeen, J. Mäki-Turja, M. Sjödin, Support for end-to-end response-time and delay analysis in the industrial tool suite: issues, experiences and a case study. Comput. Sci. Inf. Syst. 10(1), 453–482 (2013)

N. Feiertag, K. Richter, J. Nordlander, J. Jonsson, A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics, in CRTS Workshop (2008)

AUTOSAR Techincal Overview, Release 4.1, Rev.2, Ver.1.1.0. http://autosar.org

K. Hänninen et al., The rubus component model for resource constrained real-time systems, in IEEE Symposium on Industrial Embedded Systems (2008)

S. Sentilles, A. Vulgarakis, T. Bures, J. Carlson, I. Crnkovic, A component model for control-intensive distributed embedded systems, in CBSE (2008)

X. Ke, K. Sierszecki, C. Angelov, 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)

D. Schmidt, F. Kuhns, An overview of the real-time CORBA specification. Computer 33(6), 56–63 (2000)CrossRef

A. Burns, R. Davis, Mixed criticality systems – a review, ninth edition, Technical report, Department of Computer Science, University of York, 2017. https://www-users.cs.york.ac.uk/burns/review.pdf.

10.

S. Vestal, Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance, in 28th IEEE International Symposium on Real-Time Systems, pp. 239–243 (2007)

11.

International Organization for Standardization (ISO), ISO 26262-1:2011: Road vehicles – Functional safety. http://www.-iso.-org/

12.

Special C. of RTCA. DO-178C, software considerations in airborne systems and equipment certification (2011)

13.

TIMMO-2-USE. https://itea3.-org/project/timmo-2-use.-html

14.

Timing Augmented Description Language (TADL2) syntax, semantics, metamodel Ver. 2, Deliverable 11, August 2012

15.

S. Mubeen, J. Mäki-Turja, M. Sjödin, Extraction of end-to-end timing model from component-based distributed real-time embedded systems, in Time Analysis and Model-Based Design, from Functional Models to Distributed Deployments (TiMoBD) Workshop Located at Embedded Systems Week (Springer, Berlin, 2011), pp. 1–6

16.

S. Mubeen, J. Mäki-Turja, M. Sjödin, Communications-oriented development of component- based vehicular distributed real-time embedded systems. J. Syst. Archit. 60(2), 207–220 (2014)CrossRef

17.

K. Tindell, Adding time-offsets to schedulability analysis, Technical report, Department of Computer Science, University of York, England, 1994

18.

J. Palencia, M.G. Harbour, Schedulability analysis for tasks with static and dynamic offsets, in IEEE International Real-Time Systems Symposium, p. 26 (1998)

19.

J. Mäki-Turja, M. Nolin, Efficient implementation of tight response-times for tasks with offsets. Real-Time Syst. 40(1), 77–116 (2008)CrossRef

20.

T.P. Baker, Stack-based scheduling for realtime processes. Real-Time Syst. 3(1), 67–99 (1991) [Online]. Available: http://dx.doi.org/10.1007/BF00365393

21.

L. Sha, R. Rajkumar, J. Lehoczky, Priority inheritance protocols: an approach to real-time synchronization. IEEE Trans. Comput. 39(9), 1175–1185 (1990)MathSciNetCrossRef

22.

ISO 11898-1, Road Vehicles? interchange of digital information? controller area network (CAN) for high-speed communication, ISO Standard-11898, November 1993

23.

CANopen Application Layer and Communication Profile. CiA Draft Standard 301. Version 4.02. February 13, 2002. http://www.can-cia.org/index.php?id=440

24.

Hägglunds Controller Area Network (HCAN), Network Implementation Specification, in BAE Systems Hägglunds, Sweden (Internal Document) (2009)

25.

Requirements on Communication, Rel. 4.1, Rev. 3, Ver. 3.3.1, March, 2014. www.autosar.org/download/R4.1/AUTOSAR_SRS_COM.pdf. Accessed 05 May 2014

26.

Audio/video bridging task group of IEEE 802.1, available at http://www.ieee802.org/1/pages/avbridges.html

27.

R. Santos, M. Behnam, T. Nolte, P. Pedreiras, L. Almeida, Multi-level hierarchical scheduling in ethernet switches, in 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT), pp. 185–194 (2011)

28.

Time-Sensitive Networking Task Group, IEEE Std 802.1Qbv-2015 – IEEE Standard for Local and Metropolitan Area Networks – Bridges and Bridged Networks (2015)

29.

S. Mubeen, J. Mäki-Turja, M. Sjödin, Integrating mixed transmission and practical limitations with the worst-case response-time analysis for controller area network. J. Syst. Softw. 99, 66–84 (2015)CrossRef

Titel: Extracting Timing Models from Component-Based Multi-Criticality Vehicular Embedded Systems
verfasst von: Saad Mubeen
Mattias Gålnander
John Lundbäck
Kurt-Lennart Lundbäck
Verlag: Springer International Publishing
Buch: Information Technology - New Generations
Print ISBN: 978-3-319-77027-7

Electronic ISBN: 978-3-319-77028-4

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-77028-4_90

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner