Adaptive Cruise Controller Case Study
A. Krupp, O. Lundkvist, T. Schattkowsky, C. Snook, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004.
Download
No fulltext has been uploaded.
Book Chapter
| English
Author
Krupp, Alexander;
Lundkvist, Ola;
Schattkowsky, Tim;
Snook, Colin
Book Editor
Mermet, J.
Department
Abstract
We present the adaptive cruise controller case study for B modelling and the model checking by RAVEN. Individual translations of B operations, data types, and invariants to the RAVEN Input Language are presented by the example of the case study.
Publishing Year
Book Title
UML-B System Specification for Proven Electronic Design
LibreCat-ID
Cite this
Krupp A, Lundkvist O, Schattkowsky T, Snook C. Adaptive Cruise Controller Case Study. In: Mermet J, ed. UML-B System Specification for Proven Electronic Design. Dordrecht: Kluwer; 2004.
Krupp, A., Lundkvist, O., Schattkowsky, T., & Snook, C. (2004). Adaptive Cruise Controller Case Study. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design. Dordrecht: Kluwer.
@inbook{Krupp_Lundkvist_Schattkowsky_Snook_2004, place={Dordrecht}, title={Adaptive Cruise Controller Case Study}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Lundkvist, Ola and Schattkowsky, Tim and Snook, Colin}, editor={Mermet, J. Editor}, year={2004} }
Krupp, Alexander, Ola Lundkvist, Tim Schattkowsky, and Colin Snook. “Adaptive Cruise Controller Case Study.” In UML-B System Specification for Proven Electronic Design, edited by J. Mermet. Dordrecht: Kluwer, 2004.
A. Krupp, O. Lundkvist, T. Schattkowsky, and C. Snook, “Adaptive Cruise Controller Case Study,” in UML-B System Specification for Proven Electronic Design, J. Mermet, Ed. Dordrecht: Kluwer, 2004.
Krupp, Alexander, et al. “Adaptive Cruise Controller Case Study.” UML-B System Specification for Proven Electronic Design, edited by J. Mermet, Kluwer, 2004.
Google Scholar