Paper Title:
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.

  Info
Periodical
Edited by
Zhu Zhilin & Patrick Wang
Pages
955-960
DOI
10.4028/www.scientific.net/AMM.40-41.955
Citation
X. Q. Yan, X. J. Liu, Z. X. Wang, X. B. Che, C. Y. Mao, Y. Li, W. Cheng, "Towards a Component-Based Requirements Modeling for Automotive Systems", Applied Mechanics and Materials, Vols. 40-41, pp. 955-960, 2011
Online since
November 2010
Export
Price
$32.00
Share

In order to see related information, you need to Login.

In order to see related information, you need to Login.

Authors: Xiao Jian Liu, Zhi Xue Wang, Xu Qin Yan, Yang Li, Jian Xin Li
Abstract:Correctly modeling software requirements is one of the grand challenges of current ECU (Electronic control Unit) development. To ensure the...
961
Authors: Xiao Peng Hou, You Neng Huang
Chapter 2: Mechatronics, Robotics, Control and Automation
Abstract:Communication based train control system as a train control system is designed to ensure driving safety, the system description and system...
211