Nonfunctional Requirements
Contracts usually state what is done under which provisions
What about time taken, resources needed, etc?
- Use of shared resources (e.g. heap)
- In concurrent RT environment, priorities and their interactions
Nonfunctional requirements can break components as well as functional ones
C++ Standard Template Library (Usser & Saini, 96), execution time is bounded
- Not in seconds, but as a complexity of legal implementation