Towards Runtime Monitoring for Malicious Behaviors Detection in Smart Ecosystems

Smart Ecosystem reflects in the control decisions of entities of different nature, especially of its software components. Particularly, the malicious behavior requires a more accurate attention. This paper discusses the challenges related to the evaluation of software smart agents and proposes a first solution leveraging the monitoring facilities for a) assuring conformity between the software agent and its digital twin in a real-time evaluation and b) validating decisions of the digital twins during runtime in a predictive simulation.

[1]  Thomas Kuhn,et al.  (Do Not) Trust in Ecosystems , 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER).

[2]  Felix Klaedtke,et al.  Scalable Offline Monitoring , 2014, RV.

[3]  Alexander Romanovsky,et al.  Trustworthy Cyber-Physical Systems Engineering , 2016 .

[4]  Christian Blum,et al.  Simulation-Based Internal Models for Safer Robots , 2018, Front. Robot. AI.

[5]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[6]  Konstantinos Manikas,et al.  Revisiting software ecosystems Research: A longitudinal literature study , 2016, J. Syst. Softw..

[7]  Dejan Nickovic,et al.  Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications , 2018, Lectures on Runtime Verification.