Please use this identifier to cite or link to this item: http://repositorio.ufla.br/jspui/handle/1/33996
Full metadata record
DC FieldValueLanguage
dc.creatorGreghi, Juliana Galvani-
dc.creatorMartins, Eliane-
dc.creatorCarvalho, Ariadne M. B. R.-
dc.creatorAmbrosio, Ana Maria-
dc.creatorVillani, Emília-
dc.date.accessioned2019-05-06T12:38:11Z-
dc.date.available2019-05-06T12:38:11Z-
dc.date.issued2018-
dc.identifier.citationGREGHI, J. G. et al. From natural language standard documents to state machines: advantages and drawbacks. Journal of Aerospace Information Systems, [S.l.], v. 15, n. 5, p. 271-281, 2018.pt_BR
dc.identifier.urihttp://repositorio.ufla.br/jspui/handle/1/56621996-
dc.identifier.urihttps://arc.aiaa.org/doi/10.2514/1.I010525pt_BR
dc.description.abstractProblems in requirements documents are among the root cause of a number of accidents in space missions. A common approach toward the minimization of these problems is to transform the requirements into models that represent the system’s behavior. However, this solution requires dealing with issues such as choosing the best modeling formalism, defining to what extent the transformation process should be automated, and assuring the quality of the requirements documents to be used as input. In space missions, requirements are frequently tailored from standard documents, such as the Packet Utilization Standard, which are composed of mandatory and optional requirements. This paper presents a semi-automatic method to transform standard requirements documents into extended finite state machines. To evaluate it, we apply the method to a set of requirements from the Packet Utilization Standard. We evaluate the method using some Packet Utilization Standard services. In light of the results, the paper discusses advantages and potential problems of each approach.pt_BR
dc.languageen_USpt_BR
dc.publisherAerospace Research Centralpt_BR
dc.rightsrestrictAccesspt_BR
dc.sourceJournal of Aerospace Information Systemspt_BR
dc.titleFrom natural language standard documents to state machines: advantages and drawbackspt_BR
dc.typeArtigopt_BR
Appears in Collections:DCC - Artigos publicados em periódicos

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Admin Tools