Purpose This study is a systematic literature review of the application of artificial intelligence
(AI) in safety-critical systems. The authors aim to present the current application status …

Product certification adds to its cost. Nowadays there is a stiff competition between
certification bodies, and it seems necessary to view certification not only as cost-adding, but …

Writing requirements is no easy task. Common problems include ambiguity in statements,
specifications at the wrong level of abstraction, statements with inconsistent references to …

Writing clear and unambiguous requirements that are conflict-free and complete is no easy
task. Incorrect requirements lead to errors being introduced early in the design process. The …

Level crossing (LC) safety is a crucial issue for railway operators and infrastructure
managers. Accidents at LCs give rise to serious material and human damage, while …

The use of formal methods to prove the correctness of compositional embedded systems is
increasingly important. However, the required models and algorithms can induce an …

The programming language landscape in software development for aerospace and other
safety-critical domains is comprised of low-level languages such as C which require a heavy …

There are persistent factors associated with ineffective systems engineering practice
inherent in interdisciplinary teams. In this context, technical silos seem to be prevalent. The …

Complex legal agreements enable many real-world applications, from data sharing systems
to financial transactions. However, legal expenses scale with complexity because of the …

A universal number (Unum) is a number representation format that can reduce the memory
contention issues in multicore processors and parallel computing systems by optimizing the …