ISSE makes software and systems engineering better. We thus emphasize on methods, tools, and technologies that assist software engineers. The following gives an overview of our current research projects.
Machine to Machine Communication
Manufacturing enterprises of the future are networked and Pro2Future Area 2 will develop a middleware-based approach to support communication of modular and autonomous, intelligent mechatronic systems. To do so, a message based approach for a scalable system of networked shopfloor systems and software systems is taken. Modularity and loose coupling is required to support adaptation of these systems.
Christian Doppler Laboratory
Monitoring and Evolution of Very-Large-Scale Software Systems (MEVSS)
An increasing number of software systems today are very-large-scale software systems (VLSS) with decentralized control; support for multiple platforms; inherently conflicting requirements; continuous evolution and deployment; as well as heterogeneous, inconsistent, and changing elements. Such systems are often developed and evolved by heterogeneous and globally distributed teams and communities. VLSS are typically based on system-of-systems architectures comprising multiple heterogeneous systems, which evolve over many years and need to be continuously adapted to meet customer, market and technology requirements. The lab works on theoretical foundations as well as methods, tools, and infrastructures for managing and supporting the monitoring and evolution of very-large-scale software systems (VLSS). The laboratory is hosted by Johannes Kepler University Linz and co-funded by the Christian Doppler Research Association, Primetals Technologies GmbH, KEBA AG, and Dynatrace Austria.
FWF P 25289-N15
Consistent Change Propagation in Software Design Models
Design models describe different viewpoints of a software system – separating functionality, from structure, behavior, or usage. While these models are meant to be separate in their description, they are nonetheless related by manifold dependencies. Changes thus need to be propagated. This project develops an approach for solving the change propagation problem by detecting and resolving inconsistencies that are caused along the way.
FWF P 25513-N15
Guiding Software Design Evolution by Constraint Transformation
In model-driven software engineering, model transformation plays a key role to automatically generate and update models. Transformation generates a target model from a source model. However, there are often situations where a target model cannot be generated or updated because of uncertainties: uncertainties as in there being no unique transformation result or uncertainties due to incomplete source model changes. This project introduces constraint transformation to generate model constraints instead of models. The novel idea is that constraints, generated from source models, restrict target models and hence avoid the problem of manual information loss. Constraints can embody uncertainties and they can reduce common race-condition problems. Our proposed approach complements traditional model transformation. Traditional model transformation is most useful in situations where a model needs to be first generated (the initial version of a generated model). However, once generated, our proposed approach may be most suited in evolving them thereafter (analogous to co-evolution).