research-article

DEVS for AUTOSAR-based system deployment modeling and simulation

Authors:

Paul De Meulenaere,

Hans VangheluweAuthors Info & Claims

Simulation, Volume 93, Issue 6

Pages 489 - 513

https://doi.org/10.1177/0037549716684552

Published: 01 June 2017 Publication History

Abstract

AUTOSAR AUTomotive Open System ARchitecture is an open and standardized automotive software architecture, developed by automobile manufacturers, suppliers, and tool developers. Its design is a direct consequence of the increasingly important role played by software in vehicles. As design choices during the software deployment phase have a large impact on the behavior of the system, designers need to explore various trade-offs. Examples of such design choices are the mapping of software components to processors, the priorities of tasks and messages, and buffer allocation. In this paper, we evaluate the appropriateness of DEVS, the Discrete-Event System specification, for modeling and subsequent performance evaluation of AUTOSAR-based systems. Moreover, a DEVS simulation model is constructed for AUTOSAR-based electronic control units connected by a communication bus. To aid developers in evaluating a deployment solution, the simulation model is extended with co-simulation with a plant and environment model, evaluation at different levels of detail, and fault injection. Finally, we examine how the simulation model supports the relationship between the supplier and the original equipment manufacturer in the automotive industry. We demonstrate and validate our work by means of a power window case study.

References

[1]

1 Broy M . Challenges in automotive software engineering. In: Proceeding of the 28th international conference on Software engineering-ICSE '06, Shanghai, China, 20-28 May 2006, p.pp.3. New York: ACM.

Digital Library

[2]

2 Lee E . Cyber physical systems: Design challenges. In: 2008 11th IEEE international symposium on object and component-oriented real-time distributed computing ISORC, Orlando, FL, 5-7 May 2008, pp.pp.363-–369. Los Alamitos, CA: IEEE.

Digital Library

[3]

3 Boucher M, Kelly-Rand C . System design: Get it right the first time. Technical Report, Aberdeen Group, 2011.

[4]

4 Sangiovanni-Vincentelli A, Di Natale M . Embedded system design for automotive applications. Computer2007; Volume 40 : pp.42-–51.

[5]

5 Di Natale M, Giusto P, Sangiovanni-Vincentelli A . Stochastic analysis of CAN-based real-time automotive systems. IEEE Trans Ind Inf2009; Volume 5 : pp.388-–401.

[6]

6 Lyons RE, Vanderkulk W . The use of triple-modular redundancy to improve computer reliability. IBM J Res Dev1962; Volume 6 : pp.200-–209.

[7]

7 ISO 26262:2011 Road vehicles-Functional safety- Part 10: Guidelines on ISO 26262.

[8]

8 Ziade H, Ayoubi R, Velazco R . A survey on fault injection techniques. Int Arab J Inf Technol2004; Volume 1 : pp.171-–186.

[9]

9 Köhl S, Jegminat D . How to do hardware-in-the-loop simulation right. SAE paper 2005-01-1657724, 2005.

[10]

10 Van Tendeloo Y, Vangheluwe H . The modular architecture of the PythonPDEVS simulation kernel: Work in progress paper. In: Proceedings of the symposium on theory of modeling & simulation-DEVS integrative, Tampa, FL, 13-16 April 2014, pp.pp.14:1-–14:6. San Diego, CA: Society for Computer Simulation International.

Digital Library

[11]

11 Denil J, Vangheluwe H, Ramaekers P . DEVS for AUTOSAR platform modelling. In: Proceedings of the 2011 symposium on theory of modeling & simulation: DEVS integrative M& S symposium, Boston, MA, 3-7 April 2011, pp.pp.67-–74. San Diego, CA: Society for Computer Simulation International.

Digital Library

[12]

12 Zeigler BP . Multifaceted modelling and discrete event simulation. Cambridge, MA: Academic Press, 1984.

[13]

13 Vangheluwe H . DEVS as a common denominator for multi-formalism hybrid systems modelling. In: Proceedings of the IEEE international symposium on computer-aided control system design CASC, Anchorage, AK, 25-27 September 2000, pp.pp.129-–134. Piscataway, NJ: IEEE.

[14]

14 . <ext-link ext-link-type="uri" xlink:href="http://www.autosar.org">www.autosar.org</ext-link>2012.

[15]

15 . OSEK operating system v.2.2.3. <ext-link ext-link-type="uri" xlink:href="http://web.archive.org/web/20120204070317/http://www.osek-vdx.org/">http://web.archive.org/web/20120204070317/http://www.osek-vdx.org/</ext-link>2005.

[16]

16 Farsi M, Ratcliff K, Barbosa M . An overview of controller area network. Comput Control Eng J1999; Volume 10 : pp.113-–120.

