Dependable Processes

To convince regulators that software engineering best practices are consistently applied across a company, dependable processes must be both explicitly defined and repeatable. In the context of dependable software engineering, what defines a 'repeatable process'?

Dependable software processes possess distinct structural characteristics that ensure high quality and facilitate regulatory compliance. Which of the following describe key attributes of dependable software processes?

Formal specification involves constructing and analyzing a mathematical model of software during early development stages. What is considered the primary benefit of formal specification in a dependable process?

During software builds, a common issue is including incorrect or unverified components in the executable release. How do change management and configuration management procedures prevent this problem in critical systems?

Traditional agile methodologies emphasize minimal documentation and co-development of requirements alongside system implementation. Which agile practices can be incorporated into a modified dependable software development process without sacrificing safety or certification compliance?

To maximize fault detection, dependable processes utilize redundancy and diversity across verification and validation activities. Which pair of activities illustrates combining different techniques to achieve diversity in defect discovery?

When seeking system certification for safety-critical software, developers must present evidence to regulators. What primary evidence is required to convince a regulator that effective software engineering practices were applied?

Which of the following activities are standard components of a dependable software engineering process?

Organizations developing critical systems invest heavily in dependable software processes. What is the fundamental rationale for this investment?

Software companies developing safety-critical systems often face challenges when adapting standard agile methodologies. Which standard agile practices conflict directly with traditional safety-critical certification requirements?