Integrated modular avionics systems present new opportunities and benefits for develo**
advanced aircraft avionics, as well as a series of challenges related to hazard analysis and …

Justifying the correct implementation of the non-functional requirements (eg, safety, security)
of mission-critical systems is crucial to prevent system failure. The later could have severe …

The NFR (Non Functional Requirements) framework was used to quantitatively evaluate
software architectures. Assurance cases using GSN (Goal Structuring Notation) have not …

As more and more complex software is deployed in safety-critical embedded systems, the
challenge of assessing the safety of those systems according to the relevant standards is …

This paper describes a method to create assurance cases for the Open Dependability
through Assuredness (O-DA) standard of The Open Group (TOG) based on ArchiMate …

Over the last 20 years, embedded systems have evolved from closed, rather static single-
application systems towards open, flexible, multi-application systems of systems. While this …

As assurance cases have grown in popularity for safety-critical systems, so too has their
complexity and thus the need for methods to systematically build them. Assurance cases can …

We show how a model of the human visual system (HVS) can be used for encoder based
perceptual optimization of JPEG. The HVS model takes into account the effects of light …

Lessons learned from accident experiences in safety-critical infrastructures are valuable not
only for the organizations operating the infrastructures but also for third-party organizations …

In safety-critical domains, such as the automotive, railway, and avionics domains, failure or
malfunction of a safety-critical system may result in death or serious injuries to people, as …