The development of fully autonomous vehicles is an ambition that took seed in the
automotive industry a few years ago and is now growing in the railways considering their …

Argument-based assurance cases, often represented and organized using graphical
argument structures, are increasingly being used in practice to provide assurance to …

Assurance cases are used to demonstrate confidence in system properties of interest (eg
safety and/or security). A number of system assurance approaches are adopted by …

Traceability is important knowledge for improving the artifacts of software and systems and
processes related to them. Even in a single system, various kinds of artifacts exist. Various …

Traceability management relies on a supporting model, the traceability information model
(TIM), that defines which types of relationships exist between which artifacts and contains …

Technological advances are transforming the automotive industry by increasing the number
of computer-controlled auto components that provide information to remote systems through …

Com a participação cada vez mais intensa do software nos chamados sistemas críticos,
diversos domínios criam normas e processos de certificação com a intenção de garantir as …

The deployment of autonomous trains raises many questions and challenges, particularly
concerning the required safety level, which must be globally at least equivalent to that of the …

Safety cases play a pivotal role in ensuring system reliability and acceptability, providing a
structured argument supported by evidence. However, gaps in safety case literature hinder …

In safety critical systems, Safety Assurance Cases are created in order to provide
argumentation as to why a system is reasonably safe. In the automotive industry, the ISO …