Fault Tolerant Systems Research Group – Homepage

Organizations

  • FTSRG: Main organization for FTSRG projects and educational materials
  • FTSRG-CSI: Organization for the Critical Systems Integration Laboratory
  • FTSRG-CA: Organization for the Critical Architectures Laboratory
  • FTSRG-MDSD: Organization for the Model-based Systems Design course
  • FTSRG-ReteLab: Organization for the Systems Engineering Laboratory
  • FTSRG-VIMIMA01: Organization for the Software and Systems Verification course
  • FTSRG-archive: Organization for archiving projects

General

  • Cheat Sheets: Getting started tutorials and cheat sheets for various technologies used in our projects

Courses

  • System Modelling: Repository for storing notes for the new System Modelling course (2nd semester)
  • System Modelling: Repository for storing the seminar exercises for the old System Modelling course (7th semester)
  • Lecture notes: Notes for the Model-Driven Software Development and System Integration courses.

Projects

Massif

Homepage: Massif

  • Massif: A Matlab Simulink Integration Framework for Eclipse

MONDO

Homepage: MONDO

MODES3

Homepage: MODES3

  • BME-MODES3: Model-based Demonstrator for Smart and Safe Systems

SEViz

Homepage: SEViz

Train Benchmark

Homepage: Train Benchmark

  • Train Benchmark: The Train Benchmark framework for evaluating incremental model validation performance
  • Train Benchmark TTC: Framework for the TTC 2015 Train Benchmark case

Papers

Templates