Loading...
Please wait, while we are loading the content...
Similar Documents
Establishing Formal Regulatory Requirements for Safety-Critical Software Certification
| Content Provider | Semantic Scholar |
|---|---|
| Author | Vilkomir, Sergiy A. Bowen, Jonathan P. |
| Copyright Year | 2001 |
| Abstract | Formal methods are usually used for computer system specification, production and verification. In this paper, a new direction for the use of formal methods is proposed, namely formalization of the regulatory requirements for software of safety-critical control systems. Formal regulatory requirements, as opposed to formal specifications for a concrete system, have a generic nature, are applicable for a wide range of safety-critical control systems and are the basis for certification or licensing process. The use of formal regulatory requirements could help to eliminate ambiguity or misunderstanding of informal definitions, to allow rigorous assessment of satisfaction with respect to requirements and finally to increase the safety level of a system. As a formal method for describing the regulatory requirements, the Z notation is proposed. To demonstrate the approach, requirements for protection against common mode software failures and requirements for protection against unauthorized access are considered. Z schemas for these requirements are presented. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cs.utk.edu/sqrl/vilkomir/Papers/aquis2002.pdf |
| Alternate Webpage(s) | http://core.ecu.edu/vilkomirs/Papers/aquis2002.pdf |
| Alternate Webpage(s) | http://ftp.museophile.sbu.ac.uk/pub/jpb/aquis2002.pdf |
| Alternate Webpage(s) | http://www.csis.ul.ie/staff/SergiyVilkomir/Papers/aquis2002.pdf |
| Alternate Webpage(s) | http://www.sbu.ac.uk/~vilkoms/aquis2002.pdf |
| Alternate Webpage(s) | http://ftp.museophile.lsbu.ac.uk/pub/jpb/aquis2002.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
