Homepage zu dem Seminar für eingebettete Systeme im SS 05
Termine
Durchführung: 27.7.-29.7.2005, jeweils 9:00-18:00
Themen
- 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)
- 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)
- 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)
- 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)
- 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
- 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
- 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
- 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
- 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
- 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
- Garbage Collection für Eingebettete Systeme
David F. Bacon, Perry Cheng, David Grove: Garbage Collection for Embedded Systems, EMSOFT, 2004, S. 125-136
- 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
- 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
- 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
- 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