Our Webcon about technical trends with software development for safety critical systems will introduce innovative technologies, products and services.

Speaker: Kelvin Nilsen, Aonix 
Can Java Actually Be Used For Critical Systems?

Standard Java has not been an acceptable technology for use in safety critical systems development for many reasons and until recently, there were no viable alternatives to using languages like Ada or C for these systems.  New advances in Java standards are emerging and products are now available to address this need.  This presentation will explore the use of Java for development and execution in modern safety-critical systems.

Speaker: Michaël Friess, AdaCore
Software Development for Safety-Critical Systems - Taking the DO-178B View

The DO-178B standard is a reference in the development of safety-critical systems even beyond the avionics domain. This webinar focuses on a selected number of DO-178B activities, explains valid approaches to these guidelines, and shows concrete AdaCore answers that can be integrated in the DO-178B development process.

Speaker: Jim McElroy, Esterel Technologies
Model-based Development for Mission and Safety-Critical Applications

Model-based Development with Certified Code Generation and Automatic Documentation Generation has become a mainstream development methodology in mission and safety-critical software development.  In this webinar will quickly cover common demands on software developers in this domain and how model-based development is used throughout the software development lifecycle to solve those problems in real-world applications.

Speaker: Alex Wilson, Wind River 
Towards incremental certification with ARINC 653

This webinar explains how to support multiple applications at different safety levels and how to improve software re-use, modularity and portability.