MRTC research projects

Project status:
Members:

Title	Status
ABV - Enabling Architecture Based Verification and Validation of Mission-Critical Systems	active
APARTS - Advanced Program Analysis for Real-Time 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
AUTOSAR for Multi-Core in Automotive and Automation Industries	active
CONCERTO	active
CONTESSE - Contract-Based Components for Embedded Software	active
DICES - Distributed Component-based Embedded Software Systems	active
ESTER	active
EUROWEB - European Resaerch and Education Collaboration with Westent Balkan	active
Femmva - Functional- and execution-models in modern electronic vehicle architectures	active
Gauss - Garanterad automationskommunikation under svåra störningar	active
HELPING: Heterogeneous Platform Deployment Modelling of Embedded Systems	active
IDEAS - Innovation and Design for Euro-Asian Scholars	active
InterAct@MRTC	active
ITS-EASY Post Graduate School for Embedded Software and Systems	active
KKS Adjungerad professur vid MDH - Avioniksystem	active
Linnaeus-Palme: ECUST	active
Linnaeus-Palme: Salvador Brazil	active
Linneaus-Palme: Osijek, Croatia	active
MBAT - Combined Model-based Analysis and Testing (Artemis/Vinnova)	active
Music in Motion - A Project that combines Arts with Science	active
PICO - Philosophy of Information and Computing	active
PPMsched - Performance Preserving Multicore Scheduling	active
PREMISE - Predictable Multicore Systems	active
PROMPT - Professionell masterutbildning i programvaruteknik	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
STINT Global – Regional Cooperation	active
SYNOPSIS	active
TESLA - Time-critical & Safe wireLess Automation communication	active
TiPCES - Timing Predictions of Complex Embedded Systems	active
VeriSpec – Structured Specifications and Automated Verification for Automotive Functional Safety	active
WCET - Worst-Case Execution Time analysis	active

Mälardalen University |
Box 883 |
721 23 Västerås/Eskilstuna |
021-101300, 016-153600 |
webmaster |
Latest update: 2012.08.24