Dies ist eine alte Version des Dokuments!
Wissenschaftlicher Mitarbeiter
foerster[at]embedded[dot]rwth-aachen[dot]de
Tel. +49 241 80 21160
Fax +49 241 80 22150
Adresse: Ahornstr. 55, 52074 Aachen, Germany
Büro: Raum 2319 (Gebäude H)
Ich interessiere mich für Methoden zur Unterstützung der Entwicklung eingebetteter Software und Software für speicherprogrammierbare Steuerungen (SPS) in der Designphase, z.B.
Semester | Titel | Art |
---|---|---|
Winter 17/18 | ||
Sommer 17 | ||
Winter 16/17 |
Sommer 16 |
Winter 15/16 | ||
Sommer 15 | ||
Winter 14/15 | Ausgesuchte Themen zur Eingebetteten Software (Unterthema: Model-driven development of control software for distributed automation) | Seminar |
Praktikum Systemprogrammierung (Versuch 5, Gemeinsamer Speicher) | P | |
Sommer 14 | Safety & reliability of software-controlled systems (SRES) | V/Ü |
Winter 13/14 | State/event-based software specification & analysis | Seminar |
Praktikum Systemprogrammierung (Versuch 5, Gemeinsamer Speicher) | P | |
Sommer 13 | Safety and dependability of software-controlled systems | V/Ü |
Winter 12/13 | Praktikum Systemprogrammierung (Versuch 1, Einführung) | P |
Sommer 12 | Sicherheit und Zuverlässigkeit softwaregesteuerter Systeme | V/Ü |
Winter 11/12 | Praktikum Systemprogrammierung (Versuch 1, Einführung) | P |
Sommer 11 | Sicherheit und Zuverlässigkeit softwaregesteuerter Systeme | V/Ü |
Nach Vereinbarung
@techreport { FAK+14, author = { F{\"o}rster, Marc and Auerswald, Marko and Keldenich, Phillip and Kowalewski, Stefan }, title = { Semantic interfaces for automotive software components: exemplary development & validation of a practical specification language }, pages = { 1-100 }, year = { 2014 }, typ = { PUB:(DE-HGF)29 }, reportid = { RWTH-CONV-236315 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/752291 }, }
@inproceedings { For14, author = { F{\"o}rster, Marc }, title = { Evaluating Embedded-Software Specifications -- Quantitative and Structured Assessment of Declarative Interface Descriptions }, booktitle = { IEEE International Symposium on Software Reliability Engineering workshops (ISSREW), 2014 : 3 - 6 Nov. 2014, Naples, Italy ; proceedings }, publisher = { IEEE }, pages = { 142-143 }, year = { 2014 }, address = { Piscataway, NJ }, organization = { 2014 IEEE International Symposium on Software Reliability Engineering Workshops, Naples (Italy), 2014-11-03 - 2014-11-06 }, doi = { 10.1109/ISSREW.2014.74 }, typ = { PUB:(DE-HGF)7 }, reportid = { RWTH-2015-00716 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/462802 }, }
@inproceedings { For13, author = { F{\"o}rster, Marc }, title = { Conditional software specification & assurance : A practical assessment of contract-based approaches }, booktitle = { 2013 IEEE International Symposium on Software Reliability Engineering workshops (ISSREW 2013) : Pasadena, California, USA, 4 - 7 November 2013 }, publisher = { IEEE }, pages = { 36-36 }, year = { 2013 }, address = { Piscataway, NJ }, organization = { IEEE International Symposium on Software Reliability Engineering workshops, Pasadena (USA), 04-11-2013 - 07-11-2013 }, doi = { 10.1109/ISSREW.2013.6688860 }, typ = { PUB:(DE-HGF)8 }, reportid = { RWTH-CONV-202934 }, cin = { 120000 / 122810 }, url = { http://publications.rwth-aachen.de/record/225271 }, }
@techreport { For12, author = { F{\"o}rster, Marc }, title = { Dependable reuse & guarded integration of automotive software components - approaches to conditional specification & assurance }, pages = { 1-78 }, year = { 2012 }, typ = { PUB:(DE-HGF)29 }, reportid = { RWTH-CONV-236319 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/752295 }, }