-
architectural design and, 158
-
assurance processes, 339–42
-
costs and, 343, 348–49
-
dependability and, 274, 285
-
engineering processes, 338–47
-
ethics and, 16–17
-
formal verification, 342–44
-
functional requirements, 330
-
hazard-driven requirements, 331, 354
-
hazards and, 328, 329, 331–337
-
model checking, 344–45, 354
-
regulation and compliance for, 280–81
-
regulators, 280–81, 347, 348
-
reliability and, 326–27
-
requirements, 330–38, 348
-
risks and, 329, 329–30, 333–34, 337–38
-
software certification, 341–42
-
static program analysis, 345–47, 354
-
terminology, 329