Developing and evolving a DSL-based approach for runtime monitoring of systems of systems

被引:13
|
作者
Rabiser, Rick [1 ]
Thanhofer-Pilisch, Juergen [1 ]
Vierhauser, Michael [2 ]
Gruenbacher, Paul [3 ]
Egyed, Alexander [3 ]
机构
[1] Johannes Kepler Univ Linz, Christian Doppler Lab MEVSS, Linz, Austria
[2] Univ Notre Dame, Comp Sci & Engn, Notre Dame, IN 46556 USA
[3] Johannes Kepler Univ Linz, Inst Software Syst Engn, Linz, Austria
基金
奥地利科学基金会;
关键词
Systems of systems; Requirements monitoring; Constraint checking; Domain-specific languages; DSL evolution; DOMAIN-SPECIFIC LANGUAGES; REQUIREMENTS; FRAMEWORK; MAC;
D O I
10.1007/s10515-018-0241-x
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Complex software-intensive systems are often described as systems of systems (SoS) due to their heterogeneous architectural elements. As SoS behavior is often only understandable during operation, runtime monitoring is needed to detect deviations from requirements. Today, while diverse monitoring approaches exist, most do not provide what is needed to monitor SoS, e.g., support for dynamically defining and deploying diverse checks across multiple systems. In this paper we report on our experiences of developing, applying, and evolving an approach for monitoring an SoS in the domain of industrial automation software, that is based on a domain-specific language (DSL). We first describe our initial approach to dynamically define and check constraints in SoS at runtime and then motivate and describe its evolution based on requirements elicited in an industry collaboration project. We furthermore describe solutions we have developed to support the evolution of our approach, i.e., a code generation approach and a framework to automate testing the DSL after changes. We evaluate the expressiveness and scalability of our new DSL-based approach using an industrial SoS. We also discuss lessons we learned. Our results show that while developing a DSL-based approach is a good solution to support industrial users, one must prepare the approach for evolution, by making it extensible and adaptable to future scenarios. Particularly, support for automated (re-)generation of tools and code after changes and automated testing are essential.
引用
收藏
页码:875 / 915
页数:41
相关论文
共 50 条
  • [31] A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems
    Zhou, Jingwen
    Chen, Zhenbang
    Wang, Ji
    Zheng, Zibin
    Dong, Wei
    2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2014, : 152 - 155
  • [32] Industrial Monitoring by Evolving Fuzzy Systems
    Aires, Lara
    Araujo, Joao
    Dourado, Antonio
    PROCEEDINGS OF THE JOINT 2009 INTERNATIONAL FUZZY SYSTEMS ASSOCIATION WORLD CONGRESS AND 2009 EUROPEAN SOCIETY OF FUZZY LOGIC AND TECHNOLOGY CONFERENCE, 2009, : 1358 - 1363
  • [33] Effective runtime monitoring of distributed event-based enterprise systems with ASIA
    Frischbier, Sebastian
    Turan, Erman
    Gesmann, Michael
    Margara, Alessandro
    Eyers, David
    Eugster, Patrick
    Pietzuch, Peter
    Buchmann, Alejandro
    2014 IEEE 7TH INTERNATIONAL CONFERENCE ON SERVICE-ORIENTED COMPUTING AND APPLICATIONS (SOCA), 2014, : 41 - 48
  • [34] Extension of Component-Based Models for Control and Monitoring of Embedded Systems at Runtime
    Schwalb, Tobias
    Mueller-Glaser, Klaus D.
    2011 22ND IEEE INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING (RSP), 2011, : 142 - 148
  • [35] Runtime Deployment, Management and Monitoring of Web of Things Systems
    Korkan, Ege
    Karam, Miguel Romero
    Kaebisch, Sebastian
    Steinhorst, Sebastian
    2021 IEEE INTERNATIONAL CONFERENCE ON OMNI-LAYER INTELLIGENT SYSTEMS (IEEE COINS 2021), 2021, : 53 - 58
  • [36] Efficient Temporal Logic Runtime Monitoring for Tiny Systems
    Ehlers, Ruediger
    TESTS AND PROOFS, TAP 2024, 2025, 15153 : 3 - 21
  • [37] Runtime Monitoring and Dynamic Reconfiguration for Intrusion Detection Systems
    Rehak, Martin
    Staab, Eugen
    Fusenig, Volker
    Pechoucek, Michal
    Grill, Martin
    Stiborek, Jan
    Bartos, Karel
    Engel, Thomas
    RECENT ADVANCES IN INTRUSION DETECTION, PROCEEDINGS, 2009, 5758 : 61 - +
  • [38] ANTAREX: A DSL-based Approach to Adaptively Optimizing and Enforcing Extra-Functional Properties in High Performance Computing
    Silvano, Cristina
    Agosta, Giovanni
    Bartolini, Andrea
    Beccari, Andrea R.
    Benini, Luca
    Besnard, Loic
    Bispo, Joao
    Cmar, Radim
    Cardoso, Joao M. P.
    Cavazzoni, Carlo
    Cherubin, Stefano
    Gadioli, Davide
    Golasowski, Martin
    Lasri, Imane
    Martinovic, Jan
    Palermo, Gianluca
    Pinto, Pedro
    Rohou, Erven
    Sanna, Nico
    Slaninova, Katerina
    Vitali, Emanuele
    2018 21ST EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2018), 2018, : 600 - 607
  • [39] MARMOT: Metamorphic Runtime Monitoring of Autonomous Driving Systems
    Ayerdi, Jon
    Iriarte, Asier
    Valle, Pablo
    Roman, Ibai
    Illarramendi, Miren
    Arrieta, Aitor
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2025, 34 (01)
  • [40] Assessing the genuineness of events in runtime monitoring of cyber systems
    Tsigkritis, Theocharis
    Spanoudakis, George
    COMPUTERS & SECURITY, 2013, 38 : 76 - 96