Strategies for Real-Time System Specification

Index

Actions, 15, 83-88, 93, 97, 178-179

logic, 93, 94, 184

naming, 177, 189

Activation table: see Process activation table

Architecture communication channels:

AIS and, 229-232

redundancy of, in AID, 221-222

Architecture context diagram (ACD), 203-204, 211-213,263-264, 382-384

components in, 211

example, 212, 213, 383

for Automobile Management System, 264, 322

Architecture dictionary (AD), 20, 25, 203-204, 225-226, 233-234, 388-389

of Automobile Management System, 233, 325

of vending machine example, 22, 23, 358

Architecture flow diagram (AFD), 20, 25, 203-204, 213-220, 264-268

decomposition of, 215-217

examples, 215, 216

naming and numbering rules, 384, 386

of Automobile Management System, 218, 220, 266, 277-278, 322

of vending machine example, ...