Advances in modeling, verification and testing of safety-critical software architectures

Advances in modeling, verification and testing of safety-critical software architectures

---

연구 분야: Verification

---

---

학회: Innovations in Systems and Software Engineering

---

초록

In this special issue of moDeling, vErification and Testing of dEpendable CriTical systems (DETECT) entitled Advances in modeling, verification and testing of safety-critical software architectures, we focus on two interdependent aspects like: (i) model-based system engineering paradigm and (ii) software architecture challenges. The special issue includes extended versions, containing at least 40% new material, of selected accepted papers from the DETECT Workshop in conjunction with 14th European Conference on Software Architecture. In total, we received seven submissions from five different countries. After two rounds of reviews, we accepted five articles which are extended submissions from DETECT 2020. During the review process, all submissions have been carefully reviewed by at least three reviewers.

---