Well, we're using these SCADA control systems for our dams and our nuclear reactors and huge mission-critical systems.

In mission-critical systems where flawless performance is absolutely necessary, formal methods can be used to ensure the correct operation of a system.

The service ensures a high level of reliability that is sufficient for deployment in mission-critical systems.

"You were lucky with that airlock, but a lot of the mission-critical systems are opto-electronic."

The Software Systems group is concerned with the design, modelling, simulation and construction of mission-critical systems that challenge the states-of-the-art in both software engineering and performance engineering.

Accountable for a customer's internet-based application infrastructure, Totality's unique solution was an alternative to costly IT outsourcing or internally managing mission-critical systems.

It is a pragmatic infrastructure designed and built so that existing mission-critical systems can evolve rather than be replaced.

Event-driven programming is chosen for these systems primarily because of simplicity and robustness, which are essential attributes in life-critical and mission-critical systems.

Thus, these methods are unsuitable for safety- or mission-critical systems (such as a nuclear power plant, or a robot operating in space).

"This is a mission-critical system for us, and I wanted to be convinced," Mr. Bailar said.