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

Teaching


Term Title Type
Winter 14/15 Ausgesuchte Themen zur Eingebetteten Software (Subtopic: Model-driven development of control software for distributed automation) Seminar
Praktikum Systemprogrammierung (Assignment 5, Shared memory) P
Summer 14 Safety & reliability of software-controlled systems (SRES) V/Ü
Winter 13/14 State/event-based software specification & analysis Seminar
Praktikum Systemprogrammierung (Assignment 5, Shared memory) P
Summer 13 Safety and dependability of software-controlled systems V/Ü
Winter 12/13 Praktikum Systemprogrammierung (Assignment 1, Introductory) P
Summer 12 Sicherheit und Zuverlässigkeit softwaregesteuerter Systeme V/Ü
Winter 11/12 Praktikum Systemprogrammierung (Assignment 1, Introductory) P
Summer 11 Sicherheit und Zuverlässigkeit softwaregesteuerter Systeme V/Ü



Consultation hours

On appointment

Publications


Publikations-Export
[FAK+14]
Förster, M., Auerswald, M., Keldenich, P., and Kowalewski, S., "Semantic interfaces for automotive software components: exemplary development & validation of a practical specification language", 2014.

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

Bibtex entry :

@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 },
}
[For14]
Förster, M., "Evaluating Embedded-Software Specifications -- Quantitative and Structured Assessment of Declarative Interface Descriptions", in Proc. IEEE International Symposium on Software Reliability Engineering workshops (ISSREW), 2014 : 3 - 6 Nov. 2014, Naples, Italy ; proceedings, Piscataway, NJ, 2014, IEEE, pp. 142-143.

Evaluating Embedded-Software Specifications -- Quantitative and Structured Assessment of Declarative Interface Descriptions

Bibtex entry :

@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)8 },
	reportid = { RWTH-2015-00716 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/462802 },
}
[For13]
Förster, M., "Conditional software specification & assurance : A practical assessment of contract-based approaches", , Piscataway, NJ, 2013, IEEE, pp. 36-36.

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

Bibtex entry :

@inproceedings {  For13,
	author = { F{\"o}rster, Marc },
	title = { Conditional software specification & assurance : A practical
		assessment of contract-based approaches },
	publisher = { IEEE },
	pages = { 36-36 },
	year = { 2013 },
	address = { Piscataway, NJ },
	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 },
}
[For12]
Förster, M., "Dependable reuse & guarded integration of automotive software components - approaches to conditional specification & assurance", 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 },
	year = { 2012 },
	typ = { PUB:(DE-HGF)29 },
	reportid = { RWTH-CONV-236319 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/752295 },
}

RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany