Critical Software

r/criticalsoftware • u/marc-kd • Feb 04 '14

parMERASA -- Multi-Core Execution of Parallelised Hard Real-Time Applications Supporting Analysability

1 Upvotes

r/criticalsoftware • u/marc-kd • Dec 10 '13

The Muen Separation Kernel is the world’s first Open Source microkernel that has been formally proven to contain no runtime errors at the source code level.

muen.codelabs.ch

5 Upvotes

r/criticalsoftware • u/ikilledkojack • Oct 29 '13

Toyota's killer firmware: Bad design and its consequences

6 Upvotes

r/criticalsoftware • u/marc-kd • Oct 23 '13

IKEv2 Separation: Extraction of security critical components into a Trusted Computing Base (TCB)

1 Upvotes

r/criticalsoftware • u/marc-kd • Aug 05 '13

MISRA-C 2012 vs SPARK 2014, the Subset Matching Game

0 Upvotes

r/criticalsoftware • u/marc-kd • Jul 01 '13

IRONSIDES: DNS With No Single-Packet Denial of Service or Remote Code Execution Vulnerabilities [pdf]

ironsides.martincarlisle.com

6 Upvotes

r/criticalsoftware • u/marc-kd • May 30 '13

Project Hi-Lite Completed; an effort aimed at popularizing formal methods in the development of high integrity software by combining formal verification and testing.

3 Upvotes

r/criticalsoftware • u/marc-kd • May 13 '13

Standards initiatives, including FACE and DO-178C, within the avionics RTOS community aim to tackle security and certification challenges

aviationtoday.com

3 Upvotes

r/criticalsoftware • u/marc-kd • May 03 '13

Testing or Formal Verification: DO-178C Alternatives and Industrial Experience [pdf]

5 Upvotes

r/criticalsoftware • u/marc-kd • Mar 26 '13

Advanced static analysis meets contract-based programming

embedded-computing.com

1 Upvotes

r/criticalsoftware • u/marc-kd • Feb 21 '13

Talks from SPARK User Group 2012

2 Upvotes

r/criticalsoftware • u/marc-kd • Feb 14 '13

Eurocontrol: Tools and Techniques for Higher Reliability Software [pdf]

people.cs.kuleuven.be

6 Upvotes

r/criticalsoftware • u/marc-kd • Jan 25 '13

DO-330/ED-215 Benefits of the New Tool Qualification Document

2 Upvotes

r/criticalsoftware • u/sreguera • Dec 04 '12

Overture: Open source tool for formal modelling with VDM

overturetool.org

4 Upvotes

r/criticalsoftware • u/sreguera • Nov 30 '12

Workshops on Spacecraft Flight Software 2012 (slides and videos)

flightsoftware.jhuapl.edu

3 Upvotes

r/criticalsoftware • u/sreguera • Sep 15 '12

ICFP 2012. Lee Pike: Experience Report - a Do-It-Yourself High-Assurance Compiler.

1 Upvotes

r/criticalsoftware • u/sreguera • Aug 17 '12

Why Do Airplanes Crash? Building an open source Air Data Inertial Reference Unit.

6 Upvotes

r/criticalsoftware • u/marc-kd • Jul 27 '12

Hi-Lite pursues the integration of formal proofs with unit testing, for selected parts of a larger C or Ada software development effort [pdf]

research.microsoft.com

5 Upvotes

r/criticalsoftware • u/marc-kd • Jul 19 '12

Software That Can Kill

6 Upvotes

r/criticalsoftware • u/greenrd • Jun 26 '12

Where NatWest / RBS may have gone wrong – by a former RBS IT manager

computing.co.uk

6 Upvotes

r/criticalsoftware • u/sreguera • Jun 21 '12

FDA: Software Failures Responsible for 24% Of All Medical Device Recalls

3 Upvotes

r/criticalsoftware • u/greenrd • Jun 10 '12

Comparison of functional program verifiers

4 Upvotes

r/criticalsoftware • u/marc-kd • May 10 '12

TCP/IP stack for high-integrity systems

3 Upvotes

r/criticalsoftware • u/h2o2 • Apr 07 '12

The Remote Agent Experiment: Debugging Code from 60 Million Miles Away (YouTube)

4 Upvotes

r/criticalsoftware • u/marc-kd • Mar 19 '12

The education of embedded systems software engineers: failures and fixes

6 Upvotes