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

Research Projects
Algorithmic Synthesis of Reactive and Discrete-Continuous Systems
J.O. Ringert and B. Rumpe
DFG Graduiertenkolleg
The DFG Graduiertenkolleg 1298 AlgoSyn is an interdisciplinary research project aiming at
the automated synthesis of software and hardware systems. We have joined AlgoSyn’s efforts
in bridging the gap between engineering and theory as well as developing new methods in
both fields. Working on bringing these two disciplines closer together and applying results
from both areas has proven fruitful in AlgoSyn’s previous years.
We will assist with our modeling and software systems engineering experience in taming the
complexity of the specification and development of distributed reactive systems. We plan to
do so by developing languages and tools for specification, verification and synthesis. Focus of
our work will be modeling languages for distributed components with asynchronous
communication via message passing. Modeling the behavior of these systems as a specific
type of automata allows high level specification and verifications as well as the synthesis to
concrete implementations in certain cases.
Cloud Computing Services
R. Hildebrandt, A. Körtgen, A. Navarro Perez, and B. Rumpe
M. Blume and M. Lüger
Cloud Computing denotes a model for the provision and usage of IT resources. Such
resources incorporate basic infrastructure like computation, storage and networking, as well
as higher level runtime environments, services and applications. Clouds provide clients with
network-based access to a virtually unlimited amount of such resources for a service-like
managed, flexible on-demand and pay-per-use kind of usage. Internally, clouds manage a
pool of physical resources, share these resources between clients in an abstracted way,
account the usage and ensure performance, reliability and security.
Software running in a cloud faces several challenges. Technically, it runs on abstracted,
heterogeneously realized platforms and is built of distributed, loosely coupled components. It
must be scalable, self-managed, highly reliable, maintainable without downtime, secure and
multi-tenant. Due to the interconnected nature of clouds, it has to integrate in a heterogeneous
environment of software from other parties.
New architecture design concepts and programming paradigms for developing cloud
computing applications are needed. In contrast to traditional software, they have to account
for specific cloud computing characteristics such as the management of distributed
122