Protocol Modelling Semantics for Embedded Systems

9 years 6 months ago
Protocol Modelling Semantics for Embedded Systems
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention, because of its prevalence, is that of deterministic interactive embedded systems. Embedded systems contain both hardware and software components interacting with each other and with the users. The components should be modelled separately, and behaviour should be explicitly defined in order to ensure correct interaction between the components. In this paper we argue that a semantic framework known as Protocol Modelling provides a good basis for modelling interactive deterministic embedded systems. Firstly, we explain how Protocol Modelling represents interaction, and how it supports Hoare’s CSP composition operator, thus allowing components of the solution to be modelled separately. Secondly, we show how Protocol Modelling can employ different modelling notations, focusing particularly on Coloured Petri Ne...
Ashley T. McNeile, Ella E. Roubtsova
Added 04 Jun 2010
Updated 04 Jun 2010
Type Conference
Year 2007
Where SIES
Authors Ashley T. McNeile, Ella E. Roubtsova
Comments (0)