Research Area: Networked systems

Tenured staff

Peter Herrmann (research area coordinator)

Position: Professor
Research activities: System engineering, correctness-preserving design of distributed systems

Methods for development of distributed systems by composition of heterogeneous software components need formal methods to guarantee that a system fulfils certain correctness properties. In particular, compositional modelling techniques simplifying the design and verification of system specifications are well-suited for component-based software. For instance, one can extend the interface description of a component by a formal model specifying aspects of the component behaviour and compose these specifications to prove correctness properties of the overall system.

Three types of system constraints are focused:

  • Functional correctness
  • Security properties
  • Trust building behaviour

Finn Arve Aagesen

Position: Professor
Research activities: Services and service management, adaptable and autonomic service systems

Adaptable service systems are service systems that are able to adapt dynamically to changes in time and position related to Users, Nodes, Capabilities, Status, and changed Service Requirements and Policies. Autonomic systems are adaptable systems based on a distributed autonomous architecture. Present research is related to Mobility management, Capability and status management, Configuration management, and Service management. The research is related to the Telematics Architecture for Play-based Adaptable Systems (TAPAS) architecture and platform.

Rolv Bræk

Position: Professor
Research activities: model driven service engineering, services and service management

The goal is rapid, modular and incremental development of real-time services with controlled quality. Part of the activity is related to the PATS program and the SARDAS project.

Three main topics are covered:

  • Modeling languages and methods. We are currently investigating UML2 collaborations for modular service specification and service components with semantic interfaces that enable dynamic service discovery and composition with compatibility guarantees.
  • Tools. A suite of experimental tool components RAMSES, for modular and incremental validation and consistency checking as well as flexible UML2 to Java code generation targeted for Ericssons ActorFrame.
  • Architecture and platforms. Agents as system components and roles as service components supporting dynamic deployment and dynamic role binding. It has been partially implemented in the ActorFrame platform of Ericsson and has been used to develop experimental services.

Do van Thanh

Position: Professor
Research activities: Services and service management, open mobile services

Mobile services to day are closed. Mobile services to day are mostly deployed, operated and managed totally by the mobile operators. Open mobile services are services that are open in use, design, implementation, deployment, operation and management. Future open mobile services should have an architecture which is distributed in multiple networks, devices, domains, governed by multiple players (user, mobile operator, third parties, enterprises), ubiquitously available continuous across devices, domains and networks, adapted to the context, and personalized, customised and presentable to the user.

Three aspects of open mobile services are focused:

  • universal personalised services,
  • ambient intelligence and
  • identity management.


Lill Kristiansen

Position: Professor
Research activities: Services and service management, multi-provider open real-time services

New technology enables the convergence of services. One example is multimedia telephony combined with features from web, instant messaging, presence and context. The services will be distributed in multiple networks and in competing and/or cooperating domains. There are, however, economical, human and organisational issues that intertwine with the technical issues.

The research is considering:

  • technical issues such as architecture and system development, and
  • human and organisational issues. Cases from health care domain are focused for both issues.

Leif Arne Rønningen

Position: Professor
Research activities: Networked multimedia systems

This activity comprises adaptive 3D scene & traffic control architectures in “Distributed Multimedia Plays”, that is, virtual collaborations in games, business, education, concerts, opera, theatre and future television.