Proceedings of the Annual Conference of the Institute of Systems, Control and Information Engineers
The 51st Annual Conference of the Institute of Systems, Control and Information Engineers
Session ID : 2W2-2
Conference information

Host: The Institute of Systems, Control and Information Engineers

Verification of Arbiter Mechanism in Real-time Systems Using Synchronous Language
Application to Auto-cruise Systems
*Tetsuya Oda, Toshimitsu Ushio, Takashi Tominaga, Noriyoshi Sano
Author information
Keywords: Arbiter Mechanism, Model Checking, Auto-cruise System, In-Vehicle System
CONFERENCE PROCEEDINGS FREE ACCESS

Details
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Abstract
We consider a verification problem of arbiter mechanism. We use the model checking function of SCADE, where a system and its environment are modeled by a synchronous language and specifications are given by properties. As an example, we consider an auto-cruise system consisting of multiple ECU's and investigate what kind of property is verifiable.
Content from these authors
© 2007 The Institute of Systems, Control and Information Engineers
Previous article Next article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top