A technical operation or procedure that consists of determination of one or more characteristics of a given product, process or service according to a specified procedure.
file
Cyber-physical systems (CPS) have become increasingly prevalent in appli- cations including health care, energy, and transportation. The tight coupling between cyber and physical components of CPS implies that cyber attacks can degrade the safety, availability, and performance of physical components. The cyber components also introduce multiple entry points to the CPS, lowering the cost of attacks compared to purely physical systems.
file
SCALE (Safe Community Awareness and Alerting) is a Global Cities Challenge Project with multiple deployments, the primary one being in in Montgomery County, Maryland. SCALE2 is a community government/academic/industry partnership effort that aims to deploy, actuate and evaluate techniques to support multiple heterogeneous IoT technologies in real world communities. Through SCALE, significant public benefits can be enabled in the areas of emergency preparedness/response at the individual and community scale.
file
The current lack of toolchain for high confidence testing, validation and verification of advanced, connected and automated/autonomous vehicles can impede and even entirely prevent the introduction of such vehicles into mass production. To address this challenge, this projects develops theory, methods, and tools for generating and optimizing test trajectories and data inputs that can maximize opportunities to uncover faults in both physical and cyber domain in future automotive vehicles.
file
Abstract: Robustness Guided Testing and Verification for Cyber-Physical Systems
PI: Georgios Fainekos School of Computing, Informatics and Decision System Engineering, Arizona State University. E-mail: fainekos@asu.edu Website: http://www.public.asu.edu/~gfaineko
forum
Submitted by Anonymous on Wed, 10/12/2016 - 2:27pm
forum
Submitted by Anonymous on Wed, 10/12/2016 - 2:27pm
event
Submitted by Anonymous on Wed, 10/12/2016 - 2:25pm
13th International Conference on integrated Formal Methods (iFM 2017)
Objectives and Scope
event
Submitted by Anonymous on Wed, 10/12/2016 - 2:01pm
23rd International Open Workshop on Synchronous Programming (SYNCRON)
Invited speakers: Edward Lee, UC Berkeley, USA; Koen Claessen, Chalmers DK; Steven Edwards, U Columbia, USA.
External sponsoring allows to offer a reduced registration fee for young researchers.
The 23rd International Open Workshop on Synchronous Programming 2016 will be hosted by the Otto-Friedrich University of Bamberg and held in the Dominican Church University Aula located in the UNESCO World Heritage Site of Old Town Bamberg in Upper Franconia.
event
Submitted by Anonymous on Wed, 10/12/2016 - 1:49pm
CAV 2017: 29th International Conference on Computer-Aided Verification
Scope