Annual Report 2010 - Fachgruppe Informatik an der RWTH Aachen ...

Laboratory, RWTH) and Marco Roveri (Foundazione Bruno Kessler, Trento, Italy), who both
served as co-chairs. From the Embedded Software Laboratory, Jörg Brauer was also involved
in the conference organization by serving as one of the 27 members of the program committee.
In additional to the PC members, 61 external reviewers assisted in the reviewing process.
FMICS 2010 has attracted 30 submissions from 19 countries, 14 of which have been accepted
after a thorough reviewing process where each paper received at least four reviews. All
accepted papers have appeared in Springer’s Lecture Notes in Computer Science series. The
presentations covered a wide range of topics, mostly focusing on the application of model
checking and abstract interpretation to reason about software. Following a tradition established
over the past few years, the European Association of Software Science and Technology
(EASST) offered an award to the best FMICS paper. This year, the contribution „The Metro
Rio ATP Case Study“ by Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro
Fantechi, and Matteo Tempistini received the best paper award, reflecting the results of the
reviewing process.
In addition to the regular talks, FMICS featured four invited talks by Stephan Tobies
(European Microsoft Innovation Center), Axel Simon (Technical University of Munich), Aarti
Gupta (NEC Labs), and Bert van Beek (Technical University of Eindhoven). Overall, the talks
featured a wide range of topics, from type systems based on abstract interpretation to the
process of establishing verification tools in large companies. The keynote talks were kindly
supported by the UMIC excellence cluster, the European Consortium for Informatics and
Mathematics (ERCIM), and the European Microsoft Innovation Center (EMIC).
Considering the variety of contributions of high quality and the very interesting invited talks,
we consider FMICS 2010 a great success and are looking forward to FMICS 2011, which will
be announced shortly.
https://es.fbk.eu/event/fmics2010/index.php
Carolo Cup 2010
Andreas Polzer, Hilal Diab
In 2010 the team GalaXIs (www.galaxis.rwth-aachen.de) supported by the Embedded
Software Laboratory won the Carolo Cup for developing autonomous model cars. The five
students (Julian Krenge, Philipp Fischer, Stefan Kockelkoren, Matthias May and Yves Duhr)
won both the static and dynamic tasks. In this year the competition was coined by three teams
from Braunschweig (CDLC), Zwickau (S.A.D.I.) and Aachen (GalaXIs) which had chances to
win. The decision was made during the most difficult discipline autonomous driving with
obstacles. The car from our team called Sagittarius impressed by a nearly perfect drive around
the track.
The main task of the competition is to develop a model car (1:10) realising complex
autonomous driving assistants, like automatic parking, autonomous driving of a circuit and
autonomous driving of a circuit with obstacles. The competition consists of static and dynamic
disciplines. The static tasks were to present the concepts realized to solve the given problems.
Within the dynamic disciplines the model car had to show the abilities of autonomous driving
and parking. The fastest car wins a discipline where faults are punished with time suspensions.
373