Runtime modeling and analysis of IoT systems
Alfred Åkesson, Görel Hedin, Niklas Fors, René Schöne, Johannes Mey · 2020
Internet-of-things systems are difficult to understand and debug due to their distributed nature and weak connectivity. We address this problem by using relational reference attribute grammars to model and analyze IoT systems with unreachable parts. A transitive device-dependency analysis is given as an example.