Embedded Files
GRuM - A flexible model-driven runtime monitoring framework and its application to automated aerial and ground vehicles
GRuM - A flexible model-driven runtime monitoring framework and its application to automated aerial and ground vehicles
GRuM (Generating CPS Runtime Monitors) is a framework that combines model-driven techniques and runtime monitoring, to automatically generate a customized monitoring platform for a given System under Monitoring (SuM).
Relevant properties are captured in a Domain Model Fragment, and changes to the SuM can be easily accommodated by automatically regenerating the platform code.
GRuM is available open-source on GitHub: https://github.com/LIT-Rumors/grum-public
Publication: https://doi.org/10.1016/j.jss.2023.111733
Cite: Vierhauser, M., Garmendia, A., Stadler, M., Wimmer, M., & Cleland-Huang, J. (2023). GRuM—A flexible model-driven runtime monitoring framework and its application to automated aerial and ground vehicles. Journal of Systems and Software, 203, 111733.
Dronology - Datasets for Small Uncrewed Aerial Systems
Dronology - Datasets for Small Uncrewed Aerial Systems
As part of our work on CPS Safety and Safety Assurance for sUAS applications, we have created a number of datasets related to use cases, safety assurance, and runtime monitoring of Small Unmanned Aerial Systems (sUAS).
Datasets are available open-source on GitHub: https://github.com/SAREC-Lab/sUAS-UseCases
Use cases for sUAS missions (SPLC 2020)
Publications:
https://www.sciencedirect.com/science/article/abs/pii/S0164121222002199
https://dl.acm.org/doi/10.1145/3382025.3414950
https://dl.acm.org/doi/abs/10.1145/3468264.3468534
Cite: Cleland-Huang, et al.: Requirements-driven configuration of emergency response missions with small aerial vehicles. In Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A-Volume A (pp. 1-12).
Al Islam, M. N., et al.: Configuring mission-specific behavior in a product line of collaborating Small Unmanned Aerial Systems. Journal of Systems and Software, 197, 111543.
Vierhauser, M., et al.: Hazard analysis for human-on-the-loop interactions in sUAS systems. In Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (pp. 8-19).
Reference Management &
SLR Search Tool
Reference Management &
SLR Search Tool
CiteoMat is yet another reference management tool but comes with additional (still experimental) capabilities for collecting and analyzing search results and publications from different scientific search engines useful for systematic literature reviews or mapping studies.
CiteoMat is based on the Eclipse (E4) RCP and currently works on Windows and requires JAVA 1.8 (32-bit)
Download is available: here - source-code: here (will be soon transferred to github repository)
The tool is currently under development i.e. certain parts may be unstable or not working as intended!
Feedback is always welcome and appreciated!
(In case CiteOMat does not start, most likely, the -vm property needs to be set properly in the ini-File (details see here)
Requirements Monitoring
Requirements Monitoring
Page updated
Report abuse