DLR10mon
Reliable and safety-critical software systems
This is done in three areas: The Institute researches development methods and processes to meet the special requirements of reliable and safety-critical software during software development. The ...
Semiconductor Engineering21h
RISC-V High Performance Multicore and GPU SoC Platform For Safety Critical System
A new technical paper titled “A RISC-V Multicore and GPU SoC Platform with a Qualifiable Software Stack for Safety Critical ...
Design-Reuse15d
Platform Software Verification Approaches For Safety Critical Systems
During normal operations, verification engineers can’t introduce different kinds ... There is no single technique or approach to verify all platform software components for safety critical systems.
SD Times6y
The Linux Foundation launches new project to enable Linux in safety-critical applications
safety-critical systems amenable to safety certification.” Other goals of ELISA include developing reference documentation, educating the open source community on safety engineering best ...
SD Times7mon
Q&A on the Rust Foundation’s new Safety-Critical Rust Consortium
a new group dedicated to advancing the use of Rust in safety-critical software, which is software that can severely impact human life or cause damage if it fails. To talk more about the new ...
Design-Reuse4y
Platform Software Verification Framework Solution for Safety Critical Systems
So, verification of platform software per safety-critical standards (i.e. DO 178B/C[2]) is significant ... So, in most of the case, platform software verification engineers make their own verification ...