Search

The article focuses on the need of statistical model checking (SMC) of safety-critical softwares to validate software reliability at an early stage. It mentions that the softwares should be checked to prevent the propagation of reliability allocation errors and design errors at later stages. It further discusses a case study related to SMC of fault-tolerant fuel control system (FFCS) a safety-critical component of an automobile's engine controller.

The article focuses on the role of model-driven approaches in the development of high-quality and cost effective safety-critical software for air traffic control (ATC). Topics discussed include interoperability of the model driven architecture (MDA) development paradigm, integration of MDA into the verification and validation (V-model) and MDA and Model-Driven testing in a V-Model.