https://repositorio.ufba.br/handle/ri/13470
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Muniz, André Luís Nunes | - |
dc.contributor.author | Andrade, Aline Maria Santos | - |
dc.contributor.author | Lima, George Marconi de Araújo | - |
dc.creator | Muniz, André Luís Nunes | - |
dc.creator | Andrade, Aline Maria Santos | - |
dc.creator | Lima, George Marconi de Araújo | - |
dc.date.accessioned | 2013-11-01T11:47:19Z | - |
dc.date.issued | 2010 | - |
dc.identifier.issn | 1614-5046 | - |
dc.identifier.uri | http://repositorio.ufba.br/ri/handle/ri/13470 | - |
dc.description | Texto completo: acesso restrito. p.29-37 | pt_BR |
dc.description.abstract | 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. | pt_BR |
dc.language.iso | en | pt_BR |
dc.rights | Acesso Aberto | pt_BR |
dc.source | http://dx.doi.org/10.1007/s11334-009-0103-6 | pt_BR |
dc.subject | Components | pt_BR |
dc.subject | UML | pt_BR |
dc.subject | Real-time systems | pt_BR |
dc.subject | Model checking | pt_BR |
dc.subject | UPPAAL | pt_BR |
dc.title | Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems | pt_BR |
dc.title.alternative | Innovations in Systems and Software Engineering | pt_BR |
dc.type | Artigo de Periódico | pt_BR |
dc.identifier.number | v. 6, n. 1 | pt_BR |
dc.embargo.liftdate | 10000-01-01 | - |
Aparece nas coleções: | Artigo Publicado em Periódico (PPGM) |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.