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...

ver descrição completa

Detalhes bibliográficos
Autor principal: Barbosa, Paulo (author)
Outros Autores: Barros, João Paulo (author), Ramalho, Franklin (author), Gomes, Luís (author), Figueiredo, Jorge (author), Moutinho, Filipe (author), Costa, Anikó (author), Aranha, André (author)
Formato: bookPart
Idioma:eng
Publicado em: 2013
Assuntos:
Embedded Systems
Petri Nets
Maude
Verification
Texto completo:http://hdl.handle.net/20.500.12207/491
País:Portugal
Oai:oai:repositorio.ipbeja.pt:20.500.12207/491

Texto Completo

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

Registos relacionados