System safety

The system safety concept calls for a risk management strategy based on identification, analysis of hazards and application of remedial controls… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1977-2018
05019772018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Safety and security are two key properties of Cyber-Physical Systems (CPS). Safety is aimed at protecting the systems from… (More)
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 3.1
  • figure 4.1
Is this relevant?
Highly Cited
2010
Highly Cited
2010
This paper focuses on the approaches used in safety cases for software based systems. We outline the history of approaches for… (More)
  • figure 1
  • table 1
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Safety management (SM) is a very important element within an effective manufacturing organization. One of the most important… (More)
  • figure 1
  • table 1
  • figure 2
  • table 2
  • figure 3
Is this relevant?
2007
2007
There is an increased use of software in safety-critical systems; a trend that is likely to continue in the future. Although… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2006
2006
FUNCTION Mass/energy flow and balance GENERAL FUNCTION Flow and storage of heat, etc. PHYSICAL FUNCTION States of components what… (More)
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 3.1
  • figure 3.2
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper presents a novel methodology for safety verification of hybrid systems. For proving that all trajectories of a hybrid… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
In Europe, over recent years, the responsibility for ensuring system safety has shifted onto the developers and operators to… (More)
  • figure 1
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Safety critical systems are becoming more complex, both in the type of functionality they provide and in the way they are… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This paper describes proof-carrying code (PCC), a mechanism by which a host system can determine with certainty that it is safe… (More)
Is this relevant?