@inproceedings{55de46e988fe4e4ebc2d29029eee21ae,
title = "Specifying communication behaviours between components with real-time rCOS - A case study ATP",
abstract = "Specifying communication behaviours of components in real-time embedded systems is important to model and analyse system behaviours, especially for safety-critical systems. MARTE is adopted as the OMG standard for modelling real-time embedded systems, which provides a time model for modelling time-related characteristics of systems. According to the MARTE profile, we extend rCOS(a refinement calculus of object systems) with real-time features to specify communication behaviours of components in systems. The communication behaviours modelled with real-time sequence diagrams will be specified with the protocol of component interface. A case study Automatic Train Protection (ATP) of Communication Based Train Control (CBTC) is discussed to illustrate the approach.",
keywords = "MARTE, RCOS, Real-time embedded system, Specification",
author = "Dehui Du and Xijiao Xiong",
year = "2011",
doi = "10.1109/COMPSACW.2011.49",
language = "英语",
isbn = "9780769544595",
series = "Proceedings - International Computer Software and Applications Conference",
pages = "230--235",
booktitle = "Proceedings - 35th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2011",
note = "35th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2011 ; Conference date: 18-07-2011 Through 21-07-2011",
}