[17]

17 Makowitz R, Temple C . FlexRay-a communication network for automotive control systems. In: 2006 IEEE international workshop on factory communication systems, Torino, Italy, 28-30 June 2006, pp.pp.207-–212. Piscataway, NJ: IEEE.

[18]

18 Press W, Teukolsky S, Vetterling W . Numerical recipes in C: the art of scientific computing. Cambridge, UK: Cambridge University Press, 1992.

[19]

19 Cormen T, Leiserson C, Rivest R . Introduction to algorithms. Cambridge, MA: MIT press, 2001.

[20]

20 Gil D, Baraza JC, Gracia J . VHDL simulation-based fault injection techniques. In: Benso A, Prinetto P eds Fault injection techniques and tools for embedded systems reliability evaluation. Dordrecht: Kluwer, 2004, pp.pp.159-–176.

[21]

21 Lu W, Radetzki M . Concurrent and comparative fault simulation in SystemC and its application in robustness evaluation. Microprocess Microsyst2013; Volume 37 : pp.115-–128.

[22]

22 Santucci JF, Capocchi L . A proposed evolution of DEVSimPy environment towards activity tracking. In: ACTIMS workshop, May 28-1 June 2012, pp.pp.1-–10. Cargese, Corsica: HAL-CCSD.

[23]

23 Capocchi L, Santucci J, Poggi B . DEVSimPy: a collaborative Python software for modeling and simulation of DEVS systems. In: 2011 IEEE 20th international workshops on enabling technologies: infrastructure for collaborative enterprises, Paris, France, 27-29 June 2011, pp.pp.170-–175. Piscataway, NJ: IEEE.

Digital Library

[24]

24 Capocchi L, Bernardi F, Federici D . BFS-DEVS: A general DEVS-based formalism for behavioral fault simulation. Simul Modell Pract Theory2006; Volume 14 : pp.945-–970.

[25]

25 Zia M, Mustafiz S, Vangheluwe H . A modelling and simulation based process for dependable systems design. Software Syst Model2007; Volume 6 : pp.437-–451.

[26]

26 Volpato G . The OEM-FTS relationship in automotive industry. Int J Automot Technol Manage2004; Volume 4 : pp.166-–197.

[27]

27 Zander J . Model-based testing of embedded systems in the automotive domain. Ph.D. Thesis, Technical University Berlin, Germany, 2009.

[28]

28 Blanchard BS . System engineering management. Hoboken, NJ: John Wiley & Sons, 2004.

[29]

29 Sandmann G, Thompson R . Development of AUTOSAR software components within model-based design. SAE paper 2008-01-0383, 2008.

[30]

30 . MOF model to text language MTL. Technical report, OMG, <ext-link ext-link-type="uri" xlink:href="http://www.autosar.org/fileadmin/files/standards/classic/4-2/methodology-and-templates/methodology/auxiliary/AUTOSAR_TR_TimingAnalysis.pdf">http://www.autosar.org/fileadmin/files/standards/classic/4-2/methodology-and-templates/methodology/auxiliary/AUTOSAR_TR_TimingAnalysis.pdf</ext-link>2008.

[31]

31 . Timing analysis v.4.2.2, <ext-link ext-link-type="uri" xlink:href="http://www.autosar.org/fileadmin/files/standards/classic/4-2/methodology-and-templates/methodology/auxiliary/AUTOSAR_TR_TimingAnalysis.pdf">http://www.autosar.org/fileadmin/files/standards/classic/4-2/methodology-and-templates/methodology/auxiliary/AUTOSAR_TR_TimingAnalysis.pdf</ext-link>2015.

[32]

32 . UML profile for MARTE: modeling and analysis of real-time embedded Systems v.1.1, <ext-link ext-link-type="uri" xlink:href="http://www.omg.org/spec/MARTE/">http://www.omg.org/spec/MARTE/</ext-link>2011.

[33]

33 Wilhelm R, Engblom J, Ermedahl A . The worst-case execution-time problem-overview of methods and survey of tools. ACM Trans Embedded Comput Syst2008; Volume 7 Issue 3: pp.36.

[34]

34 Denil J, Cicchetti A, Biehl M . Automatic deployment space exploration using refinement transformations. Volume Electron Comm EASST</volume>, <ext-link ext-link-type="uri" xlink:href="http://journal.ub.tu-berlin.de/eceasst/article/view/711/718">http://journal.ub.tu-berlin.de/eceasst/article/view/711/718</ext-link>2012; <volume>50 : pp.1-–13.

[35]

35 . ASAM MCD-2 NET, v4.1.1. <ext-link ext-link-type="uri" xlink:href="http://www.asam.net">www.asam.net</ext-link>2014.

