‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Wed 3 Apr 2019 12:30 - 14:30 at Second floor hall - Poster Session

In a dangerous environment in which human life can be endangered, robots are often used instead. In the upcoming Mars missions such robot, capable of traversing demanding terrain, repairing and operating mission equipment, assisting the astronauts or conducting research, can prove crucial for a successful outcome. Before planning any mission it is important to evaluate various solutions in order to choose the most reliable one. In order to satisfy this requirement, various rover competitions are being organised for students or professionals to participate in. The poster presents our solution for developing software of a rover which we are preparing for one of such competitions. It describes the system’s architecture, means of communication between various modules as well as with the operator and the way the autonomous mode is implemented. Our solutions and concepts may one day become an inspiration for engineers working on real rovers designed to operate on other planets.

Wed 3 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

12:30 - 14:30
Poster SessionPosters at Second floor hall
12:30
2h
Poster
Distributed Software on Mobile Robot
Posters
12:30
2h
Talk
Developing Distributed Systems with ScalaLoci
Posters
Pascal Weisenburger Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt
12:30
2h
Poster
Proving Inequational Propositions about Haskell Programs in Coq
Posters
Jan Christiansen Flensburg University of Applied Sciences, Germany, Sandra Dylus University of Kiel, Germany
12:30
2h
Poster
IDVE: an Integrated Development and Verification Environment for JavaScript
Posters
Christopher Schuster University of California, Santa Cruz, Cormac Flanagan University of California, Santa Cruz