CTIT University of Twente
Research Business & Innovation About CTIT Research Calls Looking for a job? Intranet

Big Software on the Run

Project Number:

Project Manager: Prof. dr. Jaco C. van de Pol

Faculty of Electrical Engineering, Mathematics and Computer Science

Tel.: +31-53-4893017

Email: j.c.vandepol@utwente.nl

Project website:

Summary

 Millions of lines of code - written in different languages by different people at different times, and operating on a variety of platforms - drive the systems performing key processes in our society. The resulting software needs to evolve and can no longer be controlled a priori as is illustrated by a range of software problems. The 3TU.BSR research program will develop novel techniques and tools to analyze software systems in vivo - making it possible to visualize behavior, create models, check conformance, predict problems, and recommend corrective actions.

To deal with Big Software on the Run (BSR), we propose to shift the main focus from a priori software design to a posteriori software analytics thereby exploiting the large amounts of event data generated by today's systems. The core idea is to study software systems in vivo, i.e., at runtime and in their natural habitat. We would like to understand the actual (desired or undesired) behavior of software. Running software needs to adapt to evolving and diverging environments and requirements. This forces us to consider software artifacts as "living organisms operating in a changing ecosystem". This paradigm shift requires new forms of empirical investigation that go far beyond the common practice of collecting error messages and providing software updates.

PROJECT

The project will run for a period of four years and is supported by the three Dutch technical universities (Eindhoven University of Technology, TU Delft, and University of Twente). It was initiated by 3TU.NIRICT, the Netherlands Institute for Research on ICT, which comprises all ICT research of the three universities of technology in the Netherlands. The PhD positions will run for 4 years. The three postdocs will be appointed for 2-3 years.

The project consists of subprojects, with 6 PhD students and 3 Postdocs

1

Automatically Discovering Behavioral Software Models from Software Event Data

2

(Van der Aalst & Van Deursen) at Eindhoven University of Technology

3

Model-based Visualization of Software Event Data

4

(Van Wijk & Huisman) at Eindhoven University of Technology

5

Exceptional Patterns (Van Deursen & Van Wijk) at TU Delft

6

Monitoring Concurrent Software (Huisman & Lagendijk) at University of Twente

7

Privacy Preserving On-line Conformance Checking (Lagendijk & Van de Pol) at TU Delft

8

Parallel Checking and Prediction (Van de Pol & Van der Aalst) at University of Twente

The three postdoc positions are:

1

A postdoc related to PhD projects 1 & 2 at Eindhoven University of Technology

2

A postdoc related to PhD projects 3 & 5 at TU Delft

3

A postdoc related to PhD projects 4 & 6 at University of Twente

RESEARCH TEAM

The following people are involved in the project:

prof.dr. Jaco van de Pol (project leader)

prof.dr. Marieke Huisman

Project duration: 1-1-2015 / 1-1-2019

Project budget: 2 M-€ funding

Number of person/months: 9 fte / year

Project Coordinator: TU/e

Participants: TU/e, TU Delft, UT

Project budget CTIT: 617 k-€ funding

Number of person months CTIT: 3 fte/year

Involved groups: Formal Methods and Tools group

CTIT Research Centre: Centre for Safety and Security in Smart Societies (CS.4)