Towards a Component-Based Requirements Modeling for Automotive Systems

Abstract:

Requirements modeling is a critical stage in the development of ECUs (Electronic Control Unit) of automotive systems. A typical automotive system usually involves large amount of requirement items, and possesses restricted timing constraints and complicated interactions, therefore a single modeling language only does not cover the whole characteristics of a system. In this paper, we extend SaveCCM, a component model for automotive software development, with timed automata to form a modeling framework for automotive requirements. The integrated model can be used to analyze the architecture and timed behavior of an automotive system. The proposed approach takes the following advantages that: (1) It can effectively and completely express the architecture and behavior requirements of automotive systems; (2) It can describe the interactions between an ECU and its environment in terms of synchronization channels.

• Periodical: Applied Mechanics and Materials (Volumes 40-41)
• Pages: 955-960
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.40-41.955
• Online since: November 2010
• Authors: Xu Qin Yan, Xiao Jian Liu, Zhi Xue Wang, Xiao Bo Che, Cheng Yong Mao, Yang Li, Wei Cheng
• Keywords: Automotive System, Component-Based Development (CBD), Requirements Modeling, SaveCCM, Timed Automata, UPPAAL

References

[1] Jan Carlson, John Håkansson, and Paul Pettersson. SaveCCM: An Analysable Component Model for Real-Time Systems, in proceedings of the International Workshop on Formal Aspects of Component Software (FACS'05). Electronic Notes in Theoretical Computer Science, Elsevier, (2005).

DOI: 10.1016/j.entcs.2006.05.019

[2] Åkerholm, M., Carlson, J., Håkansson, J., Hansson, H., Nolin, M., Nolte, T., and Pettersson, P. 2007. The SaveCCM Language Reference Manual. MRTC report ISSN 1404-3041 ISRN MDHMRTC-207/2007-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, January, (2007).

[3] Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson, and Wang Yi. Uppaal implementation secrets. In Proc. of 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, (2002).

DOI: 10.1007/3-540-45739-9_1

[4] EAST-ADL2: http: /www. atesst. org.

[5] SAE. Language Compliance and Application Program Interface. SAE, 2005. The AADL Specification Document Annex D.

[6] R. Alur and D. L. Dill. A theory of timed automata. Theor. Comput. Sci., 126(2): 183-235, (1994).

[7] Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. Times – a tool for modelling and implementation of embedded systems. In TACAS 2002, volume 2280 of Lecture Notes in Computer Science, pages 460–464. Springer–Verlag, April, (2002).

DOI: 10.1007/3-540-46002-0_32

[8] Sentilles, S., Pettersson, A., Nyström, D., Nolte, T., Pettersson, P., and Crnkovic, I., 2009. Save-IDE - A Tool for Design, Analysis and Implementation of Component-Based Embedded Systems, Proceedings of the Research Demo Track of the 31st International Conference on Software Engineering (ICSE), Vancouver, May, (2009).

DOI: 10.1109/icse.2009.5070567