An Overview of DO-178C/ED-12C
Ada Connection 2011 - Dewi Daniels, Verocel A series of talks from the Ada Connection 2011 conference in Endinburgh, Scotland. The Ada Connection, which combines the 16th International Conference on Reliable Software Technologies -- Ada-Europe 2011 -- with Ada Conference UK 2011, sees a union of two Ada events that have both been very successful in their own right. The Ada-Europe series of conferences has become established as an international forum for providers, practitioners and researchers in all aspects of reliable software technologies.

▶︎
DO 178C Gaps -Understanding & Closing - Technical Training Webinar

▶︎
The Tragedy of systemd

▶︎
Tech Talk: DO-254 (2017)

▶︎
Ada Language Tips

▶︎
DO-178C & ED-12C for beginners: The practicalities of compliance

▶︎
Avionics Hardware Development & Test Applying DO 254 and DO 160 Best Practices

▶︎
Achieving and Proving DO 178C Compliance

▶︎
Developing Embedded Systems in Ada

▶︎
Webinar: Managing Remote & Distributed Test Teams for DO-178 Software Verification

▶︎
DO-178C Software Workflow with Qualified Code Generation

▶︎
Systems Engineering Transformation

▶︎
Optimizing PSACs & PHACs per DO 178C & DO 254 from AFuzion Inc.

▶︎
Turing Award Winner: Disagreeing with Google, Postgres, Future Problems | Mike Stonebraker

▶︎
How To Think SO CLEARLY People Assume You're A Genius

▶︎
A Development Environment for DO-178C Level D Certified Linux - Chuck Wolber, The Boeing Company

▶︎
Model Based Design for DO 178C Software Development with MathWorks Tools

▶︎
Google & AWS Veteran: What Top Tier Software Architects Do Differently

▶︎
Webinar | Introduction to Formal Verification with SPARK

▶︎
Mannarino: DO-178C/ED-12C –Software Considerations in Airborne Systems and Equipment Certification

▶︎
