Formal Methods Europe

Homepage of FME

COMPASS Summer School on Model-Based Systems of Systems Engineering

By Bernhard Aichernig • Jun 20th, 2014 • Category: News, Sponsored by FME

The COMPASS Summer School
( takes place in
London, UK from September 17-18, 2014.

We welcome participation from PhD students and post-doctoral researchers
and systems engineers with a background in Systems of Systems, Systems
Engineering, Formal Specification, Component-Based Development,
Model-Based Systems Engineering or related disciplines.

The objective of the Summer School is to encourage the growth and
development of a community of researchers around the COMPASS technology,
and to engage interest in a community which includes experts in
Model-Based Design, Architectural Modelling and Meta-Modelling, Systems
Engineering and Formal Specification. We will achieve this with an
intensive two day event with tutorials on the COMPASS technologies and

The Summer School is an opportunity to receive training in the COMPASS
methods and tools, and will include an introduction to SoS requirements
engineering, SoS modelling patterns and architectural frameworks, the
Symphony tool and model-based testing.

To register, please see full details at or contact

Steve Riddle,
Centre for Software Reliability, School of Computing Science, Newcastle
University, NE1 7RU

Comments are closed.