High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
复制标题
高保证 SPIRAL：机器人和汽车控制的端到端保证
DOI：
10.1109/mcs.2016.2643244
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
M. Veloso
中科院分区：
文献类型：
--
作者：
F. Franchetti;Tze Meng Low;Stefan Mitsch;J. Mendoza;Liangyan Gui;Amarin Phaosawasdi;D. Padua;S. Kar;José M. F. Moura;M. Franusich;Jeremy Johnson;André Platzer;M. Veloso
网络物理系统（CPS），从发电厂等关键基础设施到现代（半）自动驾驶汽车，都是使用软件控制物理过程的系统。CPS由许多不同的计算组件组成。每个组件都运行自己的软件，该软件基于其环境模型实现其控制算法。然后，每个组件通过它发出的信号和值与其他组件进行交互。这些组件和它们运行的代码共同驱动着现代社会所期望和依赖的复杂行为。由于组件之间的这些复杂交互，管理数百万行软件以确保系统作为一个整体按预期运行通常会很困难。
Cyberphysical systems (CPSs), ranging from critical infrastructures such as power plants, to modern (semi) autonomous vehicles, are systems that use software to control physical processes. CPSs are made up of many different computational components. Each component runs its own piece of software that implements its control algorithms, based on its model of the environment. Every component then interacts with other components through the signals and values it sends out. Collectively, these components, and the code they run, drive the complex behaviors modern society has come to expect and rely on. Due to these intricate interactions between components, managing the hundreds to millions of lines of software to ensure that the system, as a whole, performs as desired can often be unwieldy.
DOI：
10.1016/j.cl.2015.11.003
发表时间：
2017
期刊：
Comput. Lang. Syst. Struct.
影响因子：
--
作者：
Khalil Ghorbal;A. Sogokon;André Platzer
通讯作者：
Khalil Ghorbal;A. Sogokon;André Platzer