Browsing HVL Open by Author "Simonsen, Kent Inge Fagerland"
Now showing items 1-3 of 3
-
An evaluation of automated code generation with the petricode approach
Simonsen, Kent Inge Fagerland (Peer reviewed; Journal article, 2014) -
Model-based development for MAC protocols in industrial wireless sensor networks
Kumar Somappa, Admar Ajith; Simonsen, Kent Inge Fagerland (Peer reviewed; Journal article, 2016)Model-Driven Software Engineering (MDSE) is an approach for design and implementation of software applications, that can be applied across multiple domains. The advantages include rapid prototyping and implementation, along ... -
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification
Simonsen, Kent Inge Fagerland; Kristensen, Lars Michael; Kindler, Ekkart (Peer reviewed; Journal article, 2015)PetriCode is a tool that supports automated generation of protocol software from a restricted class of Coloured Petri Nets (CPNs) called Pragmatics Annotated Coloured Petri Nets (PA-CPNs). PetriCode and PA-CPNs have been ...