Staff

Research interests  [ Show full biography ]

Real-time systems (Specifically Scheduling and Design), fault-tolerant computing, software engineering, functional safety, software reliability, and software testing

Latest publications [ Show all publications ]

Research projects

On-going:
• CONTESSE - Contract-Based Components for Embedded Software
• IDEAS - Innovation and Design for Euro-Asian Scholars
• SafeCer - Safety Certification of Software-Intensive Systems with Reusable Components
• SYNOPSIS


Finished:
• CHESS
• DAVID - Development of an Autonomous VehIcle Demo
• EURECA
• FLEXI - Flexible Global Product Development and Integration
• Hi5 - A Holistic and Improved Infrastructure for Increased Industrial Impact of research
• ISE - Industrial Software Engineering
• OPEN-SME Open-Source Software Reuse Service for SMEs
• PG-Dep-ET – Enabling Technologies for Evaluating/Ensuring Dependability
• PG-Dep-FRAMES – Faults and Reliability Aware Methodologies for Efficient Scheduling
• PG-Dep-PEARLS – Parameterized Evaluation of Attributes of Reliable Systems
• PG-DEP-REMAP - Reliability Modeling and Analysis for Predictability Assurance
• PROGRESS
• SAVE
• SAVE++
• SoftIn - Introducing methods and tools for software development in small and medium-sized enterprises
• TIMERS - Timing analysis, modeling and evaluation of RTS

Supervised Ph D students

• Hüseyin Aysan
• Stephan Baumgart
• Adnan Causevic
• Omar Jaradat
• Henrik Jonsson
• Anju S Pillai
• Radhamani Pillay
• Irfan Šljivo  (assistant supervisor)
• Abhilash Thekkilakattil

External:
• Vijayalekshmi Saravanan (VIT. India & MDH)

• Frequency and voltage scaling in real-time systems
• A study on effective Test-combinations for test coverage in product-line engineering of industrial systems
• Change Impact Analysis of testing Component Based Software
• Development of variants in safety-critical product lines
• Ensuring Reliability of software in Safety critical systems environment
• Implementation of a foreign system in SSP
• Master thesis - Fault Classification and Taxonomy
• Master Thesis - Fault Injection and Mutation Testing
• Master thesis: supporting synchronous modelling in distributed development environments (2 students)
• Methods for Modeling of Product Lines for safety-critical systems
• QOE MODEL ASSISTED VIDEO DELIVERY WITH SCALABLE VIDEO CODECS
• Reliability framework for distributed real-time systems
• Using Assurance Arguments to Plan Monitoring of Safety-Critical Systems
• Visual Studio Add-in for Software Component Services in Smart Devices

Teaching