Assurance Cost Reduction through Architecture Design

Assurance Cost Reduction through Architecture Design

연구 분야: Verification

학회: FACCT '25: Proceedings of the 1st Workshop on Formal Arguments for Cps CerTification

An approach is proposed for designing a system to reduce the cost of building an assurance case. The key idea is to design an architecture to separate and minimize components that are responsible for establishing a critical system requirement. The approach is illustrated using an example involving a radiation therapy system, along with a discussion of possible research directions to enable a design methodology for assurance cost reduction.