| Module Interfaces & Behavior |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| ¨ | Purpose |
|||||||||||||
| – | How
module fits into HLD |
|||||||||||||
| ¨ | Function |
|||||||||||||
| – | The
set of operations performed by the module |
|||||||||||||
| ¨ | Interface(s) |
|||||||||||||
| – | Purpose:
Operations to which access is provided |
|||||||||||||
| – | Method-of-use:
Syntax for calling on the module |
|||||||||||||
| operations |
||||||||||||||
| – | Effects:
results of “standard” processing |
|||||||||||||
| – | Exceptions:
results of “non-standard” processing |
|||||||||||||
| – | Error
Messages: for faults and failure |
|||||||||||||
|
|
| 600.436 High- |
|
| Assurance
Systems |
|
| Fall
01/System Security Realization |
| 22 |