A Harmonized Compositional Assurance Approach for Safety-Critical Systems
View/ Open
Identifiers
URI: http://hdl.handle.net/11556/97Bibliography Export
Statistics
View Usage StatisticsFull record
Show full item recordAuthor/s
Ruiz, AlejandraDate
2015-12-16Keywords
Compositional assurance
Certification
modular
Abstract
Safety-critical systems, those whose failure could end up in loss or injuries to people or the environment, are required to go through laborious and expensive certification processes. These systems have also increased their complexity and as it has already been done in other domains, they have applied component-based system developments to deal with complexity. However, components are difficult to assess as certification is done at system level and not at component level. Compositional certification approach proposes to get incremental credit by accepting that a specific component complies with specific standard’s requirements and it is correctly integrated. The objective is to support integration of new components while the previously integrated components do not need to work for re-acceptance.
We propose (1) the use of assurance modelling techniques to provide us the mechanism to understand the common basis of standards shared by different domains such as the avionics, automotive and ...
Type
doctoral thesis