Ausgabe 4/2022
Modeling, verification and Testing of dependable Critical systems (DETECT)
Inhalt (6 Artikel)
Editorial
Advances in modeling, verification and testing of safety-critical software architectures
Abderrahim Ait Wakrime, Yassine Ouhammou
S.I. : DETECT 2020
Awas: AADL information flow and error propagation analysis framework
Hariharan Thiagarajan, John Hatcliff, Robby
S.I. : DETECT 2020
Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
Open Access
S.I. : DETECT 2020
Formal verification and validation of run-to-completion style state charts using Event-B
K. Morris, C. Snook, T. S. Hoang, G. Hulette, R. Armstrong, M. Butler
S.I. : DETECT 2020
Integrating runtime verification into an automated UAS traffic management system
Abigail Hammer, Matthew Cauwels, Benjamin Hertz, Phillip H. Jones, Kristin Y. Rozier