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 条
  • [41] Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems
    Nandi, Giann Spilere
    Pereira, David
    Proenca, Jose
    Tovar, Eduardo
    2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2020, : 395 - 398
  • [42] Developing fault predictors for evolving software systems
    Nikora, AP
    Munson, JC
    NINTH INTERNATIONAL SOFTWARE METRICS SYMPOSIUM, PROCEEDINGS, 2003, : 338 - 350
  • [43] Interaction-based Runtime Verification for Systems of Systems Integration
    Krueger, Ingolf H.
    Meisinger, Michael
    Menarini, Massimiliano
    JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (03) : 725 - 742
  • [44] A Lightweight Software-based Runtime Temperature Monitoring Model for Multiprocessor Embedded Systems
    Castilhos, Guilherme
    Moraes, Fernando Gehm
    Ost, Luciano
    2016 29TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN (SBCCI), 2016,
  • [45] Perception-based Runtime Monitoring and Verification for Human-Robot Construction Systems
    Pramanik, Apala
    Choi, Sung Woo
    Li, Yuntao
    Luan Viet Nguyen
    Kim, Kyungki
    Hoang-Dung Tran
    2024 22ND ACM-IEEE INTERNATIONAL SYMPOSIUM ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, MEMOCODE 2024, 2024, : 124 - 134
  • [46] Runtime Monitoring of Multi-Agent Manufacturing Systems for Deadlock Detection Based on Models
    Mani, Nariman
    Garousi, Vahid
    Far, Behrouz H.
    ICTAI: 2009 21ST INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, 2009, : 292 - 299
  • [47] A Structural Evolving Approach for Fuzzy Systems
    Sa'ad, Hisham Haider Yusef
    Isa, Nor Ashidi Mat
    Ahmed, Md. Manjur
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2020, 28 (02) : 273 - 287
  • [48] Systems Biology Approach to Developing "Systems Therapeutics"
    Maguire, Greg
    ACS MEDICINAL CHEMISTRY LETTERS, 2014, 5 (05): : 453 - 455
  • [49] Towards a Runtime Verification Approach for Internet of Things Systems
    Leotta, Maurizio
    Ancona, Davide
    Franceschini, Luca
    Olianas, Dario
    Ribaudo, Marina
    Ricca, Filippo
    CURRENT TRENDS IN WEB ENGINEERING (ICWE 2018), 2018, 11153 : 83 - 96
  • [50] Independent on-line monitoring of evolving systems
    Minsky, NH
    PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1996, : 134 - 143