ENFORCING DEPENDABILITY AND TIMELINESS IN CANELy - Application to Spaceborne Data Communication Systems

José Rufino, Paulo Verissimo, Ricardo Pinto, Carlos Almeida, Guilherme Arroz

2011

Abstract

The Controller Area Network (CAN) has played along the last decade a crucial role in the design and implementation of distributed embedded systems. However, the native CAN protocol exhibits a set of availability, reliability and timeliness limitations. Given the large practical base of off-the-shelf microcontrollers integrating standard CAN interfaces and the emergence of CAN protocol open cores, a fundamental question is whether (and how) those components can be used for highly dependable applications of CAN? This paper identifies a fundamental set of shortcomings of the native CAN protocol and discusses how existing CAN controllers can be combined with additional hardware/software components to secure the provisioning of strict dependability and timeliness guarantees. Furthermore, the paper discusses the main issues in the design and implementation of CANELy, a CAN-based infrastructure able of extremely reliable hard real-time communication, and shows how CANELy components can be integrated in the onboard data communication and processing infrastructure currently being designed for future space vehicle avionics.

References

  1. AEEC (2006). Avionics application software standard interface. ARINC Specification 653, Airlines Electronic Engineering Committee (AEEC).
  2. AEEC (2010). General standardization of CAN (Controller Area Network) for airborne use. ARINC Spec. 825-1, Airlines Electronic Engineering Committee (AEEC).
  3. Broster, I. and Burns, A. (2003). An analysable busguardian for event-triggered communication. In Proc. of 24th Real-time Systems Symposium, pages 410- 419, Cancun, Mexico. IEEE.
  4. CAN (1993). International Standard 11898 - Road vehicles - Interchange of digital information - Controller Area Network for high-speed communication. ISO.
  5. CAN (1997). TJA1053 - Fault-tolerant CAN transceiver. Philips Semiconductors.
  6. Charzinski, J. (1994). Performance of the error detection mechanisms in CAN. In Proc. of the 1st Int. CAN Conference, pages 1.20-1.29, Mainz, Germany. CiA.
  7. CiA (1994). CAN Physical Layer for Industrial Applications - CiA Draft Standard 102 Version 2.0. CiA - CAN in Automation.
  8. Dallas (2005). DS80C390 Dual-CAN High-Speed Microprocessor. Maxim/Dallas Semiconductors.
  9. Davis, R. I., Burns, A., Bril, R. J., and Lukkien, J. J. (2007). Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised. Real-Time Systems, 35:239-272.
  10. ECSS (2005). ECSS Draft Standard ECSS-E-ST-50-15C. Recommendations for CAN Bus in Spacecraft Onboard Applications. European Cooperation for Space Standardization (ECSS).
  11. Livani, M., Kaiser, J., and Jia, W. (1998). Scheduling hard and soft real-time communication in the controller area network (CAN). In Proc. of the 23rd IFAC/IFIP Workshop on Real-Time Programming, Shantou - China. IFAC/IFIP.
  12. NOB (1998). RED-CAN a fully redundant CAN-system. NOB Elektronik AB Product Note - Sweden.
  13. Pinho, L., Vasques, F., and Tovar, E. (2000). Integrating inaccessibility in response time analysis of CAN networks. In Proc. of the 3rd Int. Workshop on Factory Communication Systems, Porto, Portugal. IEEE.
  14. Punnekkat, S., Hansson, H., and Norstrom, C. (2000). Response time analysis under errors for CAN. In Proc. of the Real-Time Technology and Applications Symposium, pages 258-265, Washington, USA. IEEE.
  15. Rodrigues, L., Guimara˜es, M., and Rufino, J. (1998). Faulttolerant clock syncronization in CAN. In Proc. of 19th Real-Time Systems Symposium, pages 420-429, Madrid, Spain. IEEE.
  16. Rufino, J. (2002). Computational System for Real-Time Distributed Control. PhD thesis, Technical University of Lisbon - Instituto Superior Técnico, Lisboa, Portugal.
  17. Rufino, J., Craveiro, J., and Verissimo, P. (2010). Building a time- and space-partitioned architecture for the next generation of space vehicle avionics. In Proc. of the 8th IFIP Int. Workshop on Software Technologies for Embedded and Ubiquitous Systems, pages 179-190. IFIP, Springer.
  18. Rufino, J., Verissimo, P., and Arroz, G. (1999). A Columbus' egg idea for CAN media redundancy. In Digest of Papers, The 29th Int. Symposium on Fault-Tolerant Computing Systems, pages 286-293, Madison, Wisconsin - USA. IEEE.
  19. Rufino, J., Verissimo, P., and Arroz, G. (2003). Node failure detection and membership in CANELy. In Proc. of the 2003 International Conference on Dependable Systems and Networks, pages 331-340, San Francisco, California, USA. IEEE.
  20. Rufino, J., Verissimo, P., Arroz, G., and Almeida, C. (2006). Control of inaccessibility in CANELy. In Proc. of the 6th. Int. Workshop on Factory Communication Systems, pages 35-44, Torino, Italy. IEEE.
  21. Rufino, J., Verissimo, P., Arroz, G., Almeida, C., and Rodrigues, L. (1998). Fault-tolerant broadcasts in CAN. In Digest of Papers, The 28th Int. Symposium on Fault-Tolerant Computing Systems, pages 150-159, Munich, Germany. IEEE.
  22. Stuart, R. (1999). CAN bit timing requirements. Application Note AN1798, Motorola, Inc.
  23. Verissimo, P., Rufino, J., and Ming, L. (1997). How hard is hard real-time communication on field-buses? In Digest of Papers, The 27th Int. Symp. on Fault-Tolerant Computing Systems, Washington - USA. IEEE.
  24. Xilinx (2009). Spartan-3E FPGA family data sheet.
  25. Zuberi, K. and Shin, K. (1997). Scheduling messages on Controller Area Network for real-time CIM applications. IEEE Transactions on Robotics and Automation, 13(2):310-314.
Download


Paper Citation


in Harvard Style

Rufino J., Verissimo P., Pinto R., Almeida C. and Arroz G. (2011). ENFORCING DEPENDABILITY AND TIMELINESS IN CANELy - Application to Spaceborne Data Communication Systems . In Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS, ISBN 978-989-8425-48-5, pages 456-463. DOI: 10.5220/0003376004560463


in Bibtex Style

@conference{peccs11,
author={José Rufino and Paulo Verissimo and Ricardo Pinto and Carlos Almeida and Guilherme Arroz},
title={ENFORCING DEPENDABILITY AND TIMELINESS IN CANELy - Application to Spaceborne Data Communication Systems},
booktitle={Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS,},
year={2011},
pages={456-463},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003376004560463},
isbn={978-989-8425-48-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS,
TI - ENFORCING DEPENDABILITY AND TIMELINESS IN CANELy - Application to Spaceborne Data Communication Systems
SN - 978-989-8425-48-5
AU - Rufino J.
AU - Verissimo P.
AU - Pinto R.
AU - Almeida C.
AU - Arroz G.
PY - 2011
SP - 456
EP - 463
DO - 10.5220/0003376004560463