ICSE 2022 (series) / Posters /
Flexible Model-Driven Runtime Monitoring Support for Cyber-Physical Systems
Providing adequate runtime monitoring is critical for ensuring safe operation and for enabling self-adaptive behavior of Cyber-Physical Systems. This requires identifying runtime properties of interest, creating Probes to instrument the system, and defining constraints to be checked at runtime. Implementing and setting up a monitoring framework for a particular system is typically a challenging task, and most existing approaches lack support for the automated generation and setup of monitors. GRuM significantly eases the task of creating monitors and maintaining them throughout the lifetime of the system by automatically generating runtime models and providing support for updating and adapting them when needed.
Thu 12 MayDisplayed time zone: Eastern Time (US & Canada) change
Thu 12 May
Displayed time zone: Eastern Time (US & Canada) change
11:00 - 12:00 | |||
11:00 5mPoster | Enabling End-Users to Implement Larger Block-Based Programs Posters Nico Ritschel The University of British Columbia, Felipe Fronchetti Virginia Commonwealth University, Reid Holmes University of British Columbia, Ronald Garcia University of British Columbia, David C. Shepherd Virginia Commonwealth University | ||
11:05 5mPoster | Mutation Testing of Quantum Programs written in QISKit Posters Daniel Fortunato INESC-ID, University of Porto, José Campos University of Lisbon, Portugal, Rui Abreu Faculty of Engineering, University of Porto, Portugal | ||
11:10 5mPoster | Poster: Comprehensive Comparisons of Embedding Approaches for Cryptographic API Completion Posters Ya Xiao Virginia Tech, Salman Ahmed Virginia Polytechnic Institute and State University, Xinyang Ge Microsoft Research, Bimal Viswanath Virginia Tech, Na Meng Virginia Tech, Daphne Yao Virginia Tech | ||
11:15 5mPoster | Improving Responsiveness of Android Activity Navigation via Genetic Improvement Posters | ||
11:20 5mPoster | A Quick Repair Facility for Debugging Posters | ||
11:25 5mPoster | Flexible Model-Driven Runtime Monitoring Support for Cyber-Physical Systems Posters Marco Stadler Johannes Kepler University Linz, Michael Vierhauser Johannes Kepler University Linz, Antonio Garmendia Johannes Kepler University Linz, Manuel Wimmer JKU Linz, Jane Cleland-Huang University of Notre Dame Pre-print |
Information for Participants
Thu 12 May 2022 11:00 - 12:00 at ICSE Poster room - Poster Session 3 Chair(s): Jin L.C. Guo
Info for room ICSE Poster room: