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 2307 (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 Entwurfsphase, z.B.


  • virtuelles, modellbasiertes Engineering,
  • modulare semantische Modelle für Komponenten,
  • formale Spezifikation und Analyse (Logik, Stochastik, Automaten, Modellprüfung),
  • quantitative Bewertung von Spezifikationen,
  • Visualisierung von Zuverlässigkeitseigenschaften und Qualitätsindikatoren,
  • Analyse mit unvollständiger Information,
  • Modellevolution und -wiederverwendung.


Das Forschungsprojekt zu formaler Spezifikation und Analyse wird von der Deutschen Forschungsgemeinschaft gefördert.


Es hat zum Ziel, Anforderungen bereits in der Entwurfsphase auf Korrektheit und Widerspruchsfreiheit zu untersuchen, ohne auf eine Implementierung angewiesen zu sein.


Der Lösungsansatz beruht auf bedingten Spezifikationen („conditionals“), bei denen eine Anforderung als Implikation über Vor- und Nachbedingungen formuliert wird.


Zur Modellprüfung suchen wir nach Inkonsistenzen zwischen Anforderungen auf Systemebene und ihrer Zerlegung in Komponentenanforderungen.


Um die Suche zu beschleunigen, setzen wir Verfahren der gerichteten Modellprüfung („directed model checking“) ein, die auf heuristischer Suche beruhen.


Für die notwendigen Abstandsschätzungen zum Ziel- bzw. Fehlerzustand testen wir neue Maße auf Grundlage von Klassifikationstheorie und statistischem Lernen.


Hiwi-Jobs

Offene Abschlussarbeiten

  • Auf Anfrage; eigene Themenvorschläge sind ebenfalls möglich.


Betreute Abschlussarbeiten

Lehre

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