Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Software Certification Consortium
Home
Agenda
Meetings
Members
Recent Activity
Files
CPS-VO
»
Safety
»
Software Certification Consortium
» MEETING #17
Meeting #17
file
Challenges in Autonomous Vehicle Testing and Validation
Submitted by pkoopman on Tue, 05/10/2016 - 8:46pm. Contributors:
Philip Koopman
Michael Wagner
Automotive
Testing
Control
Transportation
Validation and Verification
Carnegie Mellon University
2016
Academia
Presentation
Meeting #17
file
Compositional Reasoning for Architectural Models
Submitted by dcofer on Tue, 05/10/2016 - 8:46pm. Contributors:
Darren Cofer
John Backes
Andrew Gacek
Mike Whalen
Certification
Modeling
Validation and Verification
Foundations
compositional reasoning
analysis
2016
Academia
Industry
Presentation
Meeting #17
file
Model Based Engineering: Software Quality Metrics and Assurance Cases
Submitted by jonespl on Tue, 05/10/2016 - 8:46pm. Contributor:
Paul Jones
Modeling
Validation and Verification
Metrics
assurance
tool chains
2016
FDA
U.S. Government
Presentation
Meeting #17
file
Wassyng - Overcoming Challenges in Certification of Model-Based Design of Cyber-Physical Systems
Submitted by pjoannou on Tue, 05/10/2016 - 8:46pm
2016
Presentation
Meeting #17
file
Assurance Through Comprehensive Formal Verification
Submitted by JohnCKnight on Tue, 05/10/2016 - 8:46pm. Contributor:
John C. Knight
Modeling
Validation and Verification
Foundations
PVS
Simulink
assurance
2016
Academia
Presentation
Meeting #17
file
Model-Based Assurance Challenges for Self-Driving Cars
Submitted by pjoannou on Tue, 05/10/2016 - 8:46pm. Contributor:
Krzysztof Czarnecki
Automotive
Architectures
Testing
Modeling
Transportation
Validation and Verification
assurance
analysis
2016
Academia
Industry
Presentation
Meeting #17
file
SCC 17 Agenda
Submitted by akarns on Wed, 04/13/2016 - 11:27am
2016
Agenda
Meeting #17
