Paper Info
Title
Requirements specifications for hybrid systems
Abstract
The purpose of a computer system requirements speci cation is to describe the computer system's required external behavior. To avoid overspeci cation, the requirements speci cation should describe the system behavior as a mathemat-ical relation between entities in the system's environment. When some of these entities are continuous and others are discrete, the system is referred to as a \hybrid" system. Although computer science provides many techniques for representing and reasoning about the discrete quantities that a ect system behavior, practical approaches for specifying and analyzing systems containing both discrete and continuous quantities are lacking. The purpose of this paper is to present a for-mal framework for representing and reasoning about the requirements of hybrid systems. As background, the paper brie y reviews an abstract model for specify-ing system and software requirements, called the Four Variable Model [12], and a related requirements method, called SCR (Software Cost Reduction) [10, 1]. The paper then introduces a special discrete version of the Four Variable Model, the SCR requirements model [8] and proposes an extension of the SCR model for specifying and reasoning about hybrid systems.
Year
DOI
Venue
1995
10.1007/BFb0020955
Hybrid Systems
Keywords
Field
DocType
hybrid system,requirements specification,computer networks,requirements,hybrid systems,reasoning
Systems engineering,Computer science,Requirements analysis,Requirement,System requirements specification,Software requirements specification,System requirements,Functional specification,Non-functional requirement,Non-functional testing
Conference
ISBN
Citations 
PageRank 
3-540-61155-X
7
2.18
References 
Authors
7
1
Name
Order
Citations
PageRank
Constance Heitmeyer158339.53