I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866916110154072064 |
|---|---|
| author | Sivakumar, Mithila Belle, Alvine B. Shahandashti, Kimya Khakzad Odu, Oluwafemi Hemmati, Hadi Kpodjedo, Segla Wang, Song Adesina, Opeyemi O. |
| author_facet | Sivakumar, Mithila Belle, Alvine B. Shahandashti, Kimya Khakzad Odu, Oluwafemi Hemmati, Hadi Kpodjedo, Segla Wang, Song Adesina, Opeyemi O. |
| contents | The execution failure of cyber-physical systems (e.g., autonomous driving systems, unmanned aerial systems, and robotic systems) could result in the loss of life, severe injuries, large-scale environmental damage, property destruction, and major economic loss. Hence, such systems usually require a strong justification that they will effectively support critical requirements (e.g., safety, security, and reliability) for which they were designed. Thus, it is often mandatory to develop compelling assurance cases to support that justification and allow regulatory bodies to certify such systems. In such contexts, detecting assurance deficits, relying on patterns to improve the structure of assurance cases, improving existing assurance case notations, and (semi-)automating the generation of assurance cases are key to develop compelling assurance cases and foster consumer acceptance. We therefore explore challenges related to such assurance enablers and outline some potential directions that could be explored to tackle them. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_16633 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems Sivakumar, Mithila Belle, Alvine B. Shahandashti, Kimya Khakzad Odu, Oluwafemi Hemmati, Hadi Kpodjedo, Segla Wang, Song Adesina, Opeyemi O. Software Engineering Artificial Intelligence The execution failure of cyber-physical systems (e.g., autonomous driving systems, unmanned aerial systems, and robotic systems) could result in the loss of life, severe injuries, large-scale environmental damage, property destruction, and major economic loss. Hence, such systems usually require a strong justification that they will effectively support critical requirements (e.g., safety, security, and reliability) for which they were designed. Thus, it is often mandatory to develop compelling assurance cases to support that justification and allow regulatory bodies to certify such systems. In such contexts, detecting assurance deficits, relying on patterns to improve the structure of assurance cases, improving existing assurance case notations, and (semi-)automating the generation of assurance cases are key to develop compelling assurance cases and foster consumer acceptance. We therefore explore challenges related to such assurance enablers and outline some potential directions that could be explored to tackle them. |
| title | I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems |
| topic | Software Engineering Artificial Intelligence |
| url | https://arxiv.org/abs/2401.16633 |