Using Model Checking to Verify an Automotive Electric Parking Brake System


KIPS Transactions on Software and Data Engineering, Vol. 6, No. 4, pp. 167-176, Apr. 2017
10.3745/KTSDE.2017.6.4.167,   PDF Download:
Keywords: Model Checking, Automotive Verification, Formal Verification, Safety Requirement
Abstract

There are increasing policies and safeguards to prevent various human resource losses with the development of automotive industry. Currently ISO26262 1st edition has been released in 2011 to ensure functional safety of electrical and electronic systems and the 2nd edition will be released in the second half of 2016 as part of a trend. The E/E(Electrical & Electronics) system requirements verification is required through walk-through, 인스펙션, semi-formal verification and formal verification in ISO 26262. This paper describe the efficiency of model checking for the E/E system requirements verification by applying the product development project of ASIL(Automotive Safety Integrity Level) D for the electrical parking brake system.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
J. Y. Choi, J. H. Cho, Y. J. Choi, "Using Model Checking to Verify an Automotive Electric Parking Brake System," KIPS Transactions on Software and Data Engineering, vol. 6, no. 4, pp. 167-176, 2017. DOI: 10.3745/KTSDE.2017.6.4.167.

[ACM Style]
Jun Yeol Choi, Joon Hyung Cho, and Yun Ja Choi. 2017. Using Model Checking to Verify an Automotive Electric Parking Brake System. KIPS Transactions on Software and Data Engineering, 6, 4, (2017), 167-176. DOI: 10.3745/KTSDE.2017.6.4.167.