Software-based assessment of the synchronization and error handling behavior of a real CAN controller

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn , Issue , 2013, Pages

  Cena, Gianluca ^a   Bertolotti, Ivan Cibrario ^a   Hu, Tingting ^a,b   Valenzano, Adriano ^a  

^a CNR   (Italy)

^b POLITECNICO DI TORINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS TECHNIQUES; BLACK BOX APPROACH; CONTROLLER AREA NETWORK; ERROR HANDLING; INTERNAL STRUCTURE; OPERATING CONDITION; TEST SOFTWARES;

CONTROL SYSTEM SYNTHESIS; FACTORY AUTOMATION;

CONTROLLERS;

EID: 84890590240     PISSN: 19460740     EISSN: 19460759     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2013.6648025     Document Type: Conference Paper

References (17)

1. A. Ademaj. Slightly-off-specification failures in the timetriggeredarchitecture. In Proc. 7th IEEE InternationalHigh-Level Design Validation and Test Workshop, pages7-12, Oct. 2002.
2. ARM Ltd. ARM7TDMI Technical Reference Manual,DDI0029G, rev. 3, Apr. 2001.
3. E. Armengaud, A. Steininger, and M. Horauer. Towardsa systematic test for embedded automotive communicationsystems. IEEE Transactions on Industrial Informatics,4(3):146-155, Aug. 2008.
4. J. Charzinski. Performance of the error detection mechanismsin CAN. In Proc. 1st International CAN Conference,pages 20-29, Sept. 1994.
5. C. Constant, T. Jeron, H. Marchand, and V. Rusu. Integratingformal verification and conformance testing for reactivesystems. IEEE Transactions on Software Engineering,33(8):558-574, Aug. 2007.
6. M. Fugger, E. Armengaud, and A. Steininger. Safelystimulating the clock synchronization algorithm in timetriggeredsystems-A combined formal and experimentalapproach. IEEE Transactions on Industrial Informatics,5(2):132-146, May 2009.
7. F. Hartwich and A. Bassemir. The configuration of theCAN bit timing. In Proc. 6th International CAN Conference,pages 1-10, 1999.
8. ISO. ISO 11898-1-Road vehicles-Controller area network(CAN)-Part 1: Data link layer and physical signalling.International Organization for Standardization,2003.
9. ISO. ISO 16845-Road vehicles-Controller area network(CAN)-Conformance test plan. International Organizationfor Standardization, 2004.
10. H. Kopetz. Fault containment and error detection inthe time-triggered architecture. In Proc. 6th InternationalSymposium on Autonomous Decentralized Systems(ISADS), pages 139-146, Apr. 2003.
11. F. Lalanne and S. Maag. A formal data-centric approachfor passive testing of communication protocols.IEEE/ACM Transactions on Networking, 21(3):788-801,2013.
12. F. Luo, J. Chen, G. Zhuang, and Z. Sun. Research on CANcontroller conformance test system. In Proc. 2nd IEEEInternational Conference on Computer Science and InformationTechnology (ICCSIT), pages 582-585, Aug. 2009.
13. J. Novak, A. Fried, and M. Vacek. CAN generator anderror injector. In Proc. 9th International Conference onElectronics, Circuits and Systems, volume 3, pages 967-970, 2002.
14. NXP B. V. LPC24XX User manual, UM10237 rev. 2, Dec.2008.
15. NXP B. V. LPC17XX User manual, UM10360 rev. 2, Aug.2010.
16. Robert Bosch GmbH. CAN Specification Version 2. 0,1991.
17. Robert Bosch GmbH. VHDL Reference CAN Users Manual,1999. Revision 2. 2, available online, at http://www. bosch-semiconductors. de/.