3 papers
cs.LO2025
A modular risk concept for complex systems
Dag McGeorge, Jon Arne Glomsrud
This paper motivates the views that for complex systems, risk should be controlled by enforcing constraints in a modular way at different system levels, that the constraints can be…
cs.LO2024
Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles
Jon Arne Glomsrud, Stephanie Kemna, Chanjei Vasanthan +6
With the introduction of autonomous technology into our society, e.g. autonomous shipping, it is important to assess and assure the safety of autonomous systems in a real-world con…
cs.LO2024
Modular Assurance of Complex Systems Using Contract-Based Design Principles
Dag McGeorge, Jon Arne Glomsrud
A growing number of safety-critical industries agree that building confidence in complex systems can be achieved through evidence and structured argumentation framed in assurance c…