Saved in:
| Main Authors: | , , , , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2408.03244 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929568329236480 |
|---|---|
| author | Glomsrud, Jon Arne Kemna, Stephanie Vasanthan, Chanjei Zhao, Luman McGeorge, Dag Pedersen, Tom Arne Torben, Tobias Rye Rokseth, Børge Nguyen, Dong Trong |
| author_facet | Glomsrud, Jon Arne Kemna, Stephanie Vasanthan, Chanjei Zhao, Luman McGeorge, Dag Pedersen, Tom Arne Torben, Tobias Rye Rokseth, Børge Nguyen, Dong Trong |
| contents | 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 context. Simulation-based testing is a common approach to attempt to verify performance of autonomous systems, but assurance also requires formal evidence. This paper introduces the Assurance of Digital Assets (ADA) framework, a structured method for the assurance of digital assets, i.e. novel, complex, or intelligent systems enabled by digital technologies, using contract-based design. 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-based testing in verifying compliance to contract specifications, to build the necessary evidence for an assurance case. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2408_03244 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles Glomsrud, Jon Arne Kemna, Stephanie Vasanthan, Chanjei Zhao, Luman McGeorge, Dag Pedersen, Tom Arne Torben, Tobias Rye Rokseth, Børge Nguyen, Dong Trong Logic in Computer Science 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 context. Simulation-based testing is a common approach to attempt to verify performance of autonomous systems, but assurance also requires formal evidence. This paper introduces the Assurance of Digital Assets (ADA) framework, a structured method for the assurance of digital assets, i.e. novel, complex, or intelligent systems enabled by digital technologies, using contract-based design. 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-based testing in verifying compliance to contract specifications, to build the necessary evidence for an assurance case. |
| title | Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2408.03244 |