Oskar Pusz

Oskar Pusz (M.Sc.)

Wissenschaftlicher Mitarbeiter

Mail: pusz@sra.uni-hannover.de
Telefon: 0511 762 19738
Adresse: 30167 Hannover, Appelstraße 4, Raum 111

×

Appelstraße 4 Raum 111

Teaching and Courses

• Rechnerstrukturen
• Grundlagen Rechnerarchitektur
• Miniprojekt: Minimax-Maschine
• Seminar: Systematic Fault Injection (AKSI)

Projects

CLASSY-FI: Cross-Layer Application-Specific Synthesis and Analysis of Fault Injection

Goal of the CLASSY-FI is to derive constructive methods and techniques for scalable, yet precise and complete fault injection (FI) to experimentally assess the robustness of safety-critical embedded control systems against soft errors.

Publications

LCTES Conference A
Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults

Oskar Pusz, Christian Dietrich, Daniel LohmannProceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)ACM Press2021To appear.
PDF Slides 10.1145/3461648.3463851 [BibTex]

×

BibTex Entry

@inproceedings{pusz:21:lctes,
 address = {New York, NY, USA},
 author = {Oskar Pusz and Christian Dietrich and Daniel Lohmann},
 booktitle = {Proceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)},
 doi = {10.1145/3461648.3463851},
 entrysubtype = {Conference},
 month = {June},
 note = {To appear},
 pages = {97--109},
 publisher = {ACM Press},
 title = {Data-Flow--Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults},
 userc = {CORE20:A},
 userd = {LCTES '21},
 venue = {Virtual Conference},
 year = {2021}
}

Close

LCTES Artifact A
Source Code and Evaluation Data for the Paper: Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults

Oskar Pusz, Christian Dietrich, Daniel LohmannProceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)ACM Press2021.
10.5281/zenodo.4698901 [BibTex]

×

BibTex Entry

@article{pusz:21:lctes-ae,
 address = {New York, NY, USA},
 author = {Oskar Pusz and Christian Dietrich and Daniel Lohmann},
 booktitle = {Proceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)},
 doi = {10.5281/zenodo.4698901},
 entrysubtype = {Artifact},
 month = {June},
 publisher = {ACM Press},
 title = {Source Code and Evaluation Data for the Paper: Data-Flow--Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults},
 userc = {CORE20:A},
 userd = {LCTES '21},
 venue = {Virtual Conference},
 year = {2021}
}

Close

PRDC Conference B
Program-Structure–Guided Approximation of Large Fault Spaces

