Autonomous Systems - An Architectural Characterization

@article{Sifakis2019AutonomousS,
  title={Autonomous Systems - An Architectural Characterization},
  author={Joseph Sifakis},
  journal={ArXiv},
  year={2019},
  volume={abs/1811.10277}
}
  • J. Sifakis
  • Published 26 November 2018
  • Computer Science
  • ArXiv
The concept of autonomy is key to the IoT vision promising increasing integration of smart services and systems minimizing human intervention. This vision challenges our capability to build complex open trustworthy autonomous systems. We lack a rigorous common semantic framework for autonomous systems. It is remarkable that the debate about autonomous vehicles focuses almost exclusively on AI and learning techniques while it ignores many other equally important autonomous system design issues… 
Autonomics: In search of a foundation for next-generation autonomous systems
Significance Autonomous systems are replacing humans in a variety of tasks, and in the years to come, such systems will become central and crucial to human life. They will include vehicles of all
Autonomous IoT Device Management Systems: Structured Review and Generalized Cognitive Model
TLDR
A generalized model for autonomous device management is presented that describes and explains the processes required for autonomous operation, unifying the insights from previous works as one cohesive archetype.
Functional Self-Awareness and Metacontrol for Underwater Robot Autonomy
TLDR
A knowledge-based self-awareness and metacontrol subsystem that enables the autonomous reconfiguration of the robot subsystems to keep mission-oriented capability and can transparently use robot functional redundancy to ensure mission satisfaction, even in the presence of faults.
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework
TLDR
A multilevel semantic framework for the specification of ADS is presented and associated validation problems are discussed and its adequacy for addressing the many facets of this challenge is advocated.
Supporting Safe Decision Making Through Holistic System-Level Representations & Monitoring - A Summary and Taxonomy of Self-Representation Concepts for Automated Vehicles
TLDR
This paper argues why holistic system-level monitoring is a crucial step towards higher levels of automation, and gives an example how it also enables the system to react to performance loss at a tactical level by providing input for decision making.
Methodology and Architecture for Safety Management
TLDR
This paper focuses on the study of model-based autonomous system design and investigates the design flows and initiatives grasping with this complex computational model, and examines the specialization of the ARCADIA methodology.
Concepts in Testing of Autonomous Systems: Academic Literature and Industry Practice
TLDR
An exploratory study is conducted by synthesizing academic literature with a focus group discussion and interviews with industry practitioners to provide a conceptualization of autonomous systems, classifications of challenges and current practices as well as of available techniques and approaches for testing of autonomous system.
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics
TLDR
This paper reduces LE-SESs to a novel class of labelled transition systems, named {PO}2-LTS, and formally expresses the properties as constrained optimisation objectives, and proves that the robustness verification is NP-complete.
Functional Uncertainty in Real-Time Safety-Critical Systems
TLDR
A model is proposed in which components are characterized by bounds on the degree of uncertainty under both worst-case and typical circumstances; the objective is to assure safety under all circumstances while optimizing for performance for typical circumstances.
Achieving Resiliency and Behavior Assurance in Autonomous Navigation: An Industry Perspective
TLDR
An industry perspective on key drivers for autonomous navigation is presented, with a particular focus on resiliency and behavior assurance, and ongoing efforts to develop multidomain standards that are applicable across these disparate vehicle domains are discussed.
...
...

References

SHOWING 1-10 OF 19 REFERENCES
System Design in the Era of IoT - Meeting the Autonomy Challenge
TLDR
This proposal for knowledge-based design seeks a compromise: preserving rigorousness despite the fact that essential properties cannot be guaranteed at design time.
Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP
TLDR
The paper illustrates the basic concepts of DR-BIP through a collection of four non-trivial exercises from different application areas: fault-tolerant systems, mobile systems and autonomous systems, showing that the presented solutions are both minimal and expressive allowing concise and natural description of non-Trivial systems.
DReAM: Dynamic Reconfigurable Architecture Modeling
TLDR
The “DReAM” (Dynamic Reconfigurable Architecture Modeling) framework, has been designed for modeling reconfigurable dynamic systems combining the expressiveness of the rule-based notation together with the flexibility of this widespread programming language.
Programming dynamic reconfigurable systems
TLDR
The paper lays down the formal foundation of DR-BIP, illustrates its expressiveness on few examples and discusses avenues for dynamic reconfigurable system design.
An artificial intelligence perspective on autonomic computing policies
  • J. Kephart, W. E. Walsh
  • Computer Science
    Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004.
  • 2004
We introduce a unified framework that interrelates three different types of policies that will be used in autonomic computing system: action, goal, and utility function policies. Our policy framework
Teamwork in Self-Organized Robot Colonies
TLDR
This paper presents the first self-organized system of robots that displays a dynamical hierarchy of teamwork (with cooperation also occurring among higher order entities), and shows that teamwork requires neither individual recognition nor differences between individuals.
On a Formal Model of Safe and Scalable Self-driving Cars
TLDR
A white-box, interpretable, mathematical model for safety assurance, which the authors call-Sensitive Safety (RSS), and a design of a system that adheres to the safety assurance requirements and is scalable to millions of cars.
Rigorous system design
TLDR
It is shown how distributed implementations can be generated from BIP models with multiparty interactions by application of correct-by-construction transformations by presenting the state of the art in system design.
Symbolic quality control for multimedia applications
TLDR
Experimental results including the implementation of the method and benchmarks for an MPEG4 video encoder show drastic performance improvement for controlled quality with respect to constant quality, and show that symbolic quality management allows significant reduction of the overhead withrespect to numeric quality management.
...
...