Testing

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

Visible to the public Towards a Science of Attack Composition, Mitigation and Verification in Cyber Physical Systems- A Passivity Based Approach

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

Visible to the public SCALE2- Resilient IoT-Based Safe Community Awareness and Alerting Platforms Poster.pdf

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

Visible to the public Maneuver and Data Optimization for High Confidence Testing of Future Automotive Cyberphysical Systems

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

Visible to the public Robustness Guided Testing and Verification for Cyber-Physical Systems

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

event

Visible to the public  iFM 2017
Sep 18, 2017 7:00 am - Sep 22, 2017 6:00 pm CEST

13th International Conference on integrated Formal Methods (iFM 2017)

Objectives and Scope

event

Visible to the public  SYNCHRON 2016
Dec 05, 2016 7:00 am - Dec 09, 2016 6:00 pm CET

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

Visible to the public  CAV 2017
Jul 22, 2017 7:00 am - Jul 28, 2017 6:00 pm CEST

CAV 2017: 29th International Conference on Computer-Aided Verification

Scope