Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
Abstract: The project aims to establish a Cyber-Physical Infrastructure for urban environments and address fundamental problems that involve data collection, resource allocation, real-time decision making, safety, and security.
Christos Cassandras Submitted by Christos Cassandras on November 6th, 2014
Abstract: Despite the integration of advanced cyber technologies in monitoring and communication in electric power networks, design and development of control systems, and in particular, Remedial Action Schemes (RAS) tend to evolve at a very slow pace. The objective of this research is to study new distributed system modeling techniques to faithfully capture the physical and communication  system characteristics  as well as the "wave" like propagation of some disturbances.
Kevin Tomsovic Submitted by Kevin Tomsovic on November 6th, 2014
Abstract: Analytically predicting the behavior of physical systems is generally not possible. For example, the three dimensional nature of physical systems makes it provably impossible to express closed-­‐form analytical solutions even simple systems.  This limitation  makes  experimentation  the  primary  modality  for  designing   new cyber-­‐physical systems.
Walid Taha Submitted by Walid Taha on November 6th, 2014
Event
ECRTS '15
EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS Lund, Sweden, 8-10th July 2015 Organized by the Euromicro Technical Committee on Real-Time Systems Conference web site: ecrts15.ecrts.org THEME AND TOPICS OF INTEREST ECRTS is the premier European venue for presenting research into the broad area of real-time and embedded systems. Along with RTSS and RTAS, ECRTS ranks as one of the three top international conferences on real-time systems.
Submitted by Anonymous on November 4th, 2014
Event
ICESS 2015
The 12th IEEE International Conference on Embedded Software and Systems Co-located with HPCC 2015 and CSS 2015 *IMPORTANT DATES*
Submitted by Anonymous on November 4th, 2014
Event
ISORC 2015
The 18th IEEE International Symposium On Real-Time Computing (ISORC 2015) Scope and Topics of Interest ISORC has become established as the leading event devoted to state-of-the-art research in the field of object/component/service-oriented real-time distributed computing (ORC) technology. We invite original submissions from academia and industry pertaining to all aspects of ORC technology. These include, but are not limited to:
Submitted by Anonymous on November 4th, 2014

ARCH15 is taking place at CPS Week in Seattle, USA. For more information on CPS Week, see http://www.cpsweek.org/2015/

Matthias Althoff Submitted by Matthias Althoff on October 25th, 2014
Event
SIES 2015
10th IEEE Symposium on Industrial Embedded Systems - SIES 2015 University of Siegen Conference web site:    www.sies2015.com Submission system:      https://easychair.org/conferences/?conf=sies2015
Submitted by Anonymous on October 24th, 2014
Event
RTA 2015
26th International Conference on REWRITING TECHNIQUES AND APPLICATIONS 29 June - 1 July, 2015, Warsaw, Poland co-located with TLCA, as part of RDP 2015 http://rdp15.mimuw.edu.pl/ RTA is the major forum for the presentation of research on all aspects of rewriting.  Topics of interest include:
Submitted by Anonymous on October 24th, 2014
Event
FIT-IoT-LAB
Internet of Things Conference (IoT) FIT- IoT-LAB   November 6 & 7 2014, Grenoble, France Scope
Submitted by Anonymous on October 20th, 2014
Subscribe to Validation and Verification