MRTC research projects

Title	Status
ABV - Enabling Architecture Based Verification and Validation of Mission-Critical Systems	active
ARROWS - Design Techniques for Adaptive Embedded Systems	active
ASIS - Architecture-based verification of software-intensive systems	active
ATAC - Advanced Test Automation for Complex Software-Intensive System (ITEA2/Vinnova)	active
CONCERTO	active
CONTESSE - Contract-Based Components for Embedded Software	active
DICES - Distributed Component-based Embedded Software Systems	active
EUROWEB - European Resaerch and Education Collaboration with Westent Balkan	active
Femmva - Functional- and execution-models in modern electronic vehicle architectures	active
HELPING: Heterogeneous Platform Deployment Modelling of Embedded Systems	active
IDEAS - Innovation and Design for Euro-Asian Scholars	active
ITS-EASY Post Graduate School for Embedded Software and Systems	active
KKS Adjungerad professur vid MDH - Avioniksystem	active
Linnaeus-Palme: Salvador Brazil	active
Linneaus-Palme: Osijek, Croatia	active
MBAT - Combined Model-based Analysis and Testing (Artemis/Vinnova)	active
RALF3 - Software for Embedded High Performance Architectures	active
SafeCer - Safety Certification of Software-Intensive Systems with Reusable Components	active
START - Stochastic Real-Time Analysis of Embedded Software Systems	active
SYNOPSIS	active

SED