Dmitrii Drozdov
Datavetenskap
Institutionen för system- och rymdteknik
Publikationer
Artikel i tidskrift
A formal model of IEC 61499-based Industrial automation architecture supporting time-aware computations (2021)
IEEE Open Journal of the Industrial Electronics Society, Vol. 2, s. 169-183
Doktorsavhandling, sammanläggning
Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations (2021)
Konferensbidrag
Arrowhead Datamanager integration with Eclipse 4DIAC environment (2020)
Ingår i: Proceedings, 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), s. 1377-1380, IEEE, 2020
Konferensbidrag
Utilizing Software Design Patterns in Product-Driven Manufacturing System (2020)
A Case Study
Ingår i: Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future, Proceedings of SOHOMA 2019, s. 301-312, Springer Nature, 2020
Konferensbidrag
Towards formal ASM semantics of timed control systems for industrial CPS (2019)
Ingår i: Proceedings, 2019 24th IEEE InternationalConference on Emerging Technologiesand Factory Automation (ETFA), s. 1682-1685, IEEE, 2019