Readle: A Formal Framework for Designing AI-based Edge Systems

05/18/2022
by   Aftab Hussain, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/02/2018

Towards an Intelligent Edge: Wireless Communication Meets Machine Learning

The recent revival of artificial intelligence (AI) is revolutionizing al...
research
02/22/2020

Communication-Efficient Edge AI: Algorithms and Systems

Artificial intelligence (AI) has achieved remarkable breakthroughs in a ...
research
04/30/2020

6G White Paper on Edge Intelligence

In this white paper we provide a vision for 6G Edge Intelligence. Moving...
research
10/12/2017

Arguing Machines: Perception-Control System Redundancy and Edge Case Discovery in Real-World Autonomous Driving

Safe autonomous driving may be one of the most difficult engineering cha...
research
05/21/2020

Conditionally Deep Hybrid Neural Networks Across Edge and Cloud

The pervasiveness of "Internet-of-Things" in our daily life has led to a...
research
06/20/2022

Towards Trustworthy Edge Intelligence: Insights from Voice-Activated Services

In an age of surveillance capitalism, anchoring the design of emerging s...
research
11/17/2020

Exploring Energy-Accuracy Tradeoffs in AI Hardware

Artificial intelligence (AI) is playing an increasingly significant role...

Please sign up or login with your details

Forgot password? Click here to reset