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.
File
The Ectokernel Approach: A Composition Paradigm for Building Evolvable Safety-critical Systems from Unsafe Components
Tarek Abdelzaher Submitted by Tarek Abdelzaher on November 2nd, 2011
Video
Provably Safe Autonomous Backflip - UC Berkeley
Sponsor(s)
Air Force Office of Scientific Research
National Science Foundation
Remote Video
Tags
Janos Sztipanovits Submitted by Janos Sztipanovits on August 30th, 2011
File
Monitoring Techniques for Safety Critical Cyber-Physical Systems
Aravinda Sistla Submitted by Aravinda Sistla on August 10th, 2011
File
Dynamical-Network Evaluation and Design Tools for Strategic-to- Tactical Air Traffic Flow
Yan Wan Submitted by Yan Wan on August 10th, 2011
File
The Roles of Communications in Lane Merging Systems
Nicholas Maxemchuk Submitted by Nicholas Maxemchuk on August 10th, 2011
File
Action Webs
Claire Tomlin Submitted by Claire Tomlin on August 10th, 2011
File
High Confidence Active Safety Control in Automotive Cyber-Physical Systems
Francesco Borrelli Submitted by Francesco Borrelli on August 10th, 2011
File
Establishing Integrity in Dynamic Networks of Cyber-Physical Devices
Submitted by Vinod Ganapathy on August 10th, 2011
File
Architecture and Distributed Management for Reliable Mega-scale Smart Grids
Junshan Zhang Submitted by Junshan Zhang on August 10th, 2011
File
Fundamental Limitations for Classes of Cooperative Multi-Agent Systems
Submitted by Anonymous on August 1st, 2011
Subscribe to Validation and Verification