Aug 6, 2024 · Results are shown for an autonomous ferry assurance case, focusing on collision avoidance during the ferry's transit. Further, we discuss the ...
Modular assurance of an Autonomous Ferry using Contract-Based Design ...
iopscience.iop.org › article
Results are shown for an autonomous ferry assurance case, focusing on collision avoidance during the ferry's transit. Further, we discuss the role of simulation ...
Simulation-based testing is a common approach to attempt to verify performance of autonomous systems, but assurance also requires formal evidence. This paper ...
Oct 24, 2024 · Results are shown for an autonomous ferry assurance case, focusing on collision avoidance during the ferry's transit. Further, we discuss the ...
With the introduction of autonomous technology into our society, e.g. autonomous shipping, it is important to assess and assure the safety of autonomous ...
Oct 23, 2024 · Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles. Jon Arne Glomsrud ...
Dr Stephanie Kemna | Principal Research Scientist, AI - DNV
www.dnv.com › digital-trust › our-experts
“Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles”, In MTEC/ICMASS 2024, pp. 1-12. Bellou ...
Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles · Engineering, Computer Science. ArXiv · 2024.
Article "Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles" Detailed information of the ...
Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles. JA Glomsrud, S Kemna, C Vasanthan, L Zhao ...