close

Research Projects

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.

 

FWF P31989-N31
Multi-View Consistency Checking

Engineering is a collaborative effort involving many stakeholders - and many tools. Yet, little support exists for detecting inconsistencies in such a multi-tool, multi-view environment. This proposed work will develop a novel methodology for detecting multi-view, cross-tool inconsistencies - even if different engineers work on these artifacts at the same time or at different times, even if engineers are willing to share these artifacts with select other engineers as opposed to publishing them for all to see.

 

Pro2Future
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. 

 

LIT
Collaborative Engineering in a Multi-Tool Environment 

Conventional wisdom suggests that better engineering tools lead to better engineered systems (e.g., cyber physical systems). Yet, despite an impressive and growing computer-supported tool landscape, engineering remains complex and hard to control. The problem is that most existing tools cater to the needs of individual engineers and not the needs of collaborating engineering teams. These tools divide rather than unite because 1) engineers download and manipulate tool documents (files) separately and 2) they focus on separate kinds of artifacts, tasks, and engineering disciplines. This project bridges the gap between single-user tools and collaborative engineering environments. It provides engineers with flexible cross-tool sharing, transformation, linking (traceability), and guidance (e.g. inconsistency detection) to enable multi-user collaboration on an unprecedented scale.

FWF P 29415-NBL
C4S: Coordination-centric Change and Consistency Support

The research proposal addresses change impact analysis in development
efforts of complex, safety-critical software (e.g., air traffic control
systems). Such software typically exhibits a long lifecycle, involves
various engineers (beyond pure software developers) across the entire
development lifecycle and is subject to countless changes in the scope
of maintenance and evolution activities.

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).