Abstract
In automotive embedded software, functions have several performance requirements such as timing, energy, safety and reliability. For such complex software architectures, an early evaluation and decision on the best set of performance configuration (e.g. timing vs energy trade-offs) could save costly corrections of potential errors in the design. For example, appropriate performance analysis workflows and frameworks if employed already during early design stages, allow us to understand the performance aspects and behavior of the system depending on software and hardware characteristics. The main input required for such analysis is the performance-analysis model based on the underlying design model. In this context, this chapter presents a workflow for synthesis of energy-aware timing analysis models for AUTOSAR-based embedded software systems developed using the Unified Modeling Language (UML)/Systems Modeling Language (SysML) domains. A prototype of the model transformations for the synthesis of the energy-aware timing models and its evaluation in an automotive use case is presented.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
An embedded system that controls one or more of the electrical systems or subsystems in a vehicle.
- 2.
- 3.
- 4.
- 5.
References
Anssi, S., Gérard, S., Kuntz, S., Terrier, F.: AUTOSAR vs. MARTE for enabling timing analysis of automotive applications. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol. 7083, pp. 262–275. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-25264-8_20
Atlas Transformation Language (ATL) Technology. https://www.eclipse.org/atl/. Accessed 20 June 2020
Automotive Open System Architecture. http://www.autosar.org/. Accessed 20 June 2020
Bhasker, J.: A SystemC Primer. Star Galaxy (2010)
Bucaioni, A., Cicchetti, A., Ciccozzi, F., Mubeen, S., Sjödin, M.: A metamodel for the Rubus component model: extensions for timing and model transformation from EAST-ADL. IEEE Access 5, 9005–9020 (2017)
Derler, P., Eidson, J., Lee, E.A., Matic, S., Zimmer, M.: Model-based development of deterministic, event-driven, real-time distributed systems. In: Workshop on Model-Based Design with a Focus on Extra-Functional Properties (2011)
Eclipse Modeling Framework. https://www.eclipse.org/modeling/emf/. Accessed 20 June 2020
Enterprise Architect tool. http://www.sparxsystems.com/. Accessed 25 June 2020
Ficek, C., Feiertag, N., Richter, K., Jersak, M.: Applying the AUTOSAR timing protection to build safe and efficient ISO 26262 mixed-criticality systems. In: Proceedings of ERTS (2012)
Franco, F.R., et. al: Workflow and toolchain for developing the automotive software according AUTOSAR standard at a Virtual-ECU. In: 2016 IEEE 25th International Symposium on Industrial Electronics (ISIE), pp. 869–875 (2016)
GLIWA Embedded Systems-Timing suite T1. https://www.gliwa.com/. Accessed 20 June 2020
Hagner, M., Aniculaesei, A., Goltz, U.: UML-based analysis of power consumption for real-time embedded systems. In: IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications, pp. 1196–1201 (2011)
Hans, B., Rolf, J., Henrik, L.: Annotation with timing constraints in the context of EAST-ADL2 and AUTOSAR-the timing augmented description language. In: STANDRTS 2009 (2009)
Harbour, M.G., GarcÃa, J.G., Gutiérrez, J.P., Moyano, J.D.: Mast: Modeling and analysis suite for real time applications. In: 13th Euromicro Conference on Real-Time Systems, pp. 125–134. IEEE (2001)
Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: a time-triggered language for embedded programming. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 166–184. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45449-7_12
van der Horst, R., Hogema, J.: Time-to-collision and collision avoidance systems. In: Proceedings of the 6th ICTCT Workshop (1993)
IBM Software: IBM rational rhapsody developer. https://www.ibm.com/products/systems-design-rhapsody. Accessed 25 June 2020
IBM Software: IBM rational rhapsody developer (2019). https://www.ibm.com/software/products/en/ratirhap. Accessed Nov 2019
INCHRON: chronSIM (2019). https://www.inchron.com/tool-suite/chronsim.html. Accessed Nov 2019
Iqbal, M.Z., Ali, S., Yue, T., Briand, L.: Experiences of applying UML/MARTE on three industrial projects. In: Proceedings of the 15th International Conference MODELS 2012 (2012)
Iyenghar, P., Pulvermueller, E.: A model-driven workflow for energy-aware scheduling analysis of IoT-enabled use cases. IEEE Internet Things J. 5(6), 4914–4925 (2018). https://doi.org/10.1109/JIOT.2018.2879746
Iyenghar, P., Huning, L., Pulvermüller, E.: Early synthesis of timing models in AUTOSAR-based automotive embedded software systems. In: Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, pp. 26–38. SCITEPRESS (2020)
Iyenghar, P., Noyer, A., Engelhardt, J., Pulvermüller, E., Westerkamp, C.: End-to-end path delay estimation in embedded software involving heterogeneous models. In: 11th IEEE Symposium on Industrial Embedded Systems, SIES, 2016, pp. 183–188 (2016)
Kim, J.H., Kang, I., Kang, S., Boudjadar, A.: A process algebraic approach to resource-parameterized timing analysis of automotive software architectures. IEEE Trans. Ind. Inf. 12(2), 655–671 (2016)
Kusano, K.D., Gabler, H.: Method for estimating time to collision at braking in real-world, lead vehicle stopped rear-end crashes for use in pre-crash system design. SAE Int. J. 4(1), 435–443 (2011)
MARTE profile. https://www.omg.org/spec/MARTE/About-MARTE/. Accessed 25 June 2020
Martinez, L.R., Prieto, M.D.: New Trends in Electrical Vehicle Powertrains, 1st edn. Intech Open, London (2019)
Mathworks Products. https://www.mathworks.com/. Accessed 20 May 2020
Navet, N., Simonot-Lion, F. (eds.): Automotive Embedded Systems Handbook. CRC Press, Boco Raton (2009)
NXP LPC1768 MCU datasheet. http://www.nxp.com/documents/data_sheet/LPC1769_68_67_66_65_64_63.pdf. Accessed 20 May 2020
Object Management Group. http://www.omg.org. Accessed 25 June 2020
Papyrus UML Tool. http://www.papyrusuml.org/. Accessed 05 May 2017
Peraldi, M., Sorel, Y.: From high-level modelling of time in MARTE to realtime scheduling analysis. In: First International Workshop on Model Based Architecting and Construction of Embedded Systems (2008)
Peraldi-Frati, M.A., Blom, H., Karlsson, D., Kuntz, S.: Timing modeling with autosar-current state and future directions. In: Design, Automation Test in Europe Conference, DATE (2012)
Petriu, D.C.: Software Model-based Performance Analysis, pp. 139–166. Wiley, Hoboken (2013)
Saidi, S., Steinhorst, S., Hamann, A., Ziegenbein, D., Wolf, M.: Special session: future automotive systems design: Research challenges and opportunities. In: 2018 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), pp. 1–7 (2018)
Sangiovanni-Vincentelli, A., Natale, M.D.: Embedded system design for automotive applications. Computer 40(10), 42–51 (2007)
Scheickl, O., Ainhauser, C., Gliwa, P.: Tool support for seamless system development based on AUTOSAR timing extensions. In: Proceedings of Embedded Real-Time Software Congress (ERTS) (2012)
Scheid, O.: AUTOSAR Compendium, Part 1: Application & RTE. CreateSpace Independent Publishing Platform (2015)
Singhoff, F., Legrand, J., Nana, L., Marcé, L.: Cheddar: a flexible real time scheduling framework. In: ACM SIGAda Ada Letters, vol. 24–4. ACM (2004)
SysML specification. http://www.omgsysml.org/. Accessed 20 May 2020
System Composer toolbox. https://www.mathworks.com/products/system-composer.html. Accessed 20 May 2020
Timing Architects Tool. https://www.timing-architects.com/. Accessed 20 June 2020
UML specification. https://www.omg.org/spec/UML/About-UML/. Accessed 20 June 2020
Zhao, Y., Liu, J., Lee, E.A.: A programming model for time-synchronized distributed real-time systems. In: Proceedings of 13th IEEE Real Time and Embedded Technology and Applications Symposium, pp. 259–268. RTAS (2007)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Iyenghar, P. (2021). Systematic Synthesis of Energy-Aware Timing Models in Automotive Software Systems. In: Hammoudi, S., Pires, L.F., Selić, B. (eds) Model-Driven Engineering and Software Development. MODELSWARD 2020. Communications in Computer and Information Science, vol 1361. Springer, Cham. https://doi.org/10.1007/978-3-030-67445-8_3
Download citation
DOI: https://doi.org/10.1007/978-3-030-67445-8_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-67444-1
Online ISBN: 978-3-030-67445-8
eBook Packages: Computer ScienceComputer Science (R0)