MDH
|
IDT
|
Graduate Research
|
MRTC
|
PROGRESS
|
ISS
|
IPR
|
Internal
Prospective Students
Current Students
Community Relations
Research
About the University
Library
MRTC
MRTC vision:
To provide state-of-the-art competence for industry
To advance basic and applied research in relevant areas
Education for engineers and researchers
MRTC research is organised in following research groups:
Adaptive Real-Time Systems
Dependability
Embedded Systems Software Engineering
Industrial Software Engineering
Monitoring and Testing
Programming Languages
Real-Time Systems Design group
Real-Time Systems Modelling and Analysis
Safety-Critical Systems
Scalable Architecture for Real-time Applications
Wireless Communication
News
2010.03.16
Licentiate Seminar: Static WCET Analysis based on Abstract Interpretation and Counting of Elements
2010.04.08
Presentation av examensarbeten i datavetenskap, elektronik och flyg/avionik
2010.06.10
Presentation av examensarbeten i datavetenskap, elektronik och flyg/avionik
2010.01.28
Presentation av examensarbeten i datavetenskap, elektronik och flyg/avionik
2009.12.14
PhD defense Markus Bohlin
2009.12.08
Hybrid Measurement-Based WCET Analysis: Instrumentation Point Graphs and Beyond
2009.12.04
Licentiate thesis defense - Pengpeng Ni
2009.11.12
Presentations of thesis work in Computer Science, Electronics and Aeronautics
2009.11.09
Tool supported Real-Time System Verification Techniques with Combination of Abstraction/Deduction and Model Checking
Contact
Director:
Hans Hansson
Research coordinator:
Gunnar Widforss
[
How to find us
]
Publications
Projects
Groups
Staff
Seminars
About MRTC
Contact
CPS Week
Mälardalen University |
Box 883 |
721 23 Västerås/Eskilstuna |
021-101300, 016-153600 |
webmaster
|
Latest update: 2009.12.14