Sciweavers

RE
2008
Springer

Requirements Capture with RCAT

13 years 3 months ago
Requirements Capture with RCAT
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on software comes the risk that bugs can lead to the loss of a mission. At NASA's Jet Propulsion Laboratory new tools are being developed to address this problem. Logic model checking [9] and runtime verification [5] can increase the confidence in a design or an implementation. A barrier to the application of such property-based checks is the difficulty in mastering the requirements notations that are currently available. For these techniques to be easily usable, a simple but expressive requirement specification method is essential. This paper describes a requirements capture notation and supporting tool that graphically captures formal requirements and converts them into automata that can be used in model checking and for runtime verification.
Margaret H. Smith, Klaus Havelund
Added 28 Dec 2010
Updated 28 Dec 2010
Type Journal
Year 2008
Where RE
Authors Margaret H. Smith, Klaus Havelund
Comments (0)