MSE Master of Science in Engineering

The Swiss engineering master's degree

Jedes Modul umfasst 3 ECTS. Sie wählen insgesamt 10 Module/30 ECTS in den folgenden Modulkategorien:

  • ​​​​12-15 ECTS in Technisch-wissenschaftlichen Modulen (TSM)
    TSM-Module vermitteln Ihnen profilspezifische Fachkompetenz und ergänzen die dezentralen Vertiefungsmodule.
  • 9-12 ECTS in Erweiterten theoretischen Grundlagen (FTP)
    FTP-Module behandeln theoretische Grundlagen wie die höhere Mathematik, Physik, Informationstheorie, Chemie usw. Sie erweitern Ihre abstrakte, wissenschaftliche Tiefe und tragen dazu bei, den für die Innovation wichtigen Bogen zwischen Abstraktion und Anwendung spannen zu können.
  • 6-9 ECTS in Kontextmodulen (CM)
    CM-Module vermitteln Ihnen Zusatzkompetenzen aus Bereichen wie Technologiemanagement, Betriebswirtschaft, Kommunikation, Projektmanagement, Patentrecht, Vertragsrecht usw.

In der Modulbeschreibung (siehe: Herunterladen der vollständigen Modulbeschreibung) finden Sie die kompletten Sprachangaben je Modul, unterteilt in die folgenden Kategorien:

  • Unterricht
  • Dokumentation
  • Prüfung
Software Assurance (TSM_SoftwAs)

Students shall gain an overview over current methods for software assurance. This may include, but is not limited to,

   * advanced techniques for automated debugging; and

   * advanced techniques for formal correctness of programs.

Eintrittskompetenzen

Students will need knowledge in software engineering, specifically testing. Students will need to be reasonably fluent in a variety of languages including but not limited to C and Python. Knowledge of some assembly (e.g., x86, x86-64, or ARM) will be advantageous.

Lernziele

  • Students get an overview of advanced techniques for software assurance that are related to automated debugging. This may include, but is not limited to, delta debugging, automated fault repair, and mining function specifications.
  •  Students know techniques and tools for automated test case generation, such as fuzzing, how they work, to what class of faults they apply, how to interpret their outputs, and how to use them in their own projects.
  • Students receive an in-depth introduction to techniques of formal correctness, such as symbolic execution or automated correctness proofs

Modulinhalt

  • Automated debugging
  • Formal methods

Lehr- und Lernmethoden

Lectures will be part ex-cathedra lectures, part in-class exercises.

These exercises are designed to be done either individually or in groups and can be done remotely. There may also be guest lectures.


Bibliografie

Andreas Zeller, Why Programs Fail. Morgan Kaufman. Second Edition, 1770. (Yes, that's the date that Amazon has for the book. In reality, the second edition is from 2008.)

Ari Takanen, Fuzzing for Software Security Testing and Quality Assurance. Artech House Publishers. Second Edition, 2018. Seokhie Hong (Ed.), Side Channel Attacks. MDPI. 2019.

David J. Smith and Kenneth G. L. Simpson, The Safety Critical Systems Handbook: A Straightforward Guide to Functional Safety: IEC 61508 (2010 Edition), IEC 61511 (2015 Edition) and Related Guidance. Butterworth-Heisman. Fifth edition, 2020.


Vollständige Modulbeschreibung herunterladen

Zurück