Current and Past
I joined the European
Space Agency in February 2015, where I work as a Flight Software
Engineer in the Software
Systems division, Directorate of Technology,
Engineering and Quality (TEC-SWF) at ESTEC, Noordwijk (NL).
My focus is on applied
formal methods to support the model-based design and analysis of
space systems, in particular software requirements, fault
detection, isolation and recovery (FDIR), real-time operating
systems, schedulability, time and space partitioning and
multi-core. I am coordinating several research activities in these
domains and I provide software engineering support to the CHEOPS satellite,
due to be launched in October 2019.
I worked for CHESS (Computer Hardware &
System Software) from 1999 to 2015, a small / medium enterprise
based in Haarlem (NL) specialized in the development of high-end
computer based systems for business critical applications,
developing both hard- and software in house, product development
for OEMs and
other high-tech customers. Since 2014, this company moved its main
focus entirely to MyriaWise:
a groundbreaking smart wireless and secure fully meshed network
technology that is self-organizing, scalable, low power and
robust, with applications in smart lighting.
I have successfully
completed (of course together with many colleagues and in close
cooperation with our customers) substantial system engineering
projects for clients such as NEONE (their
certified BCT One Boordcomputer Taxi product), the
of Defense, the Flower Auction at Aalsmeer (real-time
auction clock system), the European
Space Agency (proposal handling system of
the Integral mission), Oce Technologies (wide-format
printing calibration subsystem) and Siemens VDO Automotive (now
known as TomTom;
in-car radio navigation system architecture and real-time embedded
middleware for their high-volume multi-media OEM platform).
I was a member of the
CHESS innovation team and worked for four years in the BODERC
research project at the Embedded
Systems Institute. This project (from September 2002 until
March 2007) was aimed at developing and improving
multi-disciplinary design methodologies for real-time and
distributed embedded systems. I obtained my doctoral degree
at the Radboud
University Nijmegen, on the work performed in this project.
My promotor was prof. dr. Frits Vaandrager and my
co-promotor and thesis supervisor was prof. dr.
Through Chess, I was
also involved in the Quasimodo Seventh
Framework EU project on quantitative analysis of embedded systems
(from January 2008 until April 2011) and the DESTECS FP7 project
(from January 2010 until December 2012) on co-simulation to
support multi-disciplinary system design. DESTECS was a direct
follow-up to my own PhD research,
which led to the publication of a book and a tool which provides a coupling
between Overture and
the continuous time simulator 20-sim.
This strand of research was continued in the INTO-CPS project,
under the EU Eight framework (Horizon 2020).
Last but not least, I
participate in and still contribute to the Overture open-source formal methods
tools project, supporting the Vienna Development Method (VDM).
Conference and Journal Publications
- Maxime Perrotin, Konrad Grochowski, Marcel Verhoef, Damien
Galano, Michal Mosdorf, Michal Kurowski, François Denis, Estelle
Graas, TASTE in action, Embedded
Real-time Software and Systems (ERTS), January 2016. Download
- J.S. Fitzgerald, P.G. Larsen, K.G. Pierce and M.H.G. Verhoef, A
formal approach to collaborative modelling and co-simulation
for embedded Systems. Mathematical Structures in Computer
Science (MSC), 23, pp 726-750, doi:10.1017/S0960129512000242, Cambridge University
Press, July 2013.
- John Fitzgerald, Peter Gorm Larsen, Ken Pierce, Marcel Verhoef
and Sune Wolff. Collaborative Modelling
and Co-simulation in the Development of Dependable Embedded
Systems. Integrated Formal Methods, LNCS 6369, pp 12-26,
talk (by John Fitzgerald).
- Broenink, Larsen, Verhoef, Kleijn, Jovanovic, Pierce. Design
Support and Tooling for Dependable Embedded Control Software,
SERENE 2010. Download the paper.
- Peter Gorm Larsen, Nick Battle, Miguel Ferreira, John
Fitzgerald, Kenneth Lausdahl, Marcel Verhoef, The
Overture initiative integrating tools for VDM, ACM
Sigsoft, Software Engineering Notes, Volume 35, Issue 1
- Jozef Hooman, Marcel Verhoef. Formal
Semantics of a VDM Extension for Distributed Embedded Systems,
D. Dams and U. Hannemann and M. Steffen (eds): W.P. de Roever
Festschrift, LNCS 5930, pp 142-161, 2010. Download the paper.
- Marcel Verhoef. Modeling and Validating
Distributed Embedded Real-Time Systems, PhdThesis,
Radboud University Nijmegen, 21 January 2009.
- John Fitzgerald, Peter Gorm Larsen, Simon Tjell, Marcel
Verhoef. Validation Support for
Distributed Real-Time Embedded Systems in VDM++. 10th IEEE
High Assurance Systems Engineering Symposium, HASE 2007,
pages 331-340. Download the paper.
- Marcel Verhoef, Peter Visser, Jozef Hooman, Jan Broenink. Co-simulation
of Real-time Embedded Control Systems, LNCS 4591,
Integrated Formal Methods IFM 2007, pp. 639-658,
2007. Download the presentation.
Download the paper.
- Zoe Andrews, John Fitzgerald, Marcel Verhoef. Resilience
Modelling Through Discrete Event and Continuous Time
Co-Simulation, DSN Fast
Abstract. Accepted for the 37th Annual IEEE/IFIP
on Dependable Systems and Networks (July
- Peter van den Bosch, Gerrit Muller, Marcel Verhoef, Oana
Florescu. Modeling of hardware software
performance of high-tech systems. INCOSE 2007. Download
- Marcel Verhoef, Peter Gorm Larsen. Interpreting
Distributed System Architectures Using VDM++ - A Case Study.
Fifth Conference on System Engineering Research, March 2007.
Download the paper and
- Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal. Reusing
Real-Time Systems Design Experience Through Modelling Patterns.
Appeared in: Forum on specification and
Design Languages (FDL). ECSI, 2006. Received best
paper award. Download
- Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman. Modeling
and Validating Distributed Embedded Real-Time Systems with
VDM++. Appeared in: FM 2006: Formal
Methods. Lecture Notes in Computer Science 4085, pp
147-162, Springer, 2006. Download the paper. Download the presentation.
- Martijn Hendriks, Marcel Verhoef. Timed
Automata Based Analysis of Embedded Systems Architectures.
Appeared in: Workshop on Parallel and
Distributed Real-Time Systems (WPDRTS). IEEE, 2006. Download the published paper or download as technical report ICIS-R06003. Download the presentation.
- Heico Sandee, Maurice Heemels, Gerrit Muller, Peter van den
Bosch, Marcel Verhoef. Threads of
Reasoning: A Case Study in Printer Control. Appeared in: Systems
Engineering: Shining Light on Though Issues. 16th Annual
International INCOSE Symposium. 2006. Download the paper.
- Ernesto Wandeler, Lothar Thiele, Marcel Verhoef, Paul
Lieverse. System Architecture Evaluation
using Modular Performance Analysis: a Case Study.
Appeared in International Journal of
Software Tools for Technology Transfer (STTT). Special Section on Quantitative Analysis of Real-Time
Embedded Systems. Volume 8, No 6, pp 649-667, Springer,
2006. Download the paper. This paper was originally
accepted for the 1st International
Symposium On Leveraging Applications of formal methods
(ISOLA'04). The paper was revised for the STTT journal special
the presentation given at the Bits
& Chips 2005 Embedded Conference.
The MPA toolkit, developed by ETH Zurich, is available here.
Have a look at my entry in the DBLP Computer Science bibliography
Books and book chapters
- John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef (editors), Collaborative
Design for Embedded Systems - Co-modelling and co-simulation,
Springer Verlag, 2014. Buy the book. ISBN 978-3-642-54117-9. Also look at
tool to support the methodology
described in the book.
- John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef. Vienna
Development Method. Article appeared in the Wiley Encyclopedia of Computer Science and Engineering,
Benjamin W. Wah (editor), Wiley, Hoboken, NJ, January 2009,
pages 2971-2982. ISBN 978-0-471-38393-2.
- John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat,
Marcel Verhoef. Validated Designs for
Object-oriented Systems. Springer, 2005. 402 pages. ISBN
1-85233-881-4. Buy the book. Also appeared as a Japanese translation with ISBN
978-1-85233-881-7 with the same publisher.
left to right: John, Marcel (me), Nico, Paul and Peter.