TY - GEN
T1 - Synchronization in CAN-based embedded systems
AU - Su, Ye
AU - Singh, Gurdip
PY - 2004
Y1 - 2004
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=12744273686&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=12744273686&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:12744273686
SN - 1932415416
SN - 9781932415414
T3 - Proceedings of the International Conference on Embedded Systems and Applications ESA'04 - Proceedings of the International Conference on VLSI, VLSI'04
SP - 233
EP - 239
BT - Proceedings of the International Conference on Embedded Systems and Applications ESA'04 - Proceedings of the INternational Conference on VLSI, VLSI'04
A2 - Arabnia, H.R.
A2 - Guo, M.
A2 - Yang, L.T.
T2 - Proceedings of the International Conference on Embedded Systems and Applications ESA'04 - Proceedings of the International Conference on VLSI, VLSI'04
Y2 - 21 June 2004 through 24 June 2004
ER -