Marc Förster, M.Sc.

Wissenschaftlicher Mitarbeiter

Kontakt

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)

Forschung

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.


  • virtuelles, modellbasiertes Engineering,
  • komponentenbasierte semantische Modelle,
  • formale Spezifikation und Analyse (Markoffketten, Fehlerbäume, Model-Checking),
  • quantitative Bewertung von Spezifikationen,
  • Visualisierung von Zuverlässigkeitseigenschaften und Qualitätsindikatoren,
  • Analyse mit unvollständiger Information,
  • Modellevolution und -wiederverwendung.


Offene Abschlussarbeiten

  • Auf Anfrage


Betreute Abschlussarbeiten

Lehre


Semester Titel Art
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/Ü



Sprechstunde

Nach Vereinbarung

Veröffentlichungen


Publikations-Export
[FAKK14]
PDFBIB
Förster, M., Auerswald, M., Keldenich, P., and Kowalewski, S., "Semantic interfaces for automotive software components: exemplary development & validation of a practical specification language", RWTH, ESL-TR-2014-AK-02, 2014.

Semantic interfaces for automotive software components: exemplary development & validation of a practical specification language

Bibtex entry :

@techreport { FAKK14,
	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 },
	institution = { RWTH },
	keywords = { Cyber-physical systems, model-based development, modular
		specification, contract-based verification, refinement
		verification, timed automata, time Petri nets, model
		checking, behaviour description language },
	year = { 2014 },
	number = { ESL-TR-2014-AK-02 },
	month = { March },
	note = { To appear },
	timestamp = { 2015.01.06 },
	for_reporting_period = { 2013 },
}
[FOR14]
Förster, M., "Evaluating embedded-software specifications", in Proc. ISSRE, 2014.

Evaluating embedded-software specifications

Bibtex entry :

@conference { FOR14,
	url = { http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6983827 },
	author = { F{\"o}rster, Marc },
	title = { Evaluating embedded-software specifications },
	booktitle = { ISSRE },
	year = { 2014 },
	timestamp = { 2015.01.06 },
	language = { eng },
	for_reporting_period = { 2014 },
}
[For13]
PDFBIB
Förster, M., "Conditional software specification & assurance - a practical assessment of contract-based approaches", in Proc. ISSRE 2013, 2013, Invited talk.

Conditional software specification & assurance - a practical assessment of contract-based approaches

Bibtex entry :

@conference { For13,
	author = { F{\"o}rster, Marc },
	title = { Conditional software specification & assurance - a practical
		assessment of contract-based approaches },
	booktitle = { ISSRE 2013 },
	year = { 2013 },
	timestamp = { 2013.10.22 },
	language = { eng },
	i11projectkey = { FAT },
	note = { Invited talk },
	for_reporting_period = { 2013 },
}
[FOR12]
Förster, M., "Dependable reuse & guarded integration of automotive software components - approaches to conditional specification & assurance", RWTH, ESL-2012/FAT-P, 2012.

Dependable reuse & guarded integration of automotive software components - approaches to conditional specification & assurance

Bibtex entry :

@techreport { FOR12,
	author = { F{\"o}rster, Marc },
	title = { Dependable reuse & guarded integration of automotive
		software components - approaches to conditional
		specification & assurance },
	pages = { 1--78 },
	institution = { RWTH },
	keywords = { Automotive software, case study, compositional reasoning,
		conditional specification, contract algebra, embedded
		systems, model-based development, program verification,
		software components, software reuse, state of the art,
		survey, virtual integration. },
	year = { 2012 },
	number = { ESL-2012/FAT-P },
	month = { November },
	url = { http://www.vda.de/en/publikationen/publikationen_downloads/detail.php?id=1141 },
	timestamp = { 2013.10.22 },
	for_reporting_period = { 2012 },
}

RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland