Sciweavers

Share
EUROMICRO
2009
IEEE

Formal Semantics of the ProCom Real-Time Component Model

11 years 9 months ago
Formal Semantics of the ProCom Real-Time Component Model
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectural elements of the ProCom component model have been given a formal semantics. The semantics is given in a small but powerful finite state machine formalism, with notions of urgency, timing, and priorities. By defining the semantics in this way, we (i) provide a rigorous and compact description of the modeling elements of ProCom, (ii) set the ground for formal analysis using other formalisms, and (iii) provide an intuitive and useful description for both practitioners and researchers. To illustrate the approach, we exemplify with a number of particularly interesting cases, ranging from ports and services to components and component hierarchies. Keywords-real-time systems; embedded systems; component model; finite state machines; timed automata
Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlso
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2009
Where EUROMICRO
Authors Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Cerschi Seceleanu, Paul Pettersson
Comments (0)
books