Recently Safety Critical Software Systems (SCSSs) become essential part of many critical systems such as Nuclear Power Plants (NPPs), radiation therapy, aircrafts, and many medical devices. Although of the vital role of SCSSs in saving human life, environment, and properties, there is no generic methodology for developing such systems based on standards and guidelines. This methodology sets an ...

A brief overview of the fields that must be considered when designing safety-critical systems is presented. Proper application of these fields allows a holistic (dependability achieved at all system levels) approach for designing safety-critical systems. The fields to be considered are: application domain, embedded systems, protocol and networks, safety and reliability, real-time, and systems e...

We outline how assurance processes work for conventional systems and identify the primary difficulty in applying them to machine learning-enabled systems. then a path forward, identifying where considerable research remains.