Abstract
Paper presents model of Control Area Network (CAN) protocol. The model was created using piece-linear aggregate formalism. CAN protocol is a component part of Anti-lock Braking System (ABS). The goal of performed investigations was to analyse protocol application possibilities in ABS. Created simulation model of CAN protocol permitted to evaluate waiting times of transmitted information packets. Requirements for this parameter are defined by ABS dynamical characteristics.
Investigations have been supported by COPERNICUS programme according LIMITS project.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ISO 11898:1993, Road Vehicles — Interchange of Digital Information — Controller Area Network (CAN) for High-Speed Communication.
Mikuckas, A., Makackas, D. Modelling car braking temporal characteristics. Informacines Technologijos’97Technologija, Kaunas, 1997, pp. 218–224 (in Lithuanian).
Motus, L., Rodd, M. G. Timing Analysis of Real-Time Software. Pergamon, 1994.
Philips Semiconductors. CAN Specification. Version 2.0, 1991.
Pranevicius, H., Chmieliauskas, A. Correctness Analysis and Performance Prediction of Protocol by means of Aggregate Approach and Control Sequences Method. Academy of Science. USSR, Moscow, 1983, 32 p.
Pranevicius, H., Pilkauskas, V., Chmieliauskas, A. Aggregate Approach for Specification and Analysis of Computer Network Protocols. Technologija, Kaunas, 1994.
Pranevicius, H. Aggregate approach for specification, validation, simulation and implementation of computer network protocols. Lectures Notes in Computer Sciences, 502, Springer-Verlag, Berlin, 1991, pp. 433–477.
SAE 81C90/81C91, Stand Alone Full CAN Controller. Siemens Semiconductor Group, 1994.
Valatka, A. Anti-Lock Braking and Traction Control Systems of Car. Smaltija, Kaunas, 1996 (in Lithuanian).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Pranevicius, H., Makackas, D. (2001). The Use of Aggregate Approach for Formal Specification and Simulation of Real-Time Systems. In: Barzdins, J., Caplinskas, A. (eds) Databases and Information Systems. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9636-7_15
Download citation
DOI: https://doi.org/10.1007/978-94-015-9636-7_15
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5657-3
Online ISBN: 978-94-015-9636-7
eBook Packages: Springer Book Archive