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
ISSN: 0148-7191, e-ISSN: 2688-3627
Published April 16, 2012 by SAE International in United States
Annotation ability available
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) . 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.
CitationBodenstein, 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.
- 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, vol., no., pp. 407-410, 22-24 Sept. 2004 doi:10.1109/WFCS.2004.1377759.
- Bago, M., Peri'c, N., and 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., and 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), pp. 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, vol., no., pp.1-4, 27-29 March 2006
- Zimmermann, A.: “Stochastic Discrete Event Systems - Modeling, Evaluation, Applications”, Springer, Berlin Heidelberg New York. October 2007 ISBN 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, vol., no., pp.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 und Srividya, A.: “Response-Time Modeling of Controller Area Network (CAN)”, Lecture Notes in Computer Science, 2009, Volume 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