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

The Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) is the premier international conference for presenting the very best research results, problem solutions, and insight on new challenges facing the field of dependability and security.

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.

The conference theme is Cyber-Physical Systems and Society.

The SDL 2011 International Conference addresses system and software modelling, specification, and analysis of distributed systems, embedded systems, communication systems, and real-time systems.

Engineering of Computer Based Systems, 2011 ECBS 2011 will be the 18th formal IEEE sponsored meeting dedicated to formulating and advancing methods, techniques and tools for the engineering of computer-based systems. The conference is devoted to the design, development, deployment, and analysis of complex systems whose behaviour is largely determined or controlled by computers. Such systems are characterized by functional, performance, and reliability requirements that mandate the tight integration of information processing and physical processes.

The objective of this conference is to be a primary forum for reporting state-of-the-art advances and innovations in theoretical principles, tools, applications, systems infrastructure, and testbeds for cyber-physical systems. Contributions should emphasize the cross-cutting, system-wide themes.

The 1st International Conference on Pervasive and Embedded Computing and Communication Systems  

ICESS 2010 - Intl. Conference on Embedded Software and Systems