Filters








6 Hits in 4.5 sec

Making Software Safety Assessable and Transparent [chapter]

Risto Nevalainen, Alejandra Ruiz, Timo Varkoi
2013 Communications in Computer and Information Science  
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]

Sergiy A. Vilkomir, Aditya K. Ghose
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  ...  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

Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose
2006 Innovations in Systems and Software Engineering  
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

Lucas Duboc, Franck Sadmi, Florent Kirchner
2016 Congrès Lambda Mu 20 de Maîtrise des Risques et de Sûreté de Fonctionnement   unpublished
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]

Yang Wang, Universität Stuttgart, Universität Stuttgart
2018
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]

Gregory Zoughbi, Lionel Briand, Yvan Labiche
Lecture Notes in Computer Science  
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