• Corpus ID: 17611746

Functional Safety of Software-Based Critical Systems

@inproceedings{Ladkin2011FunctionalSO,
  title={Functional Safety of Software-Based Critical Systems},
  author={Peter B. Ladkin},
  year={2011}
}
The international standard for functional safety of systems involving programmable-electronic components, IEC 61508, has been valid since the late 1990's, and Version 2 has just become valid [IEC10]. The scope of the standard is, generally, everything except avionics and medical equipment. It is based on the approach, novel at that time, of quantifying and reducing risk until it is acceptable, rather than the then-prevailing paradigm of finding out everything that could go dangerously wrong… 
Statistical Analysis of Time of Establishing Steady Phases of Functioning of Complex Hardware-Software Systems
TLDR
It is shown that taking into account the statistical characteristics of the structure's components makes it possible to clarify an indicator of functional safety, such as the time of entering to a steady mode of functioning.

References

SHOWING 1-10 OF 10 REFERENCES
Validation of ultrahigh dependability for software-based systems
TLDR
It appears that engineering practice must take into account the fact that no solution exists, at present, for the validation of ultra-high dependability in systems relying on complex software.
An Overview of IEC 61508 on E / E / PE Functional Safety
The International Electrotechnical Commission is the organisation which develops and sets international standards in electrotechnical engineering areas. In 1997 the IEC published the standard IEC
High-Integrity Software
  • C. Sennett
  • Computer Science
    Software Science and Engineering
  • 1989
TLDR
Foster assurance in high-integrity software,John McDermid modelling real-world issues for dependable software, John Dobson contractual specification of reliable software, C.T.Sennett designing for high integrity - the software fault tolerance approach.
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software
This work affirms that the quantification of life-critical software reliability is infeasible using statistical methods, whether these methods are applied to standard software or fault-tolerant
Reasoning about the Reliability of Diverse Two-Channel Systems in Which One Channel Is "Possibly Perfect"
TLDR
It is shown that under quite plausible assumptions, a conservative bound on system pfd can be constructed from point estimates for just three parameters, and the feasibility of establishing credible estimates for these parameters is discussed.
Discussion on Part 7, Annex D, Working Document DKE 914.0.3_2010-0010, Deutsche Kommission Elektrotechnik Elektronik Informationstechnik im DIN und VDE
  • Discussion on Part 7, Annex D, Working Document DKE 914.0.3_2010-0010, Deutsche Kommission Elektrotechnik Elektronik Informationstechnik im DIN und VDE
  • 2010
as well as the associate commission AK914.0.3 Safe Software, Chairpersons Hanns-Joachim Reder and Andreas Armbrecht, for constructive discussion and considerable help! Literature
  • as well as the associate commission AK914.0.3 Safe Software, Chairpersons Hanns-Joachim Reder and Andreas Armbrecht, for constructive discussion and considerable help! Literature
IEC10] International Electrotechnical Commission, IEC 61508, Functional safety of electrical/electronic/programmable electronic safety-related systems
  • IEC10] International Electrotechnical Commission, IEC 61508, Functional safety of electrical/electronic/programmable electronic safety-related systems
  • 2010
Formal Definition of the Notion of Safety Requirement, post in AbnormalDistribution blog, http://www.abnormaldistribution.org/2010/11/09/formal-definition-of- the-notion-of-safety-requirement
  • Formal Definition of the Notion of Safety Requirement, post in AbnormalDistribution blog, http://www.abnormaldistribution.org/2010/11/09/formal-definition-of- the-notion-of-safety-requirement
  • 2010
The Parable of the Exploding Apples, post in AbnormalDistribution blog, http://www.abnormaldistribution.org/2010/11/09/the-parable-of-the-exploding-apples
  • The Parable of the Exploding Apples, post in AbnormalDistribution blog, http://www.abnormaldistribution.org/2010/11/09/the-parable-of-the-exploding-apples
  • 2010