On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep

WG211/M18Schultz: Difference between revisions

From WG 2.11
Jump to navigationJump to search
← Older editNewer edit →
VisualWikitext
No edit summary
No edit summary
Line 1: Line 1:
'''Designing a Language for Programming Robot Swarms''' by Ulrik Pagh Schultz (based on joint work with Elisabetta Seggioli)
'''TeamPlay Project: Time, Energy and security Analysis for Multi/Many-code heterogeneous PLAtformss''' by Ulrik Pagh Schultz, based on https://teamplay-h2020.eu/


This talk presents a work-in-progress in designing a DSL for
This short talk gives an overview of the newly started European H2020 project ''TeamPlay'' that (amongst others) Kevin Hammond and I are taking part in.
programming selected aspects of swarming robots, with concrete
 
application to drones. The DSL builds on previous work in a
* The TeamPlay project aims to develop new, formally-motivated, techniques that will allow execution time, energy usage, security, and other important non-functional properties of parallel software to be treated effectively, and as first- class citizens. We will build this into a toolbox for developing highly parallel software for low-energy systems, as required by the internet of things, cyber-physical systems etc.
coordination and communication language for modular robotics, and
 
focuses on providing abstractions that can be robustly implemented on
* The TeamPlay approach will allow programs to reflect directly on their own time, energy consumption, security, etc., as well as enabling the developer to reason about both the functional and the non-functional properties of their software at the source code level.
unreliable hardware. Key concepts in the language are roles (played
 
by individual agents in a swarm) and a notion of distributed scope
I will both given overview of the project as a whole and of the specific usecases that I'm involved in: energy optimization for drones and a medical camera pill.
encapsulating shared state and behaviour. The talk focuses on
presenting the basics and gathering feedback on understandability
and clarity of the underlying concepts.

Revision as of 11:42, 30 May 2018

TeamPlay Project: Time, Energy and security Analysis for Multi/Many-code heterogeneous PLAtformss by Ulrik Pagh Schultz, based on https://teamplay-h2020.eu/

This short talk gives an overview of the newly started European H2020 project TeamPlay that (amongst others) Kevin Hammond and I are taking part in.

  • The TeamPlay project aims to develop new, formally-motivated, techniques that will allow execution time, energy usage, security, and other important non-functional properties of parallel software to be treated effectively, and as first- class citizens. We will build this into a toolbox for developing highly parallel software for low-energy systems, as required by the internet of things, cyber-physical systems etc.
  • The TeamPlay approach will allow programs to reflect directly on their own time, energy consumption, security, etc., as well as enabling the developer to reason about both the functional and the non-functional properties of their software at the source code level.

I will both given overview of the project as a whole and of the specific usecases that I'm involved in: energy optimization for drones and a medical camera pill.

Retrieved from "http://mw.hh.se/wg211/index.php?title=WG211/M18Schultz&oldid=1865"