Downloads
Here you can find the presentations of the PhD-tutorials and workshops arranged according to subject.
System Specification and Modeling
- HW/SW Co-Design for Embedded Systems (Heinrich T. Vierhaus);
- HW/SW Co-Design for Application Specific Processors (Heinrich T. Vierhaus);
- System Level Design for Dependability and Reliability (Gert Jervan)
- UML and Petri Nets in Dependable Embedded System Design (Marian Adamski)
- SoC Design (Christophe Bobda)
- Secure System Design and Penetration Possibilities (Mirosław Kutyłowski)
- Design of Digital Systems for Efficient and Reliable Signal Acquisition and Processing (Adam Dąbrowski, Paweł Pawłowski)
- Dependable and Fault Tolerant Distributed Systems (Bettina Schnor)
- Design and Test Technology for Automotive Electronic Systems (Andreas Steininger)
- Embedded Systems - Today and tomorrow (Gert Jervan)
- Clocking and Timing in Fault-Tolerant Systems-on-a-Chip (Andreas Steininger)
- Scalable dependable SoC Architectures based on Networks-on-Chip (Thomas Hollstein)
- Beschreibung von verteilten Systemen + Figures (Hartmut König)
- Multi- and Many-Core Architecture Part I + Part II (Jörg Nolte)
Validation and Verification
- Verification and Design Error Debug (Jaan Raik)
- Formal Verification Techniques (Petra Hofstedt)
- Techniques for automated localization and correction of design errors (Jaan Raik)
- Formal Verification of Software (Peter Bachmann)
- Validation & Verification of System Design Specifications (Monika Heiner)
- Verifikation von verteilten Systemen (Hartmut König)
Software Technology
Runtime Verification and Runtime Reflection, Handout (Martin Leucker)
Systematic Test and Verification of Softwar-Based Systems (Monika Heiner)
Design for Testability
New Challenges in Design and Test Technologies for Integrated Systems in Mobile Communication - Handout 1, Handout 2 (Dr. Jürgen Alt, Intel Mobile Communications GmbH)
Hardware Synthesis
- Low Power System Design (Heinrich T. Vierhaus)
- System Partitioning (Christophe Bobda)
- Bottlenecks in Hardware Design and Design Automation (Peeter Ellervee)
- Bottlenecks in Hardware Design and Design Automation - 2011 (Peeter Ellervee)
Processor Architectures and Compiler Technology
- HW/SW Fault Analysis of Multiprocessor Systems (Rainer G. Spallek, Steffen Köhler)
- Self-testing and Self-repairing Processors (Mario Schölzel)
Hardware Test
- Testing, Testability and Self-Repair of Memories (Elena Gramatova)
- Advanced Functional Test Technology for Processors (Matteo Sonza Reorda)
- Introduction to IC Test Technology (Heinrich T. Vierhaus)
- Test Access and Security (Peter Langendörfer)
- Test Generation for Digital Circuits (Ondřej Novák)
- Introduction to Built-in Self Test (Ondřej Novák)
- Test input pattern compression technology (Ondřej Novák)
- Systematic Design for Testability in digital circuits (Zdeněk Plíva)
- SoC and NoC Test Technology (Jaan Raik)
- New Methods for Efficient Functional Testing of SoCs (Matteo Sonza Reorda)
Fault Diagnosis
- Codes for Error Detection - A Short Introduction to Coding Theory (Michael Goessel)
- Codes for Error Detection - Output Compaction for Test and Diagnosis (Michael Goessel)
- Fault Modeling and Diagnosis in Digital Systems (Raimund Ubar)
Fault Compensation and Self Repair
- Fehlerkompensation und Selbsreparatur für zuverläßige Systeme (Heinrich T. Vierhaus)
- Self Repair Technology for Logic Circuits (Heinrich T. Vierhaus)
- Fault Tolerant Systems (Michael Goessel)
- Memory Test, BIST and Self Repair (Elena Gramatová, Mária Fischerová)
- Compensation of Transient Faults and Self Repair (Heinrich T. Vierhaus)
- Dependability and fault tolerance in mobile communication systems (Rolf Krämer)
- Hardware/Software-Based Methods for Hardware Fault Compensation (Mario Schölzel)
- Error-Corecting Petri Nets (Monika Heiner)
Analog and Mixed Signal tools and technologies
- SystemC-AMS (Karsten Einwich)
- Selected Case Studies of Reliable Digital Signal Processing (Adam Dabrowski, Pawel Pawlowski)
Fault effects, fault modeling and fault simulation
- Models and Abstractions for Verification and Test in the Design of Dependable Embedded Systems (Raimund Ubar)
- Fault Effects Affecting SoCs and Embedded Processor-Based Systems (Heinrich T. Vierhaus)
- Introduction to SystemC (Silvio Misera)
- Fault Injections with SystemC (Silvio Misera)
- Faults and Fault Models for Integrated Circuits and Systems (Raimund Ubar)