Termine

Durchführung: 27.7.-29.7.2005, jeweils 9:00-18:00

Themen

1. Basiskonzepte zuverlässiger Systeme und deren Analyse
   Min Xie, Yuan-Shun Dai, Kim-Leng Poh: Computing Systems Reliability, Kluwer, 2004, S. 1-40 (am Lehrstuhl vorhanden)
2. Modelle der Zuverlässigkeit von Hardware-Systemen
   Min Xie, Yuan-Shun Dai, Kim-Leng Poh: Computing Systems Reliability, Kluwer, 2004, S. 41-70 (am Lehrstuhl vorhanden)
3. Modelle der Zuverlässigkeit von Software-Systemen
   Min Xie, Yuan-Shun Dai, Kim-Leng Poh: Computing Systems Reliability, Kluwer, 2004, S. 71-112 (am Lehrstuhl vorhanden)
4. Modelle der Zuverlässigkeit von Hardware/Software-Systemen
   Min Xie, Yuan-Shun Dai, Kim-Leng Poh: Computing Systems Reliability, Kluwer, 2004, S. 113-144 (am Lehrstuhl vorhanden)
5. Optimierung fehlertoleranter Eingebetteter Systeme
   Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng: Design Optimization of Time- and Cost-Constrained Fault-Tolerant Distributed Embedded Systems, DATE, 2005
6. Beurteilung der Zuverlässigkeit Eingebetteter Steuerungsysteme
   Frederick T. Sheldon, Kshamta Jerath: Assessing the Effect of Failure Severity, Coincident Failures and Usage-Profiles on the Reliability of Embedded Control Systems, ACM Symposium on Applied Computing, 2004, S. 826-833
7. Dynamische Fehlertoleranz- und Spannungsanpassung in Eingebetteten Realzeit-Systemen
   Ying Zhang, Krishnendu Chahrabarty: Dynamic Adaptation for Fault Tolerance and Power Management in Embedded Real-Time Systems, ACM Transactions on Embedded Computing Systems, Vol. 3, No. 2, May 2004
8. Erkennung von Datenfehlern in Eingebetteten Steuerungssystemen
   Martin Hiller: Executable Assertions for Detecting Data Errors in Embedded Control Systems, Proceedings of the International Conference on Dependable Systems and Networks (DSN'00) (FTCS-30 & DCCA-8), S. 24-33, 2000
9. Spezifikation und Test komponentenbasierter verlässlicher Software
   Arshad Jhumka, Martin Hiller, and Neeraj Suri: An Approach to Specify and Test Component-Based Dependable Software, International Symposium on High Assurance Systems Engineering (HASE), 2002
10. Speicherüberlaufsschutz in Eingebetteten Systemen
    Surupa Biswas, Matthew Simpson, Rajeev Barua: Memory Overflow Protection for Embedded Systems using Run-time Checks, Reuse and Compression, CASES, 2004, S. 280-291
11. Garbage Collection für Eingebettete Systeme
    David F. Bacon, Perry Cheng, David Grove: Garbage Collection for Embedded Systems, EMSOFT, 2004, S. 125-136
12. Speichersicherheit für Eingebettete Systeme ohne Garbage Collection
    DINAKAR DHURJATI, SUMANT KOWSHIK, VIKRAM ADVE, and CHRIS LATTNER: Memory Safety Without Garbage Collection for Embedded Applications, ACM Transactions on Embedded Computing Systems, Vol. 4, No. 1, February 2005, Pages 73¿111
13. Speichermanagement für Flash-Speicher
    Chanik Park, Jaeyu Seo, Sunghwan Bae, Hyojun Kim, Shinhan Kim and Bumsoo Kim: A Low-cost Memory Architecture with NAND XIP for Mobile Embedded Systems, CODES-ISSS, 2003, S. 138-143
    Chanik Park, Junghee Lim, Kiwon Kwon, Jaejin Lee, Sang Lyul Min: CompilerAssisted Demand Paging for Embedded Systems with Flash Memory, EMSOFT 2004, S. 114-124
14. Real-Time Garbage Collection für Flash-Speicher
    Li-Pin Chang, Tei-Wei Kuo, Shi-Wu Lo: Real-Time Garbage Collection for Flash-Memory Storage Systems of Real-Time Embedded Systems, ACM Transactions on Embedded Computing Systems (TECS), Volume 3 , Issue 4, S. 837-863
15. Erzeugung statischer Analysewerkzeuge für Eingebettete Systeme
    John Regehr, Alastair Reid: HOIST: A System for Automatically Deriving Static Analyzers for Embedded Systems, ASPLOS¿04, S. 133-143