Quantitative Verification of System Safety in Event-B

Lecture Notes in Computer Science - Software Engineering for Resilient Systems ◽

10.1007/978-3-642-24124-6_3 ◽

2011 ◽

pp. 24-39 ◽

Author(s):

Anton Tarasyuk ◽

Elena Troubitsyna ◽

Linas Laibinis

Keyword(s):

System Safety ◽

Quantitative Verification

Download Full-text

Programmable electronic mining systems: best practice recommendations (in nine parts) part 2: 2.1. System safety.

10.26616/nioshpub2001137 ◽

2001 ◽

Keyword(s):

Best Practice ◽

System Safety ◽

Practice Recommendations

Download Full-text

Proposition of Plant Model for the Verification of System Safety

13th IFAC Symposium on Information Control Problems in Manufacturing ◽

10.3182/20090603-3-ru-2001.00066 ◽

2009 ◽

Author(s):

Marangé, Pascale

Keyword(s):

System Safety ◽

Download Full-text

Kite boarding - Release system - Safety requirements and test methods

10.3403/30350789u ◽

2020 ◽

Keyword(s):

Test Methods ◽

System Safety ◽

Safety Requirements ◽

Download Full-text

Earth-moving machinery and mining - Autonomous and semi-autonomous machine system safety

10.3403/30379358 ◽

2019 ◽

Keyword(s):

System Safety ◽

Machine System ◽

Autonomous Machine

Download Full-text

Friendly Skies Over Africa: Improving Air Traffic System Safety in Africa and United States Africa Command's Role in Development

10.21236/ada539848 ◽

2009 ◽

Author(s):

David M. Schroeder

Keyword(s):

United States ◽

Air Traffic ◽

System Safety ◽

Download Full-text

Reliability engineering & system safety Papers published in 1990

Reliability Engineering & System Safety ◽

10.1016/0951-8320(91)90043-7 ◽

1991 ◽

Vol 31 (1) ◽

pp. i-ix

Keyword(s):

Engineering System ◽

Reliability Engineering ◽

Download Full-text

Melding System Safety Methodologies for a Structured and Comprehensive Risk Assessment of Optionally Manned Aircraft

2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) ◽

10.1109/dasc50938.2020.9256552 ◽

2020 ◽

Author(s):

Laurence H. Mutuel

Keyword(s):

Risk Assessment ◽

Download Full-text

Parallel Switch Configuration for High Voltage DC Switching to Secure PV Power System Safety

Transactions on Electrical and Electronic Materials ◽

10.1007/s42341-020-00279-9 ◽

2021 ◽

Author(s):

Gi-Ju Sun ◽

Jung-Hyun Yun ◽

Min-Woo Cheon

Keyword(s):

Power System ◽

High Voltage ◽

Download Full-text

Energy Storage System Safety Operation Plan by Preventing Overcharge During Relaxation Time

Journal of Electrical Engineering and Technology ◽

10.1007/s42835-021-00749-x ◽

2021 ◽

Author(s):

Seok-Cheol Kee ◽

Sang Sun Yun

Keyword(s):

Relaxation Time ◽

Energy Storage ◽

Storage System ◽

Energy Storage System ◽

System Safety ◽

Safety Operation

Download Full-text

Scalable Quantitative Verification For Deep Neural Networks

2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ◽

10.1109/icse-companion52605.2021.00115 ◽

2021 ◽

Author(s):

Teodora Baluta ◽

Zheng Leong Chua ◽

Kuldeep S. Meel ◽

Prateek Saxena

Keyword(s):

Neural Networks ◽

Deep Neural Networks ◽

Quantitative Verification

Download Full-text