High-integrity software engineering services

High-integrity 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 aircraft avionics, medical devices, E-banking, and military systems. Developing such applications requires discipline, engineering precision and a high-level of competence in each of the areas discussed below.

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.

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.

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.

Spotlight

Video Tutorials
- Ada regression testing - Java-Ada interfacing
- Java-Ada comparison

Systems & Software Technology Conference 2012
23 - 26 April, Salt Lake City, Utah

Ada Europe 2012
11 - 15 June, Stockholm, Sweden

Recommended Companies

AdaCore
Wind River
Altran Praxis
Verocel