PROGRESS is dedicated to find methods for cost-efficient handling of the increasing complexity of software in computer-based products. Adopting a software-component approach to engineering and re-engineering of embedded software systems, PROGRESS will provide theory, methods, and tools that increase quality and reduce life-cycle costs. Competence in this area is a key strategic issue for industrial sectors, such as the automotive, telecom, and automation industries. PROGRESS` vision is to be a worldwide-recognised centre in software engineering of embedded real-time systems with extensive contacts/exchange with other leading universities and to be the preferred partner for the industry. Research will include theories, methods, and tools for (i) predictable embedded software development from software components and legacy code, (ii) interfacing components with the underlying platform and synthesising platforms from application requirements, and (iii) adopting and applying real-time modelling and analysis techniques across all stages of the component-based design and development chain.
Software and Hardware Models in Component-based Development of Embedded Systems (Jan 2015) Luka Lednicki
Hierarchical scheduling for predictable execution of real-time software components and legacy systems (Dec 2014) Rafia Inam
Support for Legacy Real-Time Applications in an HSF-Enabled FreeRTOS - a technical report (Nov 2014) Rafia Inam, Moris Behnam, Mikael Sjödin
Predictable integration and reuse of executable real-time components (May 2014) Rafia Inam, Jan Carlson, Mikael Sjödin, Jiří Kunčar Journal of Systems and Software (JSS)
Parametric WCET Analysis (Jun 2013) Stefan Bygde
A Statistical Response-Time Analysis of Real-Time Embedded Systems (Dec 2012) Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean 33rd IEEE Real-Time Systems Symposium (RTSS12)