Towards a Component-Based Requirements Modeling for Automotive Systems
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.
Zhu Zhilin & Patrick Wang
X. Q. Yan et al., "Towards a Component-Based Requirements Modeling for Automotive Systems", Applied Mechanics and Materials, Vols. 40-41, pp. 955-960, 2011