Mohamed Zaher·Jul 5What Safety-Critical Engineering Teaches About Executive LeadershipSafety-critical engineering changes how you look at decisions. When you work on systems where a failure can affect people, vehicles…
InCommit to Code QualitybyRicardo M Camacho·May 6Best Practices for Using Static Analysis ToolsAs any coder and quality assurance tester will tell you, static analysis is a critical part of workflow. In the same way that vaccines…
Sam Beskur·Mar 27Memory Allocations and the Hairy Underbelly of Systems Programming.A Practical Look at Memory Management in Rust and C++
InImandra Inc.byJamie Smith·Nov 28, 2023Automated Reasoning for SysML v2 Part 3Using Imandra Region Decomposition to Gain Insights of SysML v2 Models.A response icon1A response icon1
InImandra Inc.byJamie Smith·Nov 1, 2023Automated Reasoning for SysML v2 Part 2Formally Verifying SysML v2 Constraints with Imandra
Solwit S.A.·Apr 1, 2022A developer’s point of view on safety-critical software projectsWhat does programming in a safety-critical project teach?
InOneZerobyMarianne Bellotti·Mar 29, 2021Fix A.I. in the Private Sector by Fixing It in the Military FirstSilicon Valley’s ethics via opt-out isn’t going to work anymoreA response icon2A response icon2
Solwit S.A.·Dec 17, 2020What we have learned from building safety-critical systems?During the last webinar with SoDA Piotr and Maciej, our safety-critical experts, talked on what we have learned from creating the software…
InaisafetybyPaula Borges·Nov 8, 2020Machine Learning for safety-critical airborne systemsHow to be prepared for the rise of Machine Learning in embedded aviation safety-critical systemsA response icon1A response icon1
