600.436 High-Assurance
Systems
Fall 01/System Security Realization
22
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