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.
[1]
Rajeev Alur,et al.
A Theory of Timed Automata
,
1994,
Theor. Comput. Sci..
[2]
Séverine Sentilles,et al.
Save-IDE - A tool for design, analysis and implementation of component-based embedded systems
,
2009,
2009 IEEE 31st International Conference on Software Engineering.
[3]
Wang Yi,et al.
UPPAAL Implementation Secrets
,
2002,
FTRTFT.
[4]
Hans Hansson,et al.
The SaveCCM Language Reference Manual
,
2007
.
[5]
John Håkansson,et al.
SaveCCM: An Analysable Component Model for Real-Time Systems
,
2006,
FACS.
[6]
Wang Yi,et al.
TIMES - A Tool for Modelling and Implementation of Embedded Systems
,
2002,
TACAS.