Personendetail

DI (FH) Peter Krebs

Research Staff


T: +43 1 606 68 77-8414
F: +43 1 606 68 77-8459

Room: B.3.08
Favoritenstraße 226
1100 Wien


Lectures 2022/23

Engineering

> Distributed Systems Dependability ILV
IT-Security more

Distributed Systems Dependability ILV

Lector: DI (FH) Peter Krebs

2SWS
4ECTS
> Wireless Network Security ILV
IT-Security more

Wireless Network Security ILV

Lector: Tobias Buchberger, BSc MSc, DI (FH) Peter Krebs

2SWS
4ECTS
> Signal Transmission Techniques and Systems ILV
Electronic Systems Engineering more

Signal Transmission Techniques and Systems ILV

Lector: DI (FH) Peter Krebs

3SWS
4ECTS
> Formal Methods for Safety Critical Areas ILV
Safety and Systems Engineering more

Formal Methods for Safety Critical Areas ILV

Lector: DI (FH) Peter Krebs

2SWS
4ECTS

Lecture contents

- Definition and Application of Formal Methods
- Comparison between formal and nonformal methods
- Formal Specification
- Formal Verification
- Model Checking

Assessment methods

Continuous assessment
Continuous assessment

Teaching methods

Lecture with exercises

Language

German

> Safety related Technical Solutions ILV
Safety and Systems Engineering more

Safety related Technical Solutions ILV

Lector: DI (FH) Peter Krebs, DI Dr. Wolfgang Lechner, Christian Loidl, Dr. Reinhard Preiss

3SWS
3ECTS

Lecture contents

Solutions for Mechanics, Hydraulics and Pneumatics
- Inherently safe design measures
- Mechanical safety principles
- Fault exclusion
- Solutions for Hydraulics
- Solutions from Pneumatics
Solutions for Hardware
- Reliability of HW
- HW-Failures
- Failure prevention
- HW architecture
Solutions for Software
- SW safety
- Methods for Fault prevention
-- Programming language
-- Modularisation
-- Stateless design
-- Static resource allocation
- Methods for Fault tolerance
-- N-Version Programming
-- Recovery Block
-- Failure Assertion/Defensive Programming
-- Diverse Monitor/Watchdog
-- Error Detecting/Correcting Codes
Solutions for Process Engineering
- Failure probability
- Architecture
- Design of a SIF

Assessment methods

Final exam
Final exam

Teaching methods

Lecture with examples, practical exercises

Language

German

> Introduction to computer science ILV
High Tech Manufacturing more

Introduction to computer science ILV

Lector: DI (FH) Peter Krebs

2SWS
3ECTS

Lecture contents

Historical overview of the development of computer science (from the beginnings to modern times); basics of computer architecture (structure and functioning);
Computing with binary numbers (Boolean algebra, combinatorial logic);
Structure and functioning of processor and memory;
Number representation (How do "modern" computers manage stored data);
Structure and functioning of "modern" calculators;
Operating system (structure, differences and how it works).

Assessment methods

Final exam
Written exam

Teaching methods

Integrated Lecture
(Lecture/Drawings/Presentations)

Language

German

Publications

The publications of Peter Krebs written at FH Campus Wien can be found in our publication database, others in the personal web space.