Por favor, use este identificador para citar o enlazar este ítem:
https://repositorio.ufba.br/handle/ri/13470
metadata.dc.type: | Artigo de Periódico |
Título : | Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems |
Otros títulos : | Innovations in Systems and Software Engineering |
Autor : | Muniz, André Luís Nunes Andrade, Aline Maria Santos Lima, George Marconi de Araújo |
metadata.dc.creator: | Muniz, André Luís Nunes Andrade, Aline Maria Santos Lima, George Marconi de Araújo |
Resumen : | A new tool for integrating formal methods, particularly model checking, in the development process of component-based real-time systems specified in UML is proposed. The described tool, TANGRAM (Tool for Analysis of Diagrams), performs automatic translation from UML diagrams into timed automata, which can be verified by the UPPAAL model checker. We focus on the CORBA Component Model. We demonstrate the overall process of our approach, from system design to verification, using a simple but real application, used in train control systems. Also, a more complex case study regarding train control systems is described. |
Palabras clave : | Components UML Real-time systems Model checking UPPAAL |
metadata.dc.rights: | Acesso Aberto |
URI : | http://repositorio.ufba.br/ri/handle/ri/13470 |
Fecha de publicación : | 2010 |
Aparece en las colecciones: | Artigo Publicado em Periódico (PPGM) |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.