This translation is older than the original page and might be outdated. See what has changed.
Testing Embedded Systems
Content
In this seminar, we will discuss various methods that can be applied for testing embedded systems. Some of these techniques are already being applied within the industry, others are still being applied within the area of research.
In this lecture, we will take a look at the following methods (among others):
Hardware In the Loop (HIL)
Software In the Loop (SIL)
Model In the Loop (MIL)
Model Checking
Theorem Proving
Simulation
Software Testing
Model Driven Testing
…
Schedule
This seminar is arranged as a block seminar. The first meeting will take place at the end of the semester holidays or in the first week of the winter term. The actual block seminar will most probably take place in february 07. There will be deadlines in between that have to be met.
Written elaboration of 15 pages / person using our template
Presentation of 45 minutes (strict) / person
Deadlines strict (You can send your files via email.):
additional literature and structure: Nov 6th 2006
written elaboration: Dec 18th 2006
slides: Jan 22nd 2007
The elaboration and the slides must be composed by yourself only. All sources, additional aids and quotations must be indicated. Quotations must be distinguishable.
Questions of general interest will be answered in the forum.
This website uses cookies. By using the website, you agree with storing cookies on your computer. If you do not agree please leave the website.More information about cookies
RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany