论文标题
读取：设计基于AI的边缘系统的正式框架
Readle: A Formal Framework for Designing AI-based Edge Systems
论文作者
论文摘要
随着边缘的AI驱动系统的广泛使用（又称边缘情报系统），例如自动驾驶车辆，可穿戴的生物技术设备，智能制造等，此类系统对我们的日常生活变得非常重要。设计边缘智能系统的一个挑战是，我们必须在两个构成此类系统基础的设计空间中处理大量限制：边缘设计空间和深度学习设计空间。因此，在这项工作中，提出了一种新的系统，可扩展，手动方法，读取器，用于在边缘智能系统中创建规格的表示形式，捕获边缘系统设计空间中的约束（例如，时间限制和其他性能限制）以及在深度学习空间中的限制（例如，模型训练持续时间（例如，模型训练的准确级别的准确级别））。特别是，读取利用实时逻辑和二进制决策图的好处来生成统一的规格。还讨论了在建筑读取中学到的几个见解，这应该有助于在边缘智能系统正式规范领域的未来研究中进行研究。
With the wide spread use of AI-driven systems in the edge (a.k.a edge intelligence systems), such as autonomous driving vehicles, wearable biotech devices, intelligent manufacturing, etc., such systems are becoming very critical for our day-to-day lives. A challenge in designing edge intelligence systems is that we have to deal with a large number of constraints in two design spaces that form the basis of such systems: the edge design space and the deep learning design space. Thus in this work, a new systematic, extendable, manual approach, READLE, is proposed for creating representations of specifications in edge intelligent systems, capturing constraints in the edge system design space (e.g. timing constraints and other performance constraints) and constraints in the deep learning space (e.g. model training duration, required level of accuracy) in a coherent fashion. In particular, READLE leverages benefits of real-time logic and binary decision diagrams to generate unified specifications. Several insights learned in building READLE are also discussed, which should help in future research in the domain of formal specifications for edge intelligent systems.
