Trans-Atlantic Modelling
and Simulation for
Cyber-Physical Systems

TAMS4CPS Theme 1 US Workshop

TAMS4CPS held its first US workshop on July 8th – 10th 2015 at George Mason University in Washington, DC. The workshop provided an opportunity for up to 10 US-based and a number of EU-based contributors to discuss latest developments and future research needs in CPS.

The workshop was the first in a series that aim to identify collaboration opportunities between the US and EU. Each workshop focuses on a theme in the area of modelling and simulation for CPS, and consists of activities to:
• introduce EU and US perspectives on the state of the art, strengths and weaknesses, and vision;
• identify and prioritize trends and drivers, markets, technologies and enablers in the field;
• elicit “test cases” (instances of CPSs and CPS design challenges) that can be used to benchmark modelling and simulation products (methods, tools, etc.) against the state of the art and against each other;
• identify research collaboration priorities and implementation plans.

This first workshop focused on Theme 1 of TAMS4CPS “Architectures: principles and models for autonomous, safe and secure Cyber-Physical Systems”. This covers all aspects of systems architecting, but particularly development of modular and composable architectures that take account of non-functional aspects, such as safety and security. Eventually, such models must include the human element in a disciplined fashion and may be used to support assurance and even certification requirements. The area of developing and agreeing standards is particularly important for this theme.

What is a test case?
Within the workshop, we aim to identify and work up one or more “test cases”. The role of test cases is to provide M&S developers with a means to evaluate their product against the state of the art and other products. The format of a test case may vary depending on the M&S research area: some may require an accompanying data set, whereas others may just be a description of the use case. The minimal requirement for a test case is a detailed enough description to provide an unambiguous specification of a Cyber-Physical System. During the workshop we aim to elaborate test case descriptions into specifications at three different competency levels to provide a form of benchmark for an M&S product.

Agenda
The workshop consisted of 5 half-day sessions as follows:

Bild1

Preparational materials are available under resources.