[36]

36 . Power-operated window, partition, and roof panel systems. Technical report, Standards Research and Development Branch-Road Safety and Motor Vehicle Regulation Directorate, 2009.

[37]

37 Prabhu S, Mosterman P . Model-based design of a power window system: modeling, simulation and validation. In: Proceedings of IMAC-XXII: A conference on structural dynamics, Dearborn, MI, 26-29 January 2004. Bethel, CT: Society for Experimental Mechanics, Inc.

[38]

38 Mustafiz S, Denil J, Lúcio L . The FTG + PM framework for multi-paradigm modelling: An automotive case study. In: Proceedings of the 6th international workshop on multi-paradigm modeling, Innsbruck, Austria, 1 October 2012, pp.pp.13-–18. New York: ACM.

Digital Library

[39]

39 Lamport L, Shostak R, Pease M . The Byzantine generals problem. ACM Trans Program Lang Syst1982; Volume 4 : pp.382-–401.

[40]

40 Denil J, Vangheluwe H, De Meulenaere P . Calibration of deployment simulation models: A multi-paradigm modelling approach. In: Proceedings of the 2012 symposium on theory of modeling and simulation-DEVS integrative M& S symposium, Orlando, FL, 26-30 March 2012, paper no. 13, pp.pp.13:1-–13:8, San Diego, CA: Society for Computer Simulation International.

[41]

41 Hamann A, Jersak M, Richter K . A framework for modular analysis and exploration of heterogeneous embedded systems. Real-Time Syst2006; Volume 33 : pp.101-–137.

[42]

42 Pop T, Eles P, Peng Z . Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems. In: Proceedings of the tenth international symposium on hardware/software codesign, Estes Park, CO, 6-8 May 2002, pp.pp.187-–192. New York: ACM.

Digital Library

[43]

43 Lakshmanan K, Bhatia G, Rajkumar R . Integrated end-to-end timing analysis of networked autosar-compliant systems. In: Proceedings of the conference on design, automation and test in Europe, Dresden, Germany, 8-12 March 2010, pp.pp.331-–334. Leuven: European Design and Automation Association.

Digital Library

[44]

44 Pop T . Analysis and optimisation of distributed embedded systems with heterogeneous scheduling policies. Ph.D. Thesis, Linköping University, 2007.

[45]

45 Palencia J, Gonzalez Harbour M . Schedulability analysis for tasks with static dynamic offsets. Proceedings 19th IEEE real-time systems symposium, Madrid, Spain, 2-4 December 1998, paper no. 98CB36279, pp.pp.26-–37. Piscataway, NJ: IEEE.

Digital Library

[46]

46 Tindell K, Clark J . Holistic schedulability analysis for distributed hard real-time systems. Microproc Microprog1994; Volume 40 : pp.117-–134.

[47]

47 . Functional mock-up interface for co-simulation. Technical report 07006, Modelisar, 2010.

[48]

48 Krause M, Bringmann O, Hergenhan A . Timing simulation of interconnected AUTOSAR software-components. In: DATE, Nice, France, pp.pp.474-–479. Piscataway, NJ: IEEE.

[49]

49 Krause M, Bringmann O, Rosenstiel W . Verification of AUTOSAR software by SystemC-based virtual prototyping. In: Ecker W, Müller W, Dömer R eds Hardware-dependent software. New York: Springer, 2009, pp.pp.261-–293.

[50]

50 Henriksson D, Cervin A, Årzén K . TrueTime: Simulation of control loops under shared computer resources. IFAC Proc Vols2002; Volume 35 : pp.417-–422.

[51]

51 Vanherpen K, Denil J, Vangheluwe H . Model transformations for round-trip engineering in control deployment co-design. In: Proceedings of the symposium on theory of modeling & simulation: DEVS integrative M& S symposium, Alexandria, VA, 12-15 April 2015, pp.pp.55-–62. San Diego, CA: Society for Computer Simulation International.

Digital Library

[52]

52 Balarin F, Watanabe Y, Hsieh H . Metropolis: an integrated electronic system design environment. Computer2003; Volume 36 : pp.45-–52.

[53]

53 Balarin F, Lavagno L, Passerone C . Concurrent execution semantics and sequential simulation algorithms for the Metropolis meta-model. In: Proceedings of the tenth international symposium on hardware/software codesign CODES '02, Estes Park, CO, 6-8 May 2002, pp.pp.13-–18. New York, NY: ACM.

Digital Library

[54]

54 Törngren M, Henriksson D, Redell O . Co-design of control systems and their real-time implementation-a tool survey. Technical report. Report no. TRITA-MMK 2006:11, 2006. Stockholm: Department of Machine Design, Royal Institute of Technology.

