DocumentCode :
2599856
Title :
Monitoring requirements: a case study
Author :
Fickas, Stephen ; Beauchamp, Tiller ; Mamy, Ny Aina Razermera
Author_Institution :
Dept. of Comput. Sci., Oregon Univ., Eugene, OR, USA
fYear :
2002
fDate :
2002
Firstpage :
299
Lastpage :
304
Abstract :
In our study of composite systems, we found a class of requirements that could not be guaranteed to hold. Specifically, these requirements required the environment of the overall system to behave in ways that could not be controlled. The best we could do in such cases was to note the assumptions placed on the environment for the requirements to be met, and then monitor the environment at runtime to detect deviations from our assumptions about its behavior. This paper discusses a short example of carrying out this type of monitoring. It introduces three tools to support requirements monitoring: (1) a tool to capture a requirement formally, (2) a tool to translate that requirement into a runtime specification, and (3) a tool to actually do the runtime monitoring.
Keywords :
formal specification; formal verification; system monitoring; requirements monitoring; runtime monitoring; runtime specification; Automata; Computer aided software engineering; Computer science; Computerized monitoring; Control systems; Degenerative diseases; Injuries; Interconnected systems; Runtime environment; Safety;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on
ISSN :
1938-4300
Print_ISBN :
0-7695-1736-6
Type :
conf
DOI :
10.1109/ASE.2002.1115035
Filename :
1115035
Link To Document :
بازگشت