The aim of the cluster is to foster and investigate research in the area of software analysis, construction, and deployment methods to produce, manage, and maintain autonomous systems.

Vision for the cluster

Today, software is predominant in every system. Software is also a means to make systems smart, and continuously improvable. Example of systems made smart by software are self-driving cars, self-flying airplanes, self-managing telecom networks, and smart factories. Autonomous systems are systems that are able to autonomously behave in unforeseen and only partially known environments. Our vision is to build self-adaptive software that is able to monitor itself and its context, to detect context changes, to decide how to react and act to execute such decisions.

 

Selected research questions:

How to deliver software systems that continuously evolve with changing user requirements? How to enable continuous learning from observations on their own behavior? What approaches and techniques (language, library, runtime, …) are most suitable for building autonomous software?

The aim of the cluster is to foster and investigate research in the area of software analysis, construction, and deployment methods to produce, manage, and maintain autonomous systems.

 

Societal impact and areas of application:

Software is the core infrastructure of large-scale systems in all domains, including finance, communications, industry, healthcare, research, and entertainment. As the market pace and speed of evolution is ever faster, there is a crucial need for software technology for bringing autonomous features in all these application areas.

 

Key challenges:

  • Charaterize the current shortcomings of software technology for autonomous software
  • Devise, prototype and evaluate new approaches and techniques (language, library, runtime, …)  for autonomous software
  • Assess effectiveness and applicability with relevant empirical experiments in the lab as well as in the field

 

 

Cluster coordinators

Martin Monperrus, KTH, martin.monperrus@csc.kth.se

Philipp Leitner, Chalmers, philipp.leitner@chalmers.se

 

Researchers

Chalmers Benoit Baudry, KTH

Görel Hedin, Lund University

Christian Schulte, KTH

Michael Doggett, Lund University

Simin Nadjm-Tehrani, Linköping University

Martin Fabian, Chalmers

Mary Sheeran, Chalmers

Christoph Reichenbach, Lund University

Patrizio Pellizione, Chalmers

 

 

Events:

  • Jan 2020: WASP Software meeting at the WASP Winter Conference. Agenda:
    • WARA Software
  • Dev 2019: Stockholm Chaos and Reliability Engineering Day
  • Oct 2019: KTH/CASTOR Software Days
  • Jan 17 2019: Plenary meeting and poster session during WASP Winter Conference, Gothenburg
    • 24 participants
    • Program:
      • 13:40 Jan Bosch: Software engineering for AI
      • 13:50 Christoph Reichenbach: `WARA-SW Update’
      • 14:05 Long Zhang (PhD KTH) Chaos Engineering Tools for Live Analysis and Improvement of Exception-handling in the JVM
      • 14:20 Open Discussion
  • May 14 2019: Joint cluster meeting, WASP Days, Gothenburg
    • community updates
    • discussion about WARA
    • information sharing about proposals
  • Jan 10 2018: Plenary meeting and poster session during WASP Winter Conference, Lund
  • May 16 2018: Faculty meeting WASP Faculty day, Lidingö

Industrial partners:

SAAB, Ericsson, Zenuity, Arm, etc.

WARA Software with open-science data

 

Students:

Diarmuid Corcoran Main advisor: Christian Schulte
Affiliation: Ericsson / KTH – Industrial Phd student

 

He Ye Main advisor: Martin Monperrus
Affiliation: KTH
Email: Send Mail Webpage
heye
Project title: Software program repair
Research topic: I am mainly focusing on the software program repair, including patch generation, patch correctness assessment, and deep learning based program repair.

 

John Törnblom Main advisor: Simin Nadjm-Tehrani
Affiliation: Linköping University
Email: Send Mail link Publications
John Tornblom
Project title: Verification of Safety-Critical and Learning-based Software
Research topic: Machine learning, Safety-critical software, Formal methods

 

Long Zhang Main advisor: Martin Monperrus
Affiliation: KTH
Email: Send Mail Webpage2 Publications
long
Research topic: Chaos engineering, self-healing software, anti-fragile

 

Piergiuseppe Mallozzi Main advisor: Patrizio Pelliccione
Affiliation: Chalmers | GU
Email: Send Mail Webpage
piergiuseppe
Project title: Engineering Trustworthy Self-Adaptive Software Systems
Research topic: Our research goes in the direction of building trustworthy self-adaptive software systems with particular emphasis on machine learning techniques to drive the system adaptations and the automotive domainas one of the main targets. In particular we are investigating ways of combining machine-learning with invariants assurance techniques for Autonomous Systems

 

 

Jonas Krook Main advisor: Martin Fabian
Affiliation: Chalmers
Email: Send Mail Webpage
jonas
Project title: Automatic Generation of Decision Logic for Autonomous Vehicles
Research topic: Formal synthesis of logical controllers. Using formal methods to prioritize requirements.

 

Alfred Åkesson Main advisor: Görel Hedin
Affiliation: LTH
Email: Send Mail Webpage Publications
alfred
Project title: Adaptive software architectures for autonomous system
Research topic: Research in the design and implementation of a domain specific language for configuration and coordination in a service based middleware for pervasive systems. Evaluated on systems in healthcare and autonomous systems.

 

Gustaf Waldemarson Main advisor: Michael Doggett

 

Maximilian Algehed Main advisor: Mary Sheeran
Affiliation: Chalmers
Email: Send Mail Webpage
Project title: Functional Heterogeneous Systems
Research topic: Programming Languages

 

Noric Couderc Main advisor: Christoph Reichenbach

 

Nicolas Harrand Main advisor: Benoit Baudry
Affiliation: KTH
Email: Send Mail Webpage

 

César Soto Valero Main advisor: Benoit Baudry
Affiliation: KTH
Email: Send Mail Webpage