[55]

55 Wainer G, Glinsky E, MacSween P . A model-driven technique for development of embedded systems based on the DEVS formalism. In: Beydeda S, Book M, Gruhn V eds Model-driven software development. Berlin: Springer-Verlag, 2005, pp.pp.363-–383.

[56]

56 Wainer G . DEVS modelling and simulation for development of embedded systems. In: Proceedings of the 2015 winter simulation conference, Huntington Beach, CA, 6-9 December, pp.pp.73-–87. Piscataway, NJ: IEEE.

[57]

57 Yu YH, Wainer G . eCD++: An engine for executing DEVS models in embedded platforms. In: Proceedings of the 2007 summer computer simulation conference, SCSC '07, San Diego, CA, 16-19 July 2007, pp.pp.323-–330. San Diego, CA: Society for Computer Simulation International.

[58]

58 Furfaro A, Nigro L . A development methodology for embedded systems based on RT-DEVS. Innov Syst Softw Eng2009; Volume 5 : pp.117-–127.

[59]

59 Niyonkuru D, Wainer G . Towards a DEVS-based operating system. In: Proceedings of the 3rd ACM conference on SIGSIM-principles of advanced discrete simulation, London, UK, 10-12 June 2015, pp.pp.101-–112. New York: ACM.

Digital Library

Cited By

Baumann PSamlaus RMikelsons LKuhn TJahic JDurak U(2019)Towards virtual validation of distributed functionsProceedings of the 2019 Summer Simulation Conference10.5555/3374138.3374143(1-12)Online publication date: 22-Jul-2019
https://dl.acm.org/doi/10.5555/3374138.3374143
Mertens JVanherpen KDenil JDe Meulenaere P(2019)A library of embedded platform components for the simulation of real-time embedded systemsProceedings of the Theory of Modeling and Simulation Symposium10.5555/3338246.3338247(1-12)Online publication date: 29-Apr-2019
https://dl.acm.org/doi/10.5555/3338246.3338247
Gomes CThule CBroman DLarsen PVangheluwe H(2018)Co-SimulationACM Computing Surveys10.1145/317999351:3(1-33)Online publication date: 23-May-2018
https://dl.acm.org/doi/10.1145/3179993
Show More Cited By

DEVS for AUTOSAR-based system deployment modeling and simulation
1. Computer systems organization

Recommendations

MPI-based distribution in DEVS simulation
IITA'09: Proceedings of the 3rd international conference on Intelligent information technology application

Discrete EVent system Specification(DEVS) is widely used in modeling and simulation for the interoperability, re-useability, and composability. The Distributed and Parallel DEVS is developed to study the complex problems. But the available ...
Studying performance of DEVS modeling and simulation environments using the DEVStone benchmark

The Discrete Event System Specification (DEVS) formal modeling and simulation (M&S) framework (which supports hierarchical and modular model composition) has been widely used to understand, analyze and develop a variety of systems. Numerous DEVS ...
DEVS for AUTOSAR platform modelling
TMS-DEVS '11: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium

AUTOSAR (AUTomotive Open System ARchitecture) is an open and standardized automotive software architecture, developed by automobile manufacturers, suppliers and tool developers. Its design is a direct consequence of the increasingly important role ...

Comments

Information & Contributors

Information

Published In

Copyright © © The Authors 2017.

Publisher

Society for Computer Simulation International

San Diego, CA, United States

Publication History

Published: 01 June 2017

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Baumann PSamlaus RMikelsons LKuhn TJahic JDurak U(2019)Towards virtual validation of distributed functionsProceedings of the 2019 Summer Simulation Conference10.5555/3374138.3374143(1-12)Online publication date: 22-Jul-2019
https://dl.acm.org/doi/10.5555/3374138.3374143
Mertens JVanherpen KDenil JDe Meulenaere P(2019)A library of embedded platform components for the simulation of real-time embedded systemsProceedings of the Theory of Modeling and Simulation Symposium10.5555/3338246.3338247(1-12)Online publication date: 29-Apr-2019
https://dl.acm.org/doi/10.5555/3338246.3338247
Gomes CThule CBroman DLarsen PVangheluwe H(2018)Co-SimulationACM Computing Surveys10.1145/317999351:3(1-33)Online publication date: 23-May-2018
https://dl.acm.org/doi/10.1145/3179993
Gomes CThule CDeantoni JLarsen PVangheluwe H(2018)Co-simulation: The Past, Future, and Open ChallengesLeveraging Applications of Formal Methods, Verification and Validation. Distributed Systems10.1007/978-3-030-03424-5_34(504-520)Online publication date: 5-Nov-2018
https://dl.acm.org/doi/10.1007/978-3-030-03424-5_34

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents