Synchronization in CAN-based embedded systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

Controller area networks (CAN) are widely used in the development of embedded real-time systems. As embedded systems become more complex, the development of dependable software for such systems is becoming a challenging problem. In this paper, we propose a technique to develop dependable synchronization code for CAN-based embedded systems. Our approach is to factor out synchronization as a separate aspect, synthesize synchronization code and then compose it with the functional code. Specifically, we allow the designer of a CAN-based application to first design the core functional code. The designer can then annotate the functional code with control points and specify high-level "global invariants" specifying the synchronization policies. Our methodology generates synchronization code based on message passing in a CAN system from the invariant and then automatically integrates the synchronization code into the functional code at appropriate control points. We propose and evaluate two solutions: one of which is based on a centralized active monitor and the other is a decentralized solution. The synchronization code developed is derived from high-level formal specifications via formal methods and is correct-by-construction, and will guarantee high assurance in safety-critical applications.

Original languageEnglish (US)
Title of host publicationProceedings of the International Conference on Embedded Systems and Applications ESA'04 - Proceedings of the INternational Conference on VLSI, VLSI'04
EditorsH.R. Arabnia, M. Guo, L.T. Yang
Pages233-239
Number of pages7
StatePublished - Dec 1 2004
Externally publishedYes
EventProceedings of the International Conference on Embedded Systems and Applications ESA'04 - Proceedings of the International Conference on VLSI, VLSI'04 - Las Vegas, NV, United States
Duration: Jun 21 2004Jun 24 2004

Publication series

NameProceedings of the International Conference on Embedded Systems and Applications ESA'04 - Proceedings of the International Conference on VLSI, VLSI'04

Other

OtherProceedings of the International Conference on Embedded Systems and Applications ESA'04 - Proceedings of the International Conference on VLSI, VLSI'04
CountryUnited States
CityLas Vegas, NV
Period6/21/046/24/04

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Synchronization in CAN-based embedded systems'. Together they form a unique fingerprint.

  • Cite this

    Su, Y., & Singh, G. (2004). Synchronization in CAN-based embedded systems. In H. R. Arabnia, M. Guo, & L. T. Yang (Eds.), Proceedings of the International Conference on Embedded Systems and Applications ESA'04 - Proceedings of the INternational Conference on VLSI, VLSI'04 (pp. 233-239). (Proceedings of the International Conference on Embedded Systems and Applications ESA'04 - Proceedings of the International Conference on VLSI, VLSI'04).