Bachelor and Master Theses

Title: Simulation of Safety-Critical Systems Specified in AADL
Subject: Computer Science
Level: Advanced
Description: Development of safety-critical embedded systems undergo numerous phases wherein design decisions are documented in different specifications.The Architecture Analysis and Design Language (AADL), developed for designing real-time embedded systems, is one of the possible premier specification languages used in the chain of phases. AADL provides means to design systems through abstractions of components and the interactions among them, and to analyze the system through the semantically definitions of the language. In the context of safety-critical systems, analysis of a system is at least as important as the design. Yet, analysis of AADL specifications is only feasible through time consuming and error prone manual labor, due to the lack of an AADL simulator. Hence, a simulator is valuable as an analysis tool, to enable examination of the possible dynamic executions of an AADL specification. In this project we focus on developing a simulator for AADL based on previous work. The simulator uses an AADL specification as input, and simulates the dynamic execution of the system.
During the project, students are supposed to get acquainted with AADL and Java, practice their programming skills, enhance their understanding of compiler theory and simulator technique, and finally obtain a useful tool.

Prel. end date: 2012-01-15
Presentation date: 2012-02-03
Student: Boyan Sheytanov bsheytanov@gmail.com
IDT supervisor: Jiale Zhou
zhou.jiale@mdh.se, +46761679626
Examinator: Kristina Lundqvist
Kristina Lundqvist
kristina.lundqvist@mdh.se, +46 (0)21 101428
Misc: co-supervisor: Andreas Johnsen

Rapport och bilagor

Size

Senaste uppdatering

TR1217.pdf

1210705

2012-02-20, 09:40


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