A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf
.
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
[chapter]
2004
Lecture Notes in Computer Science
The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the validation of regulatory requirements. This paper proposes a new approach to the regulatory process, including formulating requirements and elaborating methods for their assessment. We address the differences between prescriptive and nonprescriptive regulation, and suggest a middle approach. Also introduced is the notion of a
doi:10.1007/978-3-540-24659-6_38
fatcat:v3yy4ini5rarrkqtltxwabm7k4