First Workshop on Parameterized Verification Parameterized Verification (PV) is the task of verifying the correctness of systems composed of a finite but arbitrary number of identical components. The workshop is aimed at bringing together researchers working on PV in areas like Concurrent Software, Protocols, Distributed Algorithms, and Hardware Design. The home page of the workshop is at the URL: http://www.disi.unige.it/person/DelzannoG/PV/PV14/

8th International Workshop on Multi-Paradigm Modeling (MPM'14) Multi-Paradigm Modeling (MPM) is a research field focused on solving the challenge of combining, coupling and integrating rigorous models of some reality, at different levels of abstraction and views, using modeling formalisms and semantic domains, with the goal of simulating or realizing systems that may be physical, software or a combination of both. The key challenges are finding adequate Modeling Abstractions, Multi-formalism Models, Model Transformations and applying MPM techniques and tools to Complex Systems.

The 4th International IEEE Workshop on Software Certification (WoSoCer 2014) http://cecris-project.eu/wosocer2014 3-6 November 2014, Naples, Italy The 2014 edition of WoSoCer is co-located with the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014) and takes place in Naples, Italy, 3-6 November 2014. We invite researchers and practitioners, from both academia and industry, to present and discuss their work on software certification at the workshop.

MoDeVVa 2014 - 11th edition Model-Driven Engineering, Verification, and Validation Integrating Verification and Validation in MDE A satellite event of MODELS 2014 September 30th, Valencia, Spain http://wwwdi.supelec.fr/modevva/

The CPSArch 2014 Workshop will be held October 17, 2014, as part of Embedded Systems Week in New Delhi, India. The workshop call can be found at http://cpsarch.ecn.purdue.edu/

8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014) in conjunction with the 22nd International Conference on Real-Time and Network Systems (RTNS 2014) Call for papers

The third International Workshop – IWOCPS 3 took place on the 29-30th of May 2014, addressing theoretical, methodological and technological aspects in the field of Cyber-Physical Systems.

This file contains the source code for PARC's QRM system.

NIST Cyber-Physical Systems Public Working Group

What are Cyber-Physical Systems or CPS?

• Is a CPS any engineered system with a microprocessor?
• Do all CPS need to be connected to the internet?
• Are there a set of basic functions and architectural elements common to all CPS?

You are invited to join us in answering these questions and charting the path to the future.

Domain-Specific Modeling workshop at SPLASHCON 20/21 October 2014, Portland, Oregon, USA http://www.dsmforum.org/events/DSM14/ The workshop welcomes submissions that address Domain-Specific Modeling on practical or theoretical levels. Our main focus is on graphical domain-specific languages but we will also consider submissions on textual or other DSLs. Some of the issues that we would like to see addressed in this workshop are: