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 cases
biblio
Software Assurance of Autonomous Spacecraft Control
Submitted by grigby1 on Fri, 04/09/2021 - 10:21am
Metrics
Task Analysis
Space vehicles
software interactions
software hazard analysis
software engineers
software engineering
software documentation
software assurance
Software
Scalability
Resiliency
resilience
pubcrawl
policy-based governance
mobile robots
aerospace computing
Information Assurance
in-orbit CubeSat
Human behavior
Hazards
hazard analysis method
Fault protection
composability
collaboration
autonomy demonstration experiment
autonomous spacecraft control
autonomous control
assurance cases
assurance case style
aerospace control
biblio
Managing Assurance Cases in Model Based Software Systems
Submitted by grigby1 on Fri, 02/02/2018 - 12:27pm
pubcrawl
vehicle control
traffic engineering computing
tools
Standards organizations
software quality
software development organizations
software assurance
Software
social networks
Scalability
Safety
road vehicles
road safety
reuse
regulatory compliance
assurance cases
model management techniques
model management
model based software systems
ISO standards
ISO 26262 standard
impact assessment
functional safety
financial service
Context
composability
compliance management
co-evolution
Automotive engineering
automotive domain
automobiles
biblio
A Model Management Approach for Assurance Case Reuse Due to System Evolution
Submitted by grigby1 on Mon, 06/05/2017 - 11:52am
assurance cases
certification
composability
Evolution
model management
pubcrawl
regulatory compliance
reuse
Scalability
software assurance
forum
ASSURE 2016 Call for Papers - 4th International Workshop on Assurance Cases for Software-intensive Systems
Submitted by gpai on Mon, 04/04/2016 - 4:57pm
CALL FOR PAPERS
Calls for Papers
Architectures
Architectures
Composition
Design Automation Tools
Embedded Software
Defense
Control
Platforms
Energy
Modeling
Systems Engineering
Wireless Sensing and Actuation
Critical Infrastructure
Real-Time Coordination
Health Care
Resilient Systems
Science of System Integration
Robotics
Science of Security
Transportation
Validation and Verification
CPS Technologies
Foundations
assurance cases
Safety-Critical Systems
software-intensive systems
Aerospace
Healthcare
Transportation
defense
automotive
rail
Announcement
