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
» RECENT ACTIVITY
Recent Activity
Recent Posts
Node: Type
Biblio
Event
File
Forum topic
Group Project
NSF CPS Project
News Item
Online Meeting
Page
Panel
Tearline
Video
Webform
Wiki page
file
Securing Safety in the Context of Software Updates in Automotive Systems
Submitted by rameshari1958 on Tue, 05/02/2017 - 4:08pm. Contributor:
Ramesh S
SCC Meeting 2017
Presentation
Meeting #18
file
Secure Software Updates for Automotive Systems – Uptane
Submitted by Anonymous on Tue, 05/02/2017 - 4:08pm. Contributor:
Sam Lauzon
SCC Meeting 2017
Presentation
Meeting #18
file
Building Codes for Building Code: Status and Prospects
Submitted by Carl Landwehr on Tue, 05/02/2017 - 4:08pm. Contributor:
Carl Landwehr
SCC Meeting 2017
Presentation
Meeting #18
file
Cybersecurity Assurance for Critical Infrastructure
Submitted by Anonymous on Tue, 05/02/2017 - 4:08pm. Contributor:
Jason Jaskolka
SCC Meeting 2017
Presentation
Meeting #18
file
Addressing Safety and Security in Standards for Interoperable Medical Systems: The AAMI/UL 2800 Family of Standards
Submitted by John Hatcliff on Tue, 05/02/2017 - 4:08pm. Contributor:
John Hatcliff
SCC Meeting 2017
Meeting #18
file
Joint Safety–Security Arguments: What’s the Point?
Submitted by pjgraydon on Tue, 05/02/2017 - 4:08pm. Contributor:
Patrick Graydon
SCC Meeting 2017
Presentation
Meeting #18
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
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 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
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
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »