Military and aerospace systems increasingly depend on rechargeable batteries for a wide variety of electronics and propulsion. Lithium-ion (Li-Ion) batteries are the most-used electrical storage ...

AI, famously, is a black-box solution. While neural networks are designed for specific applications, the training process produces millions or billions of parameters without us having much ...

Production-grade Rust is here and it looks to meet the requirement of safety-critical industries. While Rust’s memory-safety guarantees are compelling, certification demands far more than safe code.

Why testing alone cannot assure correctness in complex safety-critical software, and how edge cases and undefined behavior are able to evade validation efforts. How formal verification is used to ...

The demand for reliable power systems in critical facilities continues to increase, putting pressure on engineers to design reliable systems within project budgets that are often decreasing. This ...

When it comes to adopting artificial intelligence in high-stakes settings like hospitals and airplanes, good AI performance and brief worker training on the technology is not sufficient to ensure ...

Decades of research and practice in the safety 1 engineering of physical systems has produced a body of knowledge that includes rigorous approaches, tools, and artifacts for modeling analyzing and ...

A recent experience with managing the tenth anniversary version of a technical conference (www.iccve2022.org) triggered a process of reflection on the last decade of artificial intelligence. The first ...

As safety-critical systems become increasingly complex, the choice of processor architecture plays an important role in ensuring functional safety and system reliability. Consider an automotive ...

A new technical paper titled “A RISC-V Multicore and GPU SoC Platform with a Qualifiable Software Stack for Safety Critical Systems” published by researchers at Universitat Politecnica de Catalunya ...

A door plug blew off Alaska Airlines Boeing 737 Max 9 mid-flight in January 2024. Now the National Transportation Safety Board says it can happen again. When it comes to safety in the workplace, there ...

In recent years, the rapid advancement of machine learning (ML) has led to their early integration into safety-critical systems. As noted in Chapter 2, these technologies offer significant potential ...