Legals | Data Protection | KIT


ARE Publications

Current Teaching


ARE has been started in February 2013 and is headed by Prof. Anne Koziolek.

Our research in software engineering is concerned with the early phases and activities in the development of software, or more general software-intensive technical systems. These early activities are concerned with the elicitation and validation of the software and systems requirements. It is known, that the removal of errors in these phases can be extremely costly. In fact, requirement errors are among the main reasons for software project failures today.

More specifically, the motivation of our research is the insight that requirements engineering and design of software systems are inevitably intertwined. Swartout and Balzert described the “inevitable intertwining of specification and design” already in 1982 (Swartout and Balzer 1982). This observation becomes evident with the success of agile methods for software development, in which short feedback cycles support this tight intertwinement. This is remarkable, because the success of starting design activities while the requirements are still under investigation, was doubted by many. In particular, any approaches that systematically aim to transform requirement models into design models suffer from the observation that, in larger projects, requirements are usually not stable and never completely modelled.

Today, there still is a perceived mismatch between agile, code-centric software development with concurrent requirements engineering and software design on the one hand and model-based software engineering with systematic transformations between requirements, design, and code on the other hand. With our research, we want to conciliate model-based software engineering with development processes that have fast and agile feedback cycles and thus combine the benefits of both approaches.

如何加速访问国外服务器? -「云杰通信」:今天 · 企业用户在与海外企业对接时,访问海外服务器遇到了十分严重的问题。对于大部分之前一直访问国内服务器,甚至是没国外服务器的用户。在访问国外服务器的时候总会有很多的顾虑,不知道哪种国外服务器访问专线更稳定,能达到自身产品运行所需要的实际服务器环境。

With respect to this aim, we have contributed to the following main topics (among others)

  • Qualitative reasoning in model-based design space exploration
  • Energy efficiency prediction
  • Survivability evaluation
  • Continuous, automated update of performance models

All contributions are listed on our publications page. Our tool for design space exploration, PerOpteryx, is available on 国内怎么看国外网站.

Additionally, we am interested in empirical studies on software architecture topics, especially on the empirical validation of software architecture approaches.




The paper "Automatically Improve Software Architecture Models for Performance, Reliability, and Costs Using Evolutionary Algorithms" by Anne Koziolek...

Read more