According to EN 50129, manufacturers of rail vehicles shall justify via a safety case that their
vehicles are adequately safe for their intended applications. MBASafe is a recently proposed …

As the costs of fuel and maintenance increase and regulations on weight and environmental
impact tighten, there is an increasing push to transition onboard aircraft networks to wireless …

An EN 50129-compliant safety case should include process-related evidence in terms of
quality as well as safety management. Potentially innovative engineering methods …

Safety Analysis for Predictable Software Intensive Systems AMASS-Architecture-driven,
Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems …

The verification of safety requirements becomes crucial in critical systems where human
lives depend on their correct functioning. Formal methods have often been advocated as …

Safety-critical systems usually need to comply with a domain-specific safety standard, which
often require a safety case in form of an explained argument supported by evidence to show …

Le besoin d'amélioration imposé aux industriels, ainsi que le besoin de rendre les systèmes
plus performants, plus sûrs, plus ergonomiques, offrant toujours plus de fonctionnalités aux …

The verification of safety requirements becomes crucial in critical systems where human
lives depend on their correct functioning. Formal methods have often been advocated as …

La conception des systèmes de contrôle-commande souffre souvent des problèmes de
communication et d'interprétation des spécifications entre les différents intervenants …

A growing amount of software is developed for safety-critical systems, for instance, in the
automotive, construction equipment, avionic, and rail domains. The ARTEMIS JU nSafeCer …