Paper Info
Title
Specification and Validation of Embedded Systems using LUSTRE and ARGOS. Case Study: The Automatic Headlight Leveling System
Abstract
In thisarticle, the design, modeling and validation of embedded systemsis examined. There exist commercial tools for the developmentof control- or data-flow dominated systems, e.g.STATEMATE for control dominated systems and MATLAB for data-flowdominated systems, but there are problems to describe mixed systems.The system is split in a control and a transformation part. Thecontrol part is described with the graphical language ARGOS,the transformation part with the data-flow language LUSTRE. Integrationis done based on their common synchronous architecture. The designprocess is shown in a case study on an industrial application,the automatic headlight leveling system. A validation strategyaccording to the separation of the system is shown. Safety propertiesof the control part are proved with model checking, functionalcorrectness is shown in two steps by simulation and hardwarein the loop simulation.
Year
DOI
Venue
2001
10.1023/A:1011237030847
Design Autom. for Emb. Sys.
Keywords
Field
DocType
embedded systems,reactive systems,synchronous languages,model checking,simulation
Architecture,MATLAB,Model checking,Graphical language,Computer science,Real-time computing,Lustre (mineralogy),Reactive system,Embedded system
Journal
Volume
Issue
ISSN
6
2
1572-8080
Citations 
PageRank 
References 
0
0.34
14
Authors
2
Name
Order
Citations
PageRank
Rainer Gmehlich1101.74
Robert Bosch2335.57