Awas: AADL Information Flow and Error Propagation Analysis Framework

Hariharan Thiagarajan, John Hatcliff, Robby. Awas: AADL Information Flow and Error Propagation Analysis Framework. In Henry Muccini, Paris Avgeriou, Barbora Buhnova, Javier Cámara, Mauro Caporuscio, Mirco Franzago, Anne Koziolek, Patrizia Scandurra, Catia Trubiani, Danny Weyns, Uwe Zdun, editors, Software Architecture - 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings. Volume 1269 of Communications in Computer and Information Science, pages 294-310, Springer, 2020. [doi]

Abstract

Abstract is missing.