Monitoring CPS at Runtime - A Case Study in the UAV Domain

Monitoring CPS at Runtime - A Case Study in the UAV Domain
复制标题

运行时监控 CPS - 无人机领域的案例研究

DOI:
10.1109/seaa.2018.00022
复制
发表时间:
2018
期刊:
Euromicro Conference on Software Engineering and Advanced Applications
影响因子:
--
通讯作者:
Grunbacher, Paul
Grunbacher, Paul
中科院分区:
--
文献类型:
--
作者:
Vierhauser, Michael;Cleland-Huang, Jane;Bayley, Sean;Krismayer, Thomas;Rabiser, Rick;Grunbacher, Paul

文献摘要

参考文献

被引文献

相似文献

使用模型检查指定自治系统的安全监视器
DOI: --
发表时间: 2014
期刊: International Conference on Computer Safety, Reliability, and Security
影响因子: --
作者:
M. Machin;F. Dufossé;J. Blanquart;Jérémie Guiochet;D. Powell;H. Waeselynck
通讯作者: H. Waeselynck
DOI: --
发表时间: 2016
影响因子: 3.9
作者:
Michael Vierhauser;Rick Rabiser;P. Grünbacher
通讯作者: P. Grünbacher
DOI: --
发表时间: 2017
影响因子: 3.5
作者:
Rick Rabiser;Sam Guinea;Michael Vierhauser;L. Baresi;P. Grünbacher
通讯作者: P. Grünbacher
DOI: --
发表时间: 2017
期刊: International Conference on Automated Software Engineering
影响因子: --
作者:
L. M. Kritzinger;Thomas Krismayer;Michael Vierhauser;Rick Rabiser;P. Grünbacher
通讯作者: P. Grünbacher
提醒:一个灵活的系统运行时监控框架
DOI: --
发表时间: 2016
影响因子: 3.5
作者:
Michael Vierhauser;Rick Rabiser;P. Grünbacher;K. Seyerlehner;Stefan Wallner;H. Zeisel
通讯作者: H. Zeisel