Formal methods

Safety-critical system

A safety-critical system (SCS) or life-critical system is a system whose failure or malfunction may result in one (or more) of the following outcomes: * death or serious injury to people * loss or severe damage to equipment/property * environmental harm A safety-related system (or sometimes safety-involved system) comprises everything (hardware, software, and human aspects) needed to perform one or more safety functions, in which failure would cause a significant increase in the safety risk for the people or environment involved. Safety-related systems are those that do not have full responsibility for controlling hazards such as loss of life, severe injury or severe environmental damage. The malfunction of a safety-involved system would only be that hazardous in conjunction with the failure of other systems or human error. Some safety organizations provide guidance on safety-related systems, for example the Health and Safety Executive (HSE) in the United Kingdom. Risks of this sort are usually managed with the methods and tools of safety engineering. A safety-critical system is designed to lose less than one life per billion (109) hours of operation. Typical design methods include probabilistic risk assessment, a method that combines failure mode and effects analysis (FMEA) with fault tree analysis. Safety-critical systems are increasingly computer-based. (Wikipedia).

Safety-critical system
Video thumbnail

Safety Definitions

This video explains what a hazard, risk and near miss are and what you should do if an incident occurs at UNSW.

From playlist UNSW Safety

Video thumbnail

Aaron Ames: "Safety-Critical Control of Autonomous Systems"

Mathematical Challenges and Opportunities for Autonomous Vehicles 2020 Workshop II: Safe Operation of Connected and Autonomous Vehicle Fleets "Safety-Critical Control of Autonomous Systems" Aaron Ames - California Institute of Technology Abstract: Guaranteeing safe behavior is a critical

From playlist Mathematical Challenges and Opportunities for Autonomous Vehicles 2020

Video thumbnail

Internet Safety

If you are interested in learning more about this topic, please visit http://www.gcflearnfree.org/ to view the entire tutorial on our website. It includes instructional text, informational graphics, examples, and even interactives for you to practice and apply what you've learned.

From playlist The Internet

Video thumbnail

How trains avoid collisions

Trains are an excellent way of transportation: They are comfortable, affordable, and, mostly, very safe. However, like every other transportation system, accidents can occur. Train collisions are one type of these unfortunate accidents and can happen due to human response times and error

From playlist All About Transportation

Video thumbnail

What Are Reactive Systems?

Reactive Systems use a high-performance software architecture. They are resilient under stress, and their reactive design allows them to scale elastically to meet demand. The reactive design approach allows the creation of more complex, more flexible systems and forms the basis for some of

From playlist Software Engineering

Video thumbnail

Network Security, Part 1 : Basic Encryption Techniques

Fundamental concepts of network security are discussed. It provides a good overview of secret Key and public key Encryption. Important data encryption standards are presented.

From playlist Network Security

Video thumbnail

Transport Layer Security: Part 1

Fundamental concepts of TLS are discussed. SSL is analyzed. HTTPS & SSH are presented.

From playlist Network Security

Video thumbnail

Embedded Recipes 2022 - Can Linux based systems be safe as safety as possible ?

During the years there are efforts to make Linux based systems be used in safety environments. But multi purpose kernels, like Linux, create a barrier that still is not transposed. From ASIL to ISO certifications, and how regulations rules this are one of the first barriers on the process

From playlist Embedded Recipes 2022

Video thumbnail

Velocity NY 2013: Richard Cook, "Resilience In Complex Adaptive Systems"

http://velocityconf.com/velocityny2013/public/schedule/detail/31784 Resilience In Complex Adaptive Systems: Operating At The Edge Of Failure Systems seem to run at the very edge of failure much of the time. The combination of high workload, limited resources, pressure for additional feat

From playlist Velocity Conference 2013 (New York, NY)

Video thumbnail

Critical quantum spin liquid: a field theory perspective (Tutorial) by Yin-Chen He

PROGRAM FRUSTRATED METALS AND INSULATORS (HYBRID) ORGANIZERS: Federico Becca (University of Trieste, Italy), Subhro Bhattacharjee (ICTS-TIFR, India), Yasir Iqbal (IIT Madras, India), Bella Lake (Helmholtz-Zentrum Berlin für Materialien und Energie, Germany), Yogesh Singh (IISER Mohali, In

From playlist FRUSTRATED METALS AND INSULATORS (HYBRID, 2022)

Video thumbnail

Melanie Zeilinger: "Learning-based Model Predictive Control - Towards Safe Learning in Control"

Intersections between Control, Learning and Optimization 2020 "Learning-based Model Predictive Control - Towards Safe Learning in Control" Melanie Zeilinger - ETH Zurich & University of Freiburg Abstract: The question of safety when integrating learning techniques in control systems has

From playlist Intersections between Control, Learning and Optimization 2020

Video thumbnail

CERIAS Security: Mace: Systems and Language for Building Networked Services 4/5

Clip 4/5 Speaker: Charles Killian · Purdue University Building distributed systems is particularly difficult because of the asynchronous, heterogeneous, and failure-prone environment where these systems must run. This asynchrony makes verifying the correctness of systems implementations

From playlist The CERIAS Security Seminars 2009

Video thumbnail

Stanford Webinar - Leadership Competencies for Air Transport Professionals

Stanford-IATA Aviation Management certificate program webinar covering five critical competencies for working in the aviation industry. Info: http://aviation.stanford.edu/ In today's fast-paced, global environment, all leaders of teams in air transport ranging from frontlines, new and sen

From playlist Leadership & Management

Video thumbnail

Steven Shorrock: "Life After Human Error" - Velocity Europe 2014

A keynote address from Velocity Europe 2014 in Barcelona. Watch more from Velocity Europe 2014: http://goo.gl/Hl7fvj Visit the Velocity website to learn more: http://velocityconf.com/velocityeu2014/ Subscribe for more from the conference! http://goo.gl/szEauh When things go wrong in orga

From playlist Velocity Europe 2014

Video thumbnail

RustConf 2017 - Closing Keynote: Safe Systems Software and the Future of Computing by Joe Duffy

Closing Keynote: Safe Systems Software and the Future of Computing by Joe Duffy Someday in the future, all important systems software on the planet will be written in a safe programming language. The questions are, when, and how do we get there? In this talk, I will describe my experienc

From playlist RustConf 2017

Video thumbnail

RustConf 2017 - Closing Keynote: Safe Systems Software and the Future of Computing by Joe Duffy

Closing Keynote: Safe Systems Software and the Future of Computing by Joe Duffy Someday in the future, all important systems software on the planet will be written in a safe programming language. The questions are, when, and how do we get there? In this talk, I will describe my experienc

From playlist RustConf 2017

Video thumbnail

The Step Response | Control Systems in Practice

Check out the other videos in this series: https://www.youtube.com/playlist?list=PLn8PRpmsu08pFBqgd_6Bi7msgkWFKL33b This video covers a few interesting things about the step response. We’ll look at what a step response is and some of the ways it can be used to specify design requirements f

From playlist Control Systems in Practice

Related pages

Formal methods | Failure mode and effects analysis | Mathematical proof | Radio navigation | Nuclear reactor