DeepAI AI Chat
Log In Sign Up

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

by   Aftab Hussain, et al.
University of Houston

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.


page 1

page 2

page 3

page 4


Towards an Intelligent Edge: Wireless Communication Meets Machine Learning

The recent revival of artificial intelligence (AI) is revolutionizing al...

Communication-Efficient Edge AI: Algorithms and Systems

Artificial intelligence (AI) has achieved remarkable breakthroughs in a ...

6G White Paper on Edge Intelligence

In this white paper we provide a vision for 6G Edge Intelligence. Moving...

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...

Conditionally Deep Hybrid Neural Networks Across Edge and Cloud

The pervasiveness of "Internet-of-Things" in our daily life has led to a...

Towards Trustworthy Edge Intelligence: Insights from Voice-Activated Services

In an age of surveillance capitalism, anchoring the design of emerging s...