Toward a Holistic Software Systems Engineering Approach for Dependable Autonomous Systems
Toward a Holistic Software Systems Engineering Approach for Dependable Autonomous Systems
复制标题
走向可靠自治系统的整体软件系统工程方法
DOI：
10.1145/3194085.3194091
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Tim Warnecke
中科院分区：
文献类型：
--
作者：
Adina Aniculaesei;Jörg Grieser;A. Rausch;Karina Rehfeldt;Tim Warnecke
自主系统正在在各种应用领域中获得势头，例如自动驾驶汽车，自主运输机器人和智能住宅中的自我适应传统的工程方法不足以以成本效益的方式提供有关可靠性要求的保证在系统中，汽车行业汇总了数百万英里，在系统工程师中将不再能够测试并在开发时间内正式验证自主系统，以确保此视觉论文的可靠性要求。我们为自主系统引入了一种新的整体软件系统工程方法，该方法将开发时间方法和操作时间技术集成在一起。我们的目的是让用户对正在使用的可靠性要求的自治系统的置信度透明。
Autonomous systems are gaining momentum in various application domains, such as autonomous vehicles, autonomous transport robotics and self-adaptation in smart homes. Product liability regulations impose high standards on manufacturers of such systems with respect to dependability (safety, security and privacy). Today’s conventional engineering methods are not adequate for providing guarantees with respect to dependability requirements in a costefficient manner, e.g. road tests in the automotive industry sum up millions of miles before a system can be considered sufficiently safe. System engineers will no longer be able to test and respectively formally verify autonomous systems during development time in order to guarantee the dependability requirements in advance. In this vision paper, we introduce a new holistic software systems engineering approach for autonomous systems, which integrates development time methods as well as operation time techniques. With this approach, we aim to give the users a transparent view of the confidence level of the autonomous system under use with respect to the dependability requirements. We present already obtained results and point out research goals to be addressed in the future.