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
assurance case
biblio
Application of an Automotive Assurance Case Approach to Autonomous Marine Vessel Security
Submitted by grigby1 on Fri, 02/17/2023 - 5:40pm
computer security
pubcrawl
resilience
Resiliency
Software
Safety
Scalability
Industries
Cybersecurity
Vehicle safety
cognition
documentation
Regulation
software assurance
assurance case
Automotive Standards
Autonomous Driving
Autonomous marine vessels
biblio
Assurance for CyberPhysical Systems: Addressing Supply Chain Challenges to Trustworthy Software-Enabled Things
Submitted by grigby1 on Mon, 11/08/2021 - 1:49pm
assurance case
composability
cyberphysical
cyber physical security
cyber physical systems
devsecops
Evidence
IoT
pubcrawl
resilience
Resiliency
Software
Supply Chain
trustworthiness
Trustworthy Systems
biblio
Uncertain Requirements, Assurance and Machine Learning
Submitted by aekwall on Mon, 02/10/2020 - 12:10pm
pragmatic assurance
deductive verification
financial data processing
financial services
governing bodies
human judgement
inductive assurance
linked evidence
machine-learned components
machine-learning
open-world functionality
conventional machine-learned
predefined requirements
requirements engineering
safety assessment
safety-critical domains
software construction
Standards organizations
uncertain requirements
vehicle control
verification proofs
software assurance
uncertainty
Safety
Ontologies
Software
feature extraction
learning (artificial intelligence)
machine learning
pubcrawl
composability
social networking (online)
social networks
security
privacy
software engineering
software development
assurance
safety-critical software
Scalability
formal verification
assurance case
automotive
biblio
Assurance via Model Transformations and Their Hierarchical Refinement
Submitted by grigby1 on Mon, 08/12/2019 - 3:24pm
assurance case
Block diagram
Compositionality
Cyber Physical System
decomposition
Metrics
Model transformation
pubcrawl
Substitution
biblio
A Software Security Case Developing Method Based on Hierarchical Argument Strategy
Submitted by grigby1 on Fri, 02/02/2018 - 1:27pm
Reliability engineering
threat classification
Stakeholders
software reliability
software engineering
software assurance
Software
security of data
security
Scalability
Safety
argument pattern
pubcrawl
pattern classification
hierarchical software security case development method
hierarchical asset-threat-control
hierarchical argument strategy
composability
assurance case
asset identification
asset classification
argument strategy
