SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design

We present a rewriting logic based technique for defining the formal executable semantics of a non-autonomous Petri net class, named Input-Output Place/Transition nets (IOPT nets), designed for model-based embedded system’s development, according to the MDA initiative. For this purpose, we provide m...

Full description

Bibliographic Details
Main Author: Barbosa, Paulo (author)
Other Authors: Barros, João Paulo (author), Ramalho, Franklin (author), Gomes, Luís (author), Figueiredo, Jorge (author), Moutinho, Filipe (author), Costa, Anikó (author), Aranha, André (author)
Format: bookPart
Language:eng
Published: 2013
Subjects:
Embedded Systems
Petri Nets
Maude
Verification
Online Access:http://hdl.handle.net/20.500.12207/491
Country:Portugal
Oai:oai:repositorio.ipbeja.pt:20.500.12207/491

Internet

http://hdl.handle.net/20.500.12207/491

Similar Items