This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Model-Based Development of a Real-Time CAN Software Layer
Technical Paper
2012-01-0009
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
Among the most important tasks in automotive E/E system design are ECU architecture development, network connections, and functional mapping. Bus timing and communication delays are crucial to ensure timely behavior of distributed embedded applications. A provable real-time behavior can only be achieved with base hard- and software that fully implements real-time capabilities.
CAN is a proven and commonly used network technology, but has well-known disadvantages in real-time applications. Especially for questions of real-time data transmission over CAN, a priori knowledge of bus load and possible transmission delays is important. In this context, network modeling with different tools is already common practice. Several software tools are on the market to simulate CAN bus load, and techniques exist to get results which nearly match measurements in reality. One possibility is to use only cyclic/periodic messages or the clear definition of conditions for spontaneous messages.
The approach presented in this paper is based on the well-known modeling method Petri nets to simulate CAN networks. Two model types are used, namely Extended Deterministic and Stochastic Petri Nets (eDSPN) and Stochastic Colored Petri Nets (SCPN) [4]. The reasons for using this technique are the simplicity of Petri nets which can be understood very quickly and the possibility of modeling bus arbitration for CAN networks.
Automatic generation of Petri nets from given dbc-files is planned to test different transfer layer protocols on real communication specifications. Later on, these protocols will be implemented as AUTOSAR BSWs to validate them in a real CAN network. So the later target of this project is to “add” real-time capabilities to a given CAN network by exchanging the CAN transfer layer software modules and prove these capabilities by simulating an equivalent Petri net.
This paper describes work in progress on modeling CAN bus arbitration strategies with colored Petri nets to find ways of optimizing real time capabilities in the transfer layer.
Recommended Content
Authors
Topic
Citation
Bodenstein, C. and Zimmermann, A., "Model-Based Development of a Real-Time CAN Software Layer," SAE Technical Paper 2012-01-0009, 2012, https://doi.org/10.4271/2012-01-0009.Also In
References
- Krakora, J. Waszniowski, L. Pisa, P. Hanzalek, Z. “Timed automata approach to real time distributed system verification,” Factory Communication Systems 2004 Proceedings. 2004 IEEE International Workshop on 407 410 22 24 Sept. 2004 doi: 10.1109/WFCS.2004.1377759
- Bago, M. Peri'c, N. Marijan, S. Modeling Bus Communication Protocols Using Timed Colored Petri Nets - The Controller Area Network Example CPN'08 - Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools October 20 22 Arhus, Denmark 2008
- Jensen, K. Kristensen, L.M. Wells, L. “Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems.” International Journal on Software Tools for Technology Transfer (STTT) 9 3-4 213 254 2007 doi: 10.1007/s10009-007-0038-x
- Zimmermann, Armin Knoke, Michael Huck, Alexander Hommel, Günter “Towards Version 4.0 of TimeNET,” Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB), 2006 13th GI/ITG Conference 1 4 27 29 March 2006
- Zimmermann, A. “Stochastic Discrete Event Systems - Modeling, Evaluation, Applications” Springer Berlin Heidelberg New York October 2007 978-3-540-74172-5
- Lian-cheng, Cui Zheng-Fang, Zhao Xiao-ju, Xu Fang-ming, Wu Wei-zhen, Shan “Real Time Performance Analysis of CAN Bus Based on TimeNET” Innovative Computing Information and Control, 2008. ICICIC ′08. 3rd International Conference on 191 18 20 June 2008 doi: 10.1109/ICICIC.2008.439
- Zeltwanger, Holger “Time Triggered Communication on CAN” doi: 10.4271/2002-01-0437
- Kumar, Manoj Verma, Ajit Kumar Srividya, A. “Response-Time Modeling of Controller Area Network (CAN)” Lecture Notes in Computer Science 2009 5408 2009 163 174 doi: 10.1007/978-3-540-92295-7_20
- Klehmet, U. Herpel, T. Hielscher, K.-S. German, R. “Real-Time Guarantees for CAN Traffic” Vehicular Technology Conference 2008 VTC Spring 2008 doi: 10.1109/VETECS.2008.327