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
systems. Developing such applications requires discipline,
engineering precision, advanced technologies and a high-level of competence in each of
the areas discussed below.