Highly-Reliable Software

Highly-reliable software is responsible for applications whose failure would result in catastrophic losses in terms of human life, economic damage, or breach of security. In such applications, reliability is not just desirable, it is mandatory. Examples include avionics, railway control, medical devices, e-banking, and air defence systems.  Developing such applications requires discipline, engineering precision, advanced technologies and a high-level of competence in each of the areas discussed below. 

Process

Process

A software engineering process provides the conceptual framework for planning, executing and coordinating the activities of a software intensive project. It allows a project to move forward in small but controlled and manageable increments.

read more
Coding

Coding

Code is a name to describe the implementation of a design model in a programming language. The choice of language, runtime environment and tool chain is determined by requirements such as reliability, safety, expressiveness, and certifiability.

read more
Modeling

Modeling

Large software projects deemed a success usually have one thing in common: the consistent application of design models to reason about the system and guide the construction. The most important model at the heart of a system is the domain model.

read more

Spotlight


Video Tutorials
Ada Regression Testing
Java-Ada Interfacing
Java-Ada Comparison
GNAT Project Manager

 

Ada-Europe 2014: Reliable Software Technologies
23 - 27 June 2014, Paris, Switzerland


Ada 2012

Ada 2012: say what you mean, mean what you say

Ada-2012: separating the engineers from the poets

Using GNAT to maintain a large codebase