Acumen : an open-source testbed for cyber-physical systems research

Developing Cyber-Physical Systems requires methods and tools to support simulation and verification of hybrid (both continuous and discrete) models. The Acumen modeling and simulation language is an open source testbed for exploring the design space of what rigorousbut- practical next-generation tools can deliver to developers of Cyber- Physical Systems. Like verification tools, a design goal for Acumen is to provide rigorous results. Like simulation tools, it aims to be intuitive, practical, and scalable. However, it is far from evident whether these two goals can be achieved simultaneously. This paper explains the primary design goals for Acumen, the core challenges that must be addressed in order to achieve these goals, the “agile research method” taken by the project, the steps taken to realize these goals, the key lessons learned, and the emerging language design

Categories and Subject Descriptors: D.0 General General Terms: Management Additional Key Words and Phrases: Organize PLoP, PLoP conference

There are several recurring PLoP events happening around the world each year. Each event has its own distinct style, while at the same time being a variation on the main theme with workshops and games. Since PLoPs are non-profit events, they are organized by non-paid volunteers who take on the various roles for a specific conference only. The patterns in this paper are meant for PLoP event organizers