A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Making Software Safety Assessable and Transparent
[chapter]
2013
Communications in Computer and Information Science
Preserved Fulltext
In safety-critical systems, software is an important component providing functionality. Often it is also the most difficult component to assess. ...
Balanced use of process assessment and product evaluation methods is needed, because lack of transparency in software must be compensated with a more formal development process. ...
Nuclear standards IEC 61513 and further IEC 60880 are based in IEC 61508 series and may include all SIL levels in their requirements. ...
doi:10.1007/978-3-642-39179-8_1
fatcat:rxh4vrohsndkrblogixq5kidj4
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
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.
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 ...
We address the differences between prescriptive and nonprescriptive regulation, and suggest a middle approach. ...
Problems during elaboration of software standards have been studied for groups of standards [4] [5] [6] 9, 20] as well as for separate ones, for example IEC 60880 [14] in [24] , IEC 61508 [13] in ...
doi:10.1007/978-3-540-24659-6_38
fatcat:v3yy4ini5rarrkqtltxwabm7k4
Formalization and assessment of regulatory requirements for safety-critical software
2006
Innovations in Systems and Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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 ...
Regulatory requirements, as opposed to requirements for a particular system, have a generic nature, are applicable to a wide range of systems and are the basis for certification or licensing process. ...
Problems during elaboration of software standards have been studied for groups of standards [13, 14, 17, 39, 46] as well as for separate ones, for example IEC 60880 [28] in [53] , IEC 61508 [29] ...
doi:10.1007/s11334-006-0006-8
fatcat:cggx3pcwsfhjbiffu6izgtwabm
Defining a pragmatic methodology for software assessment based on a "white-box" approach
2016
Congrès Lambda Mu 20 de Maîtrise des Risques et de Sûreté de Fonctionnement
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
in the form of a set of guidelines for software development and assessment. ...
The present paper sums up the work and results of an on-going partnership program between BUREAU VERITAS & the CEA LIST, started in 2015, whose main objective is to propose a generic and pragmatic methodology ...
These practices have been successfully used in the context of various domain-specific certification standards (DO-178B/C, CENELEC EN 50128, IEC 60880, IEC 61508, ISO 62304, ISO 26262, etc.) . ...
doi:10.4267/2042/61831
fatcat:v2vxad5zuzhuhfwb2v5fhe5dqy
System-theoretic safety analysis in agile software development
[article]
2018
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Most of practitioners in SCS prefer using traditional development processes together with a standardised safety assurance process by satisfying the norms, such as IEC 61508. ...
Existing research is striving for a consistency or a hybrid model between ASD and norms. However, the traditional safety assurance cannot work well without a stable architecture. ...
Safe Scrum is based on the original IEC 61508-3:2010 and expanded to IEC 60880 [SKM13] , EN50128 [MSL15] and DO-178 B/C [HWS17] . ...
doi:10.18419/opus-10118
fatcat:b2tp5bx5gjfn3kzhtg3sgtcpmy
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software
[chapter]
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Many safety-related and certification standards exist for developing safety-critical systems. ...
Safety assessments are performed in practice, and system certification according to a standard requires the submitting information about the software. ...
Their work was driven by the IEC 61508 standard in [24] . ...
doi:10.1007/978-3-540-75209-7_39
fatcat:crisharglnfszpznxxv66ja354