WG211/M18Schultz - Revision history

Ups at 09:43, 30 May 2018

2018-05-30T09:43:24Z

← Older revision		Revision as of 11:43, 30 May 2018
Line 1:		Line 1:
	'''TeamPlay Project: Time, Energy and security Analysis for Multi/Many-code heterogeneous PLAtformss''' by Ulrik Pagh Schultz, based on https://teamplay-h2020.eu/		'''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.		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. From the webpage:

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

Ups at 09:42, 30 May 2018

2018-05-30T09:42:57Z

← Older revision		Revision as of 11:42, 30 May 2018
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~~.

Ups at 20:00, 8 May 2018

2018-05-08T20:00:30Z

← Older revision		Revision as of 22:00, 8 May 2018
Line 6:		Line 6:
	coordination and communication language for modular robotics, and		coordination and communication language for modular robotics, and
	focuses on providing abstractions that can be robustly implemented on		focuses on providing abstractions that can be robustly implemented on
	unreliable hardware.		unreliable hardware. Key concepts in the language are roles (played
			by individual agents in a swarm) and a notion of distributed scope
			encapsulating shared state and behaviour. The talk focuses on
			presenting the basics and gathering feedback on understandability
			and clarity of the underlying concepts.

Ups: Created page with "'''Designing a Language for Programming Robot Swarms''' by Ulrik Pagh Schultz (based on joint work with Elisabetta Seggioli) This talk presents a work-in-progress in designin..."

2018-05-08T19:57:22Z

Created page with "'''Designing a Language for Programming Robot Swarms''' by Ulrik Pagh Schultz (based on joint work with Elisabetta Seggioli) This talk presents a work-in-progress in designin..."

New page

'''Designing a Language for Programming Robot Swarms''' by Ulrik Pagh Schultz (based on joint work with Elisabetta Seggioli)

This talk presents a work-in-progress in designing a DSL for
programming selected aspects of swarming robots, with concrete
application to drones. The DSL builds on previous work in a
coordination and communication language for modular robotics, and
focuses on providing abstractions that can be robustly implemented on
unreliable hardware.