Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 1526-1529 |
| Number of pages | 4 |
| Journal | IEICE Transactions on Information and Systems |
| Volume | E100D |
| Issue number | 7 |
| DOIs | |
| State | Published - Jul 2017 |
Keywords
- OSEK/VDX
- Patterns
- Validation
- Verification
Fingerprint
Dive into the research topics of 'A toolset for validation and verification of automotive control software using formal patterns'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver