STW project awarded to Raphael Poss and Andy Pimentel

28 April 2015

UvA-IvI researchers Raphael Poss and Andy Pimentel received an STW Open Technology Program grant of €500,000 to develop software techniques and tools together with ASML to improve the monitoring inside- and management of large, complex computer systems.

These systems, especially industrial applications, are usually composites of components designed and built separately. This loose coupling is made possible for functional specifications by means of compositional interfaces, such as network protocols, APIs and data structures. However, large systems are operated using specifications beyond functional definitions: system operators expect to be able to manage (predict and constrain) extra-functional behaviour (EFB) of applications.

Developing tools for EFB management 

EFB is a superset of quality-of-service (QoS) metrics like communication throughput or latency, that also includes performance, performance per watt, transient faults, et cetera. Unfortunately, to date no composable interfaces to EFB management exist that allow for automatic integration of component-level EFB rules or models when composing a whole system, or for the deduction of extra-functional behaviour per sub-component for such behaviour observed at the whole. This project will explore and develop methods and tools for EFB management aiming to satisfy these requirements.

The proposed approach is to co-design and explore a combination of: 

a) a domain-specific language (DSL) to describe EFB constraints per component, with compositional semantics; 

b) online bi-simulation to predict EFB behavior of a large system ahead-of-time; and 

c) a semi-supervised monitoring and coordination engine that integrates both a) and b), without being intrusive in the functional design.

The proposed methodology will be applicable both bottom-up (i.e. during application implementation) and top-to-bottom (i.e. during high-level design, or during a posteriori analysis or adaptation of existing systems).

Published by  IVI