Prediction of abnormal temporal behavior in real-time systems
Prediction of abnormal temporal behavior in real-time systems
复制标题
实时系统中异常时间行为的预测
DOI：
10.1145/3167132.3167172
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
R. Ernst
中科院分区：
文献类型：
--
作者：
M. Hamad;Z. A. Hammadeh;S. Saidi;V. Prevelakis;R. Ernst
确保实时和安全关键系统的安全性变得非常具有挑战性，特别是由于这些系统的连接性越来越强，例如新兴的自动驾驶汽车受到新的和更多的安全攻击。实时系统的主要特征是它们具有严格的时间约束。必须满足这些约束，以确保系统的正确性。在本文中，我们使用的时间属性所需的安全系统的时序分析，以检测系统的不当行为，并提高其相应的安全功能。为此，我们定义了时间边界，用于检测运行应用程序的时间偏离标称行为。此外，我们提出了一个预测方案，它使用指定的配置在实时系统中。
Ensuring security in real-time and safety-critical systems is becoming extremely challenging, in particular due to the increasingly connectivity of these systems, such as in emerging autonomous vehicles that are subject to new and higher number of security attacks. The main characteristics of real-time systems is that they have strict timing constraints. These constraints must be met in order to ensure the correctness of the system. In this paper, we use the temporal properties derived from the timing analysis of the system required for safety, in order to detect the misbehavior of the system and improve its corresponding security features. For this, we define temporal boundaries which are used to detect the temporal off-nominal behavior of running applications. Moreover, we present a prediction scheme which uses the designated configuration in real-time systems.
登录
查看更多内容
硬实时系统的静态时序分析
DOI：
10.1007/978-3-642-11319-2_3
发表时间：
2010
期刊：
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)
影响因子：
--
作者：
R. Wilhelm;S. Altmeyer;Claire Maiza;Daniel Grund;J. Herter;J. Reineke;Björn Wachter;Stephan Wilhelm
通讯作者：
Stephan Wilhelm
通过静态程序分析预测最坏情况执行时间
DOI：
10.1109/ipdps.2004.1303088
发表时间：
2004
期刊：
18th International Parallel and Distributed Processing Symposium, 2004. Proceedings.
影响因子：
--
作者：
C. Ferdinand
通讯作者：
C. Ferdinand
AUTOSAR OS时序保护机制分析
DOI：
10.1109/etfa.2009.5347159
发表时间：
2009
期刊：
2009 IEEE Conference on Emerging Technologies & Factory Automation
影响因子：
--
作者：
D. Bertrand;Sébastien Faucou;Y. Trinquet
通讯作者：
Y. Trinquet
SHIELD：一种确保 MPSoC 安全性和可靠性的软件硬件设计方法
DOI：
10.1145/1391469.1391686
发表时间：
2008
期刊：
2008 45th ACM/IEEE Design Automation Conference
影响因子：
--
作者：
K. Patel;S. Parameswaran
通讯作者：
S. Parameswaran
基于测量的最坏情况执行时间分析
DOI：
10.1109/seus.2005.12
发表时间：
2005
期刊：
Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'05)
影响因子：
--
作者：
I. Wenzel;R. Kirner;Bernhard Rieder;P. Puschner
通讯作者：
P. Puschner