Prof Mike Hinchey IFIP PresidentElect 2 3 4 5 Courtesy Siobhan Clarke LeroTCD Swarm Technologies Inspired by swarms of bees and flocks of birds in nature Many application areas drug discovery ID: 816683
Download The PPT/PDF document "AI, Grand Designs, and Safety." is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.
Slide1
AI, Grand Designs, and Safety.Prof. Mike Hinchey, IFIP President-Elect
Slide22
Slide33
Slide44
Slide55
Courtesy: Siobhan Clarke, Lero@TCD
Slide6Swarm Technologies
Inspired by swarms of bees and flocks of birds in nature;Many application areas:drug discovery;
communication systems;
environmental monitoring;
exploration.
6
Slide7Swarm Technologies
Coordinated swarms of smaller spacecraft will offer:More effective use of solar power;Access to areas where large craft could not go;
Ability to perform more complex tasks;
Greater accuracy and flexibility.
7
Slide8Autonomous NanoTechnology
SwarmUsing swarms of “intelligent”, autonomous spacecraft to explore
Lunar and Martian surface (Lander Amorphous Rover Antenna, LARA)
Saturn’s rings (Saturn Autonomous Ring Array, SARA)
Asteroid belt (Prospecting Asteroid Mission, PAM)
8
Slide99
ANTS Concept Mission - PAM
Slide1010
Model of Formal Method
Slide1111
ASSL
Specification
Slide12Autonomic Computing
Rest and Digest
sympathetic
(SyNS)
parasympathetic
(
PaNS
)
Fight
or Flight
Inspiration from the human/mammalian autonomic nervous system.
12
Slide13Autonomic Agent (Mobile agent)
Autonomic Agent Apoptosis Controls
The
Autonomic Environment
AE
Autonomic Communications Channel
MC
AM
S*
S*
S*
S*
S*
S*
S*
S*
AE
MC
AM
AE
MC
AM
S*
S*
S*
S*
S*
S*
S*
S*
S*
S*
Z
z
z
I am alive
I am healthy
Stay awake
sSleep
ALice
13
Slide1414
SPL / Feature Model
Slide1515
Requirements to Design to Code (R2D2C)
Requirements expressed as scenarios
Code
Models
Existing code generating tools
Existing model extraction (reverse engineering) tools
Mathematical laws of concurrency
(reversed)
Slide16Current Status
16
Slide17Slide18Open Questions (and some answers)To what extent do we allow a system (component) to make decisions about its future behaviour?Given that we allow change, how do we know that safety properties have been preserved?
What degree of trust can we put in the system (component) after self-adaptation?
Slide19Thank you!