|
Title:
|
AN APPROACH FOR REQUIREMENTS ELICITATION FOR EMBEDDED REAL-TIME SYSTEMS |
|
Author(s):
|
Rovedy A. B. e Silva1, José M. Parente de Oliveira, Jorge Sousa Pinto |
|
ISBN:
|
978-989-8533-06-7 |
|
Editors:
|
Hans Weghorn, Leonardo Azevedo and Pedro Isaías |
|
Year:
|
2011 |
|
Edition:
|
Single |
|
Keywords:
|
Requirements, Ontology, Formal Methods, Spatial Software |
|
Type:
|
Full Paper |
|
First Page:
|
43 |
|
Last Page:
|
50 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
Problems with the misinterpretation of requirements are among the most significant causes of software failures in embedded real-time systems. In the context of development of spatial software, errors in requirements engineering process are dangerous and costly. The work presented in this paper aims to provide support for requirement elicitation of embedded real-time systems. To fulfill this goal, the work focuses on the definition of an approach based on domain knowledge and formalism to help software engineers express and verify requirements. The application of the process was carry out through a case study about a hypothetical software of a spatial vehicle. |
|
|
|
|
|
|
