~~NOTOC~~ ====== Marc Förster, M.Sc. ====== Research Assistant\\ \\ === Contact === foerster[at]embedded[dot]rwth-aachen[dot]de\\ \\ Phone +49 241 80 21160\\ Fax +49 241 80 22150\\ \\ Address: Ahornstraße 55, 52074 Aachen, Germany\\ Office: room 2319 (building H) \\ \\ ===== Research ===== #;; I am interested in the early, design-phase support of the development of reusable and dependable software-controlled systems and software for programmable logic controllers (PLC), covering the aspects\\ #;; \\ * virtual, model-based engineering, * component-based semantic models, * formal specification and analysis (Markov chains, fault trees, model checking), * quantitative specification assessment, * visualisation of dependability properties and quality indicators, * analysis with incomplete information, * model evolution and reuse. \\ ===== Available topics for students' theses ===== * On request \\ ===== Supervised theses ===== * {{:lehre:abschlussarbeiten:poster_mf_iso-26262_a4.pdf|A conceptual framework and tool for ISO 26262 compliance}} \\ ===== Teaching ===== \\ ^ Term ^ Title ^ Type ^ | Winter 14/15 | [[lehre:wise1415:seminar]] (Subtopic: Model-driven development of control software for distributed automation) | Seminar | | ::: | [[lehre:wise1415:psp]] (Assignment 5, Shared memory) | P | | Summer 14 | [[lehre:sose14:safetyreliability]] | V/Ü | | Winter 13/14 | [[lehre:wise1314:sespec]] | Seminar | | ::: | [[lehre:wise1314:psp]] (Assignment 5, Shared memory) | P | | Summer 13 | [[lehre:sose13:safetyreliability]] | V/Ü | | Winter 12/13 | [[lehre:wise1213:psp]] (Assignment 1, Introductory) | P | | Summer 12 | [[lehre:sose12:safetyreliability]] | V/Ü | | Winter 11/12 | [[lehre:wise1112:psp]] (Assignment 1, Introductory) | P | | Summer 11 | [[lehre:sose11:safetyreliability]] | V/Ü | \\ \\ ===== Consultation hours ===== On appointment\\ \\ ===== Publications ===== ~~NOCACHE~~ #;; #;;