Embedded systems for safety-critical applications often integrate multiple “functions” and
must generally be fault-tolerant. These requirements lead to a need for mechanisms and …

This paper gives the main definitions relating to dependability, a generic concept including a
special case of such attributes as reliability, availability, safety, integrity, maintainability, etc …

This advanced textbook presents an almost complete overview of techniques for hardware
verification. It covers all approaches used in existing tools, such as binary and word-level …

Digital twins in precision medicine provide tailored health recommendations by simulating
patient-specific trajectories and interventions. We examine the critical role of Verification …

Automated aircraft control has traditionally been divided into distinct" functions" that are
implemented separately (eg, autopilot, autothrottle, flight management); each function has its …

The paper describes three case studies in the lightweight application of formal methods to
requirements modeling for spacecraft fault protection systems. The case studies differ from …

Software Engineering for Safety: A Roadmap Robyn Lutz Page 1 Software Engineering for
Safety: A Roadmap Robyn Lutz Key Research Pointers Provide readier access to formal …

Denial-of-Service (DoS) and Distributed Denial-of Service (DDoS) attacks account for one
third of all service downtime incidents. Current DoS/DDoS attacks are not only limited to …

Any scientifically based activity requires a level of responsibility and it is important those
involved understand the associated moral questions. Science has developed technology …

Testing is an important part of any software development project, and can typically surpass
more than half of the development cost. For safety-critical computer based systems, testing is …