Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP

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.