Cyber-Physical Systems (CPS) are most of the time safety-critical and expected to perform in uncertain environments. Therefore the identification of scenarios that prevent a CPS from performing according to its requirements is of fundamental importance. However, the multidisciplinary nature of CPS can make it difficult to identify such scenarios. In this article, we investigate the testing of CPS developed using control theory. In such systems, the software is developed collaboratively by control engineers and software engineers. When testing, it is important to account for this multidisciplinary development context. In particular, control engineers make design assumptions when contributing to system development in order to leverage control-theory and obtain guarantees on the CPS behaviour. However, such assumptions are not always satisfied in the implemented system and their falsification can lead to the loss of the control-theoretical guarantees. We define the problem of generating and identifying test cases that falsify such design assumptions as the stress testing of control-based CPS. Among the types of assumptions listed in the article, we focus on the use of linearised models of the physics. To generate test cases that falsify such assumptions, we leverage control theory to develop a qualitative characterisation of the input space of the control layer in CPS. We then propose a novel test case parametrisation for control-based CPS and use it together with the proposed characterisation to develop a testing approach aiming at falsifying the targeted assumptions. We evaluate our testing approach on six case studies including drone position control and continuous current motor control. Our results show that the proposed testing approach is effective at falsifying the linearity design assumption and the stress test cases can be used to highlight the causes of assumption violations.


翻译:网络-物理系统(CPS)是大部分时间安全关键,预期在不确定的环境中运行。因此,确定使CPS无法按其要求运行的假设情景具有根本重要性。然而,CPS的多学科性质可能使得难以确定这些假设情景。在本篇文章中,我们调查了使用控制理论开发的CPS的测试。在这种系统中,软件是由控制工程师和软件工程师协作开发的。在测试中,必须说明这种多学科发展方式。特别是,控制工程师在推动系统开发时作出设计假设,以便利用控制理论,并获得对CPS行为的保证。然而,这种假设并非总能满足实施系统的多学科性质,而其篡改可能导致失去控制理论情景。我们界定了生成和识别这些设计假设的测试问题,例如控制控制基于控制计算机的压力测试。在文章中列出的假设类型中,我们侧重于直线化物理学模型的使用。为了验证这些假设的测试案例,我们利用控制理论来模拟当前的控制当前控制状态,我们用测试系统测试的测试测试模型来测试测试系统测试系统测试测试的测试测试系统。我们用测试系统测试系统测试的测试测试测试测试系统测试测试测试测试的测试的测试测试测试测试的测试测试,可以使用新的测试系统测试测试测试系统测试测试的测试。我们测试的测试的测试的测试的测试的测试系统。</s>

0
下载
关闭预览

相关内容

不可错过!《机器学习100讲》课程,UBC Mark Schmidt讲授
专知会员服务
73+阅读 · 2022年6月28日
专知会员服务
50+阅读 · 2020年12月14日
Linux导论,Introduction to Linux,96页ppt
专知会员服务
77+阅读 · 2020年7月26日
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
专知会员服务
164+阅读 · 2020年3月18日
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
大数据 | 顶级SCI期刊专刊/国际会议信息7条
Call4Papers
10+阅读 · 2018年12月29日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
【论文】变分推断(Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2008年12月31日
Arxiv
22+阅读 · 2021年12月19日
Arxiv
64+阅读 · 2021年6月18日
VIP会员
相关VIP内容
不可错过!《机器学习100讲》课程,UBC Mark Schmidt讲授
专知会员服务
73+阅读 · 2022年6月28日
专知会员服务
50+阅读 · 2020年12月14日
Linux导论,Introduction to Linux,96页ppt
专知会员服务
77+阅读 · 2020年7月26日
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
专知会员服务
164+阅读 · 2020年3月18日
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
相关资讯
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
大数据 | 顶级SCI期刊专刊/国际会议信息7条
Call4Papers
10+阅读 · 2018年12月29日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
【论文】变分推断(Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
相关基金
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员