Paper Title:
Formal Modeling of Automotive Software Requirements by Correctness
  Abstract

Correctly modeling software requirements is one of the grand challenges of current ECU (Electronic control Unit) development. To ensure the correctness of the requirements, formal modeling techniques are usually used because they allow analyzers to simulate, verify and even conduct performance analysis in the requirement level. In this paper, we propose a requirements modeling framework, based on the philosophy of separation of concerns and the formal modeling techniques. The main contributions of this paper are two-fold: (1) We divide a complicated automotive software as several concerns, each of which is modeled by different formal techniques, thus the descriptive complexity of the requirements is decreased, and accordingly the models’ understandability is enhanced; (2) The adoption of formal techniques allows us to simulate the execution of the software and calculate the performance in the early stage of development, therefore the correctness of requirements can be improved.

  Info
Periodical
Edited by
Zhu Zhilin & Patrick Wang
Pages
961-967
DOI
10.4028/www.scientific.net/AMM.40-41.961
Citation
X. J. Liu, Z. X. Wang, X. Q. Yan, Y. Li, J. X. Li, "Formal Modeling of Automotive Software Requirements by Correctness", Applied Mechanics and Materials, Vols. 40-41, pp. 961-967, 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: Xu Qin Yan, Xiao Jian Liu, Zhi Xue Wang, Xiao Bo Che, Cheng Yong Mao, Yang Li, Wei Cheng
Abstract:Requirements modeling is a critical stage in the development of ECUs (Electronic Control Unit) of automotive systems. A typical automotive...
955
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