Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Odu, Oluwafemi"'
Autor:
Odu, Oluwafemi, Beltrán, Daniel Méndez, Gutiérrez, Emiliano Berrones, Belle, Alvine B., Sherafat, Melika
Developing industry-wide standards and making sure producers of mission-critical systems comply with them is crucial to foster consumer acceptance. Producers of such systems can rely on assurance cases to demonstrate to regulatory authorities how the
Externí odkaz:
http://arxiv.org/abs/2410.16675
Autor:
Odu, Oluwafemi, Belle, Alvine B., Wang, Song, Kpodjedo, Segla, Lethbridge, Timothy C., Hemmati, Hadi
An assurance case is a structured set of arguments supported by evidence, demonstrating that a system's non-functional requirements (e.g., safety, security, reliability) have been correctly implemented. Assurance case patterns serve as templates deri
Externí odkaz:
http://arxiv.org/abs/2410.05488
Justifying the correct implementation of the non-functional requirements (e.g., safety, security) of mission-critical systems is crucial to prevent system failure. The later could have severe consequences such as the death of people and financial los
Externí odkaz:
http://arxiv.org/abs/2407.04961
Autor:
Sivakumar, Mithila, Belle, Alvine B., Shahandashti, Kimya Khakzad, Odu, Oluwafemi, Hemmati, Hadi, Kpodjedo, Segla, Wang, Song, Adesina, Opeyemi O.
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 econ
Externí odkaz:
http://arxiv.org/abs/2401.16633
Autor:
Shahandashti, Kimya Khakzad, Belle, Alvine B., Lethbridge, Timothy C., Odu, Oluwafemi, Sivakumar, Mithila
Context: An assurance case is a structured hierarchy of claims aiming at demonstrating that a given mission-critical system supports specific requirements (e.g., safety, security, privacy). The presence of assurance weakeners (i.e., assurance deficit
Externí odkaz:
http://arxiv.org/abs/2311.08328
Autor:
Sivakumar, Mithila, Belle, Alvine Boaye, Shan, Jinjun, Adesina, Opeyemi, Wang, Song, Chechik, Marsha, Fokaefs, Marios, Shahandashti, Kimya Khakzad, Odu, Oluwafemi
Safety assurance is of paramount importance across various domains, including automotive, aerospace, and nuclear energy, where the reliability and acceptability of mission-critical systems are imperative. This assurance is effectively realized throug
Externí odkaz:
http://arxiv.org/abs/2311.07495
Autor:
Shahandashti, Kimya Khakzad, Belle, Alvine B., Lethbridge, Timothy C., Odu, Oluwafemi, Sivakumar, Mithila
Publikováno v:
In Information and Software Technology November 2024 175
