MSE Master of Science in Engineering

The Swiss engineering master's degree

Chaque module vaut 3 ECTS. Vous sélectionnez 10 modules/30 ECTS parmi les catégories suivantes:

  • 12-15 crédits ECTS en Modules technico-scientifiques (TSM)
    Les modules TSM vous transmettent une compétence technique spécifique à votre orientation et complètent les modules de spécialisation décentralisés.
  • 9-12 crédits ECTS en Bases théoriques élargies (FTP)
    Les modules FTP traitent de bases théoriques telles que les mathématiques élevées, la physique, la théorie de l’information, la chimie, etc., vous permettant d’étendre votre profondeur scientifique abstraite et de contribuer à créer le lien important entre l’abstraction et l’application dans le domaine de l’innovation.
  • 6-9 crédits ECTS en Modules contextuels (CM)
    Les modules CM vous transmettent des compétences supplémentaires dans des domaines tels que la gestion des technologies, la gestion d’entreprise, la communication, la gestion de projets, le droit des brevets et des contrats, etc.

Le descriptif de module (download pdf) contient le détail des langues pour chaque module selon les catégories suivantes:

  • leçons
  • documentation
  • examen 
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.

Compétences préalables

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.

Objectifs d'apprentissage

  • 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

Contenu des modules

  • Automated debugging
  • Formal methods

Méthodes d'enseignement et d'apprentissage

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.


Bibliographie

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.


Télécharger le descriptif complet

Retour