Timing-aware control software design for automotive systems
Timing-aware control software design for automotive systems
复制标题
汽车系统的时序感知控制软件设计
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
A. Hamann
中科院分区：
文献类型：
--
作者：
D. Ziegenbein;A. Hamann
控制工程和实时系统工程的基础理论都假设了理想化的系统抽象，它们相互忽略了其他学科的中心方面。一方面，控制工程理论通常假设无抖动采样和恒定的输入输出延迟，而忽略了复杂的现实世界的时序效应。另一方面，实时工程理论使用抽象的性能模型，忽略了功能行为，并导出了在物理主导的汽车系统中几乎没有表达控制功能的最坏情况。因此，这两个学科之间的系统协同工程有很大的潜力，可以提高设计效率和信心。在本文中，我们讨论了这种协同工程的可能方法及其当前在现实世界问题中的适用性。特别地，我们比较了基于仿真和形式化验证技术的各种汽车实时控制软件的构造原理。
The underlying theories of both control engineering and real-time systems engineering assume idealized system abstractions that mutually neglect central aspects of the other discipline. Control engineering theory, on the one hand, usually assumes jitter free sampling and constant input-output latencies disregarding complex real-world timing effects. Real-time engineering theory, on the other hand, uses abstract performance models that neglect the functional behavior, and derives worst-case situations that have little expressiveness for control functionalities in physically dominated automotive systems. As a consequence, there is a lot of potential for a systematic co-engineering between both disciplines, increasing design efficiency and confidence. In this paper, we discuss possible approaches for such a co-engineering and their current applicability to real world problems. In particular, we compare simulation-based and formal verification techniques for various construction principles of automotive real-time control software.