Oskar Pusz, Daniel Kiechle, Christian Dietrich, Daniel Lohmann2019 24th Pacific Rim International Symposium on Dependable Computing (PRDC'19)IEEE Computer Society Press2019.
PDF Slides 10.1109/PRDC47002.2019.00044 [BibTex]

×

BibTex Entry

@inproceedings{pusz:19:prdc,
 address = {Washington, DC, USA},
 author = {Oskar Pusz and Daniel Kiechle and Christian Dietrich and Daniel Lohmann},
 booktitle = {2019 24th Pacific Rim International Symposium on Dependable Computing (PRDC'19)},
 doi = {10.1109/PRDC47002.2019.00044},
 entrysubtype = {Conference},
 issn = {1555-094X},
 publisher = {IEEE Computer Society Press},
 title = {Program-Structure–Guided Approximation of Large Fault Spaces},
 userc = {CORE18:B},
 userd = {PRDC '19},
 year = {2019}
}

Close

DAC Conference A
Cross-Layer Fault-Space Pruning for Hardware-Assisted Fault Injection

Christian Dietrich, Achim Schmider, Oskar Pusz, Guillermo Payá-Vayá, Daniel LohmannProceedings of the 55th Annual Design Automation Conference 2018 (DAC '18)ACM Press2018.
PDF Slides Raw Data 10.1145/3195970.3196019 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:18:dac,
 address = {San Francisco, California, USA},
 author = {Christian Dietrich and Achim Schmider and Oskar Pusz and Guillermo Pay\'{a}-Vay\'{a} and Daniel Lohmann},
 booktitle = {Proceedings of the 55th Annual Design Automation Conference 2018 (DAC '18)},
 doi = {10.1145/3195970.3196019},
 entrysubtype = {Conference},
 isbn = {978-1-4503-5700-5/18/06},
 publisher = {ACM Press},
 title = {Cross-Layer Fault-Space Pruning for Hardware-Assisted Fault Injection},
 userc = {CORE18:A},
 userd = {DAC '18},
 year = {2018}
}

Close

Thesis
Entwurf interplanetarer Bahnkurven mittels Hint-basierter Optimierung

Oskar Pusz Master ThesisLeibniz Universität Hannover2016.
PDF [BibTex]

×

BibTex Entry

@thesis{pusz:16:master,
 author = {Oskar Pusz},
 entrysubtype = {Thesis},
 month = {July},
 school = {Leibniz Universit{\"a}t Hannover},
 title = {Entwurf interplanetarer Bahnkurven mittels Hint-basierter Optimierung},
 type = {Master Thesis},
 year = {2016}
}

Close

Thesis
Performance-Evaluation von Particle Swarm Optimization anhand der Maßsynthese eines Roboters

Oskar Pusz Bachelor ThesisLeibniz Universität Hannover2014.
PDF [BibTex]

×

BibTex Entry

@thesis{pusz:14:bachelor,
 author = {Oskar Pusz},
 entrysubtype = {Thesis},
 month = {March},
 school = {Leibniz Universit{\"a}t Hannover},
 title = {Performance-Evaluation von Particle Swarm Optimization anhand der Maßsynthese eines Roboters},
 type = {Bachelor Thesis},
 year = {2014}
}

Close

Supervised Theses

Running Theses

Design and Implementation of an Early Timeout-Detection Mechanism for Systematic Fault-Injection Campaigns

Typ: Masterarbeit
Status: laufend
Supervisors: Oskar Pusz, Daniel Lohmann
Project: CLASSY-FI
Bearbeiter: Tim-Marek Thomas
Avoiding unnecessary fault-injection campaign run time

Finished Student Theses

Design and Implementation of Benchmarks for Systematic Fault Injection

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Oskar Pusz, Daniel Lohmann
Project: CLASSY-FI
Bearbeiter: Jannis Bujak (abgegeben: 02. Mar 2021)
Awesome benchmarks for awesome fault injection methods.

Formalizing the Execution Semantics of the AVR Instruction Set with the Description Language SAIL

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Christian Dietrich, Oskar Pusz, Daniel Lohmann
Project: CLASSY-FI
Bearbeiter: Luca Nedaskovskij (abgegeben: 16. Oct 2020)
Implementing the AVR-processor instruction-set architecture in SAIL for generating emulators automatically.

Fault-Space Approximation using Basic-Block Fault Injection

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Oskar Pusz, Christian Dietrich, Daniel Lohmann
Bearbeiter: Daniel Kiechle (abgegeben: 15. Oct 2018)
[PDF]

Fault-Space Approximation using Call-Region Fault Injection

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Oskar Pusz, Daniel Lohmann
Bearbeiter: anonymous (abgegeben: 01. Nov 2018)

Data-Flow Analysis for Fault-Equivalence Set Forming on the ISA Layer

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Oskar Pusz, Christian Dietrich, Daniel Lohmann
Project: CLASSY-FI
Bearbeiter: Zena Obeidi (abgegeben: 01. Mar 2019)

Acceleration of Fault-Injection Campaigns through Early Timeout Detection

Typ: Masterarbeit
Status: abgeschlossen
Supervisors: Oskar Pusz, Daniel Lohmann
Project: CLASSY-FI
Bearbeiter: Felix Siegel (abgegeben: 22. May 2020)
Developing methods to avoid unnecessary fault-injection campaign run time