Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
»
Foundations
»
Validation and Verification
Certification
Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
file
Automotive System Safety Engineering Practitioner Knowledge
Submitted by pjoannou on Sat, 11/12/2011 - 4:00pm. Contributor:
Joe D’Ambrosio
Certification
Presentation
Meeting #8
file
What Goes Wrong With Software Development And Why?
Submitted by pjoannou on Sat, 11/12/2011 - 3:58pm. Contributor:
John Knight
Certification
Presentation
Meeting #8
file
Assurance Cases and Software: Is there any evidence?
Submitted by pjoannou on Sat, 11/12/2011 - 3:54pm. Contributor:
Mats Heimdahl
Certification
Presentation
Meeting #8
file
Robustness Assurance for Systems at Scale
Submitted by pjoannou on Sat, 11/12/2011 - 3:51pm. Contributor:
John Goodenough
Certification
Presentation
Meeting #8
file
Keeping Things “As Simple As Possible, but Not Simpler"
Submitted by pjoannou on Sat, 11/12/2011 - 3:48pm. Contributor:
David Parnas
Certification
Presentation
Meeting #8
file
Software Safety
Submitted by pjoannou on Sat, 11/12/2011 - 3:43pm. Contributor:
Gerard Holzmann
Certification
Presentation
Meeting #8
file
Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems
Submitted by Insup Lee on Fri, 11/04/2011 - 8:35am. Contributor:
Insup Lee
Certification
CPS Domains
Medical Devices
Composition
Embedded Software
Real-time Systems
Systems Engineering
Validation and Verification
CPS Technologies
Foundations
University of Pennsylvania
National CPS PI Meeting 2011
Project Abstracts
Academia
file
Infrastructure and Technology Innovations for Medical Device Coordination
Submitted by John Hatcliff on Thu, 11/03/2011 - 6:33pm. Contributors:
John Hatcliff
Insup Lee
Dan Andresen
Steve Warren
Oleg Sokolsky
Robby
Certification
CPS Domains
Medical Devices
Health Care
Validation and Verification
Foundations
Kansas State University
University of Pennsylvania
0930647
National CPS PI Meeting 2011
Project Abstracts
Academia
file
Infrastructure and Technology Innovations for Medical Device Coordination (Poster)
Submitted by Insup Lee on Wed, 11/02/2011 - 2:12pm. Contributors:
Insup Lee
John Hatcliff
Certification
CPS Domains
Medical Devices
Modeling
Health Care
Validation and Verification
Foundations
Kansas State University
University of Pennsylvania
0930647
National CPS PI Meeting 2011
Poster Session: Day 1
Academia
Poster
video
Unmanned Helicopters Could Help Air Traffic Controllers - UC Berkeley
Submitted by Anonymous on Tue, 08/30/2011 - 5:59pm
Aerospace
Certification
Avionics
Embedded Software
Defense
Control
Transportation
CPS Technologies
Foundations
Academia
« first
‹ previous
…
20
21
22
23
24
25
26
27
28
next ›
last »