Multi-Paradigm Modelling (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 adequate modelling formalisms and semantic domains, with the goal to simulate (for optimization) or realize systems that may be physical, software or a combination of both. The key challenges are finding adequate Model Abstractions, Multi-formalism modelling, Model Transformation and the application of MPM techniques and tools to Complex Systems.

The conference  covers all aspects of model-based development for software and systems engineering, including modeling languages, methods, tools, and their applications.

The CPS topic in DATE includes high-level design, optimization and analysis of networked control and switched control systems; control/architecture co-design for distributed embedded systems; formal semantics, verification, model checking and abstraction refinement techniques for control software and systems; simulation and testing; architectures; modeling techniques; architecture-aware controller synthesis; model-based approaches to cyber-physical systems design; reliability-aware design and fault- tolerance; certification issues; specification languages and programming support; case studi

This workshop aims to bring together  researchers from industry and academia that work in the area of fundamental science and
engineering related to the CPS challenge. The meeting is part of the Dagstuhl Seminar Series. Key topics to be discussed are: The research topics related to CPSs to be covered in the seminar are thus (1) Composition & system integration, (2) Design automation, (3) Certification & security/privacy, (4) Theoretical Foundations and (5) Design Paradigms.

Birds-of-a-Feather Meeting on

Web Portals for Collaborative Cyber-Physical Systems
Software Research

Hosted by CPS Week 2011

The CPS Principal Investigator Meeting provides a forum for a wide range of stakeholders in academia, industry and federal agencies to review new developments in CPS foundations, to identify new, emerging applications, and to discuss technology gaps and barriers. The program of the meeting includes presentations about projects funded by NSF and other agencies, panels and discussion groups.

The full technical programme for DATE 2011, the major global event in Europe which will again push innovation in the worldwide electronics industry, is now available at: http://www.date-conference.com/conference/event-overview. The DATE 2011 program is clearly focused on industrial and academic needs. It consists of 57 technical sessions and around 200 papers, plus an executive track featuring 3 sessions with industry-leading executives. The program is completed by Tutorials given by world market-leaders and key scientists.

NIST in partnership with DARPA, NSF and NASA is seeking to identify the new, long-term technology advances needed to make future US manufacturing competitive. This workshop is the first step in a series of events exploring the role of technology in America's manufacturing future.

Goal

Workshop on the Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'11)

CyPhy aims to bring together researchers and practitioners working in the areas of modeling, simulation, and evaluation of cyber-physical systems. In 2011, CyPhy will take a broad interpretation of these areas. The priority for this first instance of this workshop is to bring together expertise from as diverse set of disciplines as possible.