Structuring functional requirements of control systems to facilitate refinement-based formalisation
Good requirements structure can greatly facilitate the construction of formal models of systems. This paper describes an approach to requirements structuring for control systems that aims to facilitate refinement-based formalisation. In addition to the well-known monitored and controlled phenomena u...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2011-09.
|
| Subjects: | |
| Online Access: | Get fulltext |