Runtime Modeling and Analysis of IoT Systems

Alfred Åkesson; Görel Hedin; Niklas Fors; René Schöne; Johannes Mey

doi:10.1145/3417990.3421397

Runtime Modeling and Analysis of IoT Systems

Alfred Åkesson, Görel Hedin, Niklas Fors, René Schöne, Johannes Mey

Dresden University of Technology

Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

Abstract

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.

Original language	English
Title of host publication	Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
Publisher	Association for Computing Machinery (ACM)
Pages	1-5
Number of pages	5
ISBN (Electronic)	9781450381352
DOIs	https://doi.org/10.1145/3417990.3421397
Publication status	Published - 2020 Oct
Event	ACM / IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020) - Virtual Event, Canada Duration: 2020 Oct 16 → 2020 Oct 23

Conference

Conference	ACM / IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020)
Country/Territory	Canada
City	Virtual Event
Period	2020/10/16 → 2020/10/23

Subject classification (UKÄ)

Software Engineering

Access to Document

10.1145/3417990.3421397Licence: CC BY

SMARTY: Säkra mjukvaruuppdateringar för den smarta staden
Hell, M. (PI), Magnusson, B. (PI), Gehrmann, C. (CoI), Paladi, N. (Researcher), Karlsson, L. (Researcher), Sönnerup, J. (Researcher), Johnsson, B. A. (Researcher), Hedin, G. (Researcher), Nordahl, M. (Researcher), Pagnin, E. (Researcher), Kundu, R. (Researcher), Åkesson, A. (Researcher), Stankovski Wagner, P. (Researcher) & Ramezanian, S. (Researcher)
Swedish Foundation for Strategic Research, SSF
2018/03/01 → 2024/12/31
Project: Research
Adaptive software architectures for autonomous system
Åkesson, A. (Research student), Hedin, G. (Supervisor), Magnusson, B. (Assistant supervisor) & Fors, N. (Assistant supervisor)
2016/01/01 → 2020/12/31
Project: Dissertation

Cite this

@inproceedings{14691c9f32174e0a95c408f6d09f3ec6,

title = "Runtime Modeling and Analysis of IoT Systems",

abstract = "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.",

author = "Alfred {\AA}kesson and G{\"o}rel Hedin and Niklas Fors and Ren{\'e} Sch{\"o}ne and Johannes Mey",

year = "2020",

month = oct,

doi = "10.1145/3417990.3421397",

language = "English",

pages = "1--5",

booktitle = "Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings",

publisher = "Association for Computing Machinery (ACM)",

address = "United States",

note = "ACM / IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020) ; Conference date: 16-10-2020 Through 23-10-2020",

}

Åkesson, A, Hedin, G , Fors, N, Schöne, R & Mey, J 2020, Runtime Modeling and Analysis of IoT Systems. in Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings., 40, Association for Computing Machinery (ACM), pp. 1-5, ACM / IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Virtual Event, Canada, 2020/10/16. https://doi.org/10.1145/3417990.3421397

Runtime Modeling and Analysis of IoT Systems. / Åkesson, Alfred; Hedin, Görel ; Fors, Niklas et al.
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. Association for Computing Machinery (ACM), 2020. p. 1-5 40.

Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

TY - GEN

T1 - Runtime Modeling and Analysis of IoT Systems

AU - Åkesson, Alfred

AU - Hedin, Görel

AU - Fors, Niklas

AU - Schöne, René

AU - Mey, Johannes

PY - 2020/10

Y1 - 2020/10

N2 - 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.

AB - 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.

U2 - 10.1145/3417990.3421397

DO - 10.1145/3417990.3421397

M3 - Paper in conference proceeding

SP - 1

EP - 5

BT - Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings

PB - Association for Computing Machinery (ACM)

T2 - ACM / IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020)

Y2 - 16 October 2020 through 23 October 2020

ER -

Runtime Modeling and Analysis of IoT Systems

Abstract

Conference

Subject classification (UKÄ)

Access to Document

Fingerprint

Projects

SMARTY: Säkra mjukvaruuppdateringar för den smarta staden

Adaptive software architectures for autonomous system

Cite this