Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/26489
Título: | A specification patterns system for discrete event systems analysis |
Autor(es): | Campos, J. Creissac Machado, José Mendes |
Palavras-chave: | Discrete event systems Dependability Model checking Property specification patterns |
Data: | 2013 |
Editora: | InTech |
Revista: | International Journal of Advanced Robotic Systems |
Resumo(s): | As formal verification tools gain popularity, the problem arises of making them more accessible to engineers. A correct understanding of the logics used to express properties of a system's behavior is needed in order to guarantee that properties correctly encode the intent of the verification process. Writing appropriate properties, in a logic suitable for verification, is a skillful process. Errors in this step of the process can create serious problems since a false sense of safety is gained with the analysis. However, when compared to the effort put into developing and applying modeling languages, little attention has been devoted to the process of writing properties that accurately capture verification requirements. In this paper we illustrate how a collection of property patterns can help in simplifying the process of generating logical formulae from informally expressed requirements. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/26489 |
DOI: | 10.5772/56412 |
ISSN: | 1729-8806 |
Versão da editora: | http://www.intechopen.com/journals/international_journal_of_advanced_robotic_systems/a-specification-patterns-system-for-discrete-event-systems-analysis |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
CamposM2013-A_specification_patterns_system_for_discrete_event_systems_analysis.pdf | editor's version | 1,98 MB | Adobe PDF | Ver/Abrir |