For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
A Toolset for Validation and Verification of Automotive Control Software Using Formal Patterns
Yunja CHOI Dongwoo KIM
IEICE TRANSACTIONS on Information and Systems
Publication Date: 2017/07/01
Online ISSN: 1745-1361
Type of Manuscript: LETTER
Category: Software System
validation, verification, OSEK/VDX, patterns,
Full Text: PDF>>
An automotive control system is a typical safety-critical embedded software, which requires extensive verification and validation (V&V) activities. This article introduces a toolset for automated V&V of automotive control system, including a test generator for automotive operating systems, a task simulator for validating task design of control software, and an API-call constraint checker to check emergent properties when composing control software with its underlying operating system. To the best of our knowledge, it is the first integrated toolset that supports V&V activities for both control software and operating systems in the same framework.