Formal Modeling of Automotive Software Requirements by Correctness

Abstract:

Article Preview

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 et al., "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:

$35.00

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

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