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
aerospace computing
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
Hybrid Deep Neural Networks to Infer State Models of Black-Box Systems
Submitted by aekwall on Tue, 03/09/2021 - 11:04am
inferred states
automated software engineering tasks
Black-box Model Inference
black-box systems
black-box techniques
black-box third-party libraries
C code
detection techniques
entire source code
existing dynamic model inference techniques
hybrid deep neural network
infer state models
888 random recent system-level test cases
inferring behavior model
program comprehension
recurrent layers
run-time traces
running software system
Specification Mining
state change points
state classification algorithm
traditional time series change
UAV auto-pilot solution
white-box
Anomaly Detection
Time measurement
Classification algorithms
learning (artificial intelligence)
Resiliency
pubcrawl
composability
Metrics
neural nets
pattern classification
program testing
testing
Task Analysis
software engineering
black box encryption
aerospace computing
deep learning
Instruments
inference mechanisms
time series
convolutional neural network
Time series analysis
recurrent neural network
convolutional layers
biblio
Securing Trajectory based Operations Through a Zero Trust Framework in the NAS
Submitted by grigby1 on Thu, 03/04/2021 - 2:07pm
TBO infrastructure
network perimeter
operating costs
policy-based governance
pubcrawl
resilience
Resiliency
Scalability
strong boundary security protections
national airspace system
TBO objectives
time-based management data
tool availability
trajectory based operations
verify approach
zero trust
zero trust framework
ZTF theory
FAA systems
aerospace computing
air traffic control
aircraft communication
authorisation
boundary protections
castle-moat approach
critical data
ever-evolving threat sophistication
access network data
FAA Telecommunications Infrastructure network
Human Factors
hybrid ZTX approach
Insider Threats
internal network devices
NAS Zero Trust
NAS.ZTF
biblio
Safe and Secure Data Fusion — Use of MILS Multicore Architecture to Reduce Cyber Threats
Submitted by aekwall on Mon, 11/16/2020 - 1:58pm
multicore-based real-time operating system
data fusion-based systems
flexible software architectures
functional assurance capabilities
High Robustness
high-robustness separation kernel certification
INTEGRITY-178 tuMP
MILS multicore architecture
multicore
multicore processor
cyber-attack space
multiple independent levels
restricted hardware access
RTOS
Separation Kernel
single-core processors
system providers
system security architecture
Resilient Security Architectures
operating systems (computers)
Resiliency
pubcrawl
Software Architecture
sensor fusion
data flows
aerospace computing
safety-critical software
scheduling
telecommunication security
security risks
multiprocessing systems
MILS
air traffic safety
architecture configurations
civil aircraft systems safety
covert channel prevention
cyber threats reduction
biblio
A Top Down Approach for Eliciting Systems Security Requirements for a Notional Autonomous Space System
Submitted by aekwall on Mon, 11/16/2020 - 1:57pm
system life cycle
ISO/IEC/IEEE 152SS
NIST SP SOO-160
notional autonomous space system
notional space system
secure cyber-physical systems
software engineering processes
space missions
Space vehicles
STPA-Sec
functional-level security requirements
system operation
system-theoretic process analysis approach for security
systems security analysis
systems security engineering
systems security requirements
top down approach
top down systems security requirements analysis approach
traceable security
Resilient Security Architectures
Software Architecture
security of data
security
cyber-physical systems
Resiliency
pubcrawl
Cybersecurity
Stakeholders
IEC standards
ISO standards
Safety
resilience
Formal Specification
aerospace computing
IEEE standards
requirements analysis
system architecture
resiliency requirements
architectural-level security specifications
biblio
A Hybrid Packet Classification Algorithm Based on Hash Table and Geometric Space Partition
Submitted by aekwall on Mon, 06/08/2020 - 10:33am
high-speed packet classification requirement
classification speed
complex network conditions
existing classification schemes
geometric space partition
hash
hash matching
hash table
HGSP algorithm
classification performance
huge packets
hybrid packet classification algorithm
integrated space-ground network
ISGN
packet classification
tradition network
traditional Hicuts algorithm
hash algorithms
Communication networks
Memory management
security
Classification algorithms
network security
Resiliency
pubcrawl
pattern classification
pattern matching
computer network security
Decision trees
aerospace computing
Partitioning algorithms
Compositionality
tree data structures
Time complexity
aerospace communication
biblio
Designing Secure and Resilient Embedded Avionics Systems
Submitted by aekwall on Wed, 05/01/2019 - 11:41am
Program processors
unmanned aerial systems
UAS
security principles
security of data
security
safety oriented principles
Safety
resilient embedded avionics systems
Resiliency
real-time systems
pubcrawl
aerospace computing
Metrics
Laboratories
embedded systems
cyber security principles
cyber resources
computer architecture
composability
avionics domains
avionics community
avionics
Aerospace electronics
biblio
A Fault Diagnosis Expert System for Flight Control Software Based on SFMEA and SFTA
Submitted by grigby1 on Wed, 11/14/2018 - 12:21pm
inference engine
software reliability analysis methods
software reliability
software fault tree analysis
software fault knowledge
software failure mode and effect analysis
Software
SFTA
SFMEA
security
Scalability
Resiliency
resilience
pubcrawl
Knowledge representation
inference mechanisms
aerospace applications
human-computer interaction interface
human computer interaction
Human behavior
flight control software
fault diagnosis expert system
fault diagnosis
expert systems
expert system
Engines
control engineering computing
CLIPS shell
CLIPS
airborne software engineering
aerospace control
aerospace computing
biblio
Semantic Information Fusion to Enhance Situational Awareness in Surveillance Scenarios
Submitted by grigby1 on Tue, 02/06/2018 - 1:04pm
inference mechanisms
Network reconnaissance
National security
military computing
military applications
Markov processes
Markov logic network
logical reasoning
knowledge model
ISR-AA
intelligence-surveillance-and-reconnaissance analytics architecture
information integration
Object oriented modeling
high-level data fusion component
enhanced situational awareness
Databases
Data mining
Data integration
critical events detection
cognition
civil protection
autonomous aerial vehicles
aerospace computing
Resiliency
Unmanned Aircraft Systems
UAS
surveillance scenarios
surveillance
situational picture
situational awareness
sensor fusion
sensor data
semantic information fusion
security forces
video surveillance
reasoning component
pubcrawl
probabilistic reasoning
Probabilistic logic
probabilistic information processing
OOWM
Ontology
ontologies (artificial intelligence)
object-oriented world model
object-oriented methods
biblio
Considerations for secure and resilient satellite architectures
Submitted by K_Hooper on Fri, 02/02/2018 - 10:06am
Resiliency
aerospace computing
Aerospace electronics
architectural design considerations
artificial satellites
cyber-physical systems)
data confidentiality
data integrity
ground segment
notional satellite architecture
Orbits
potential attack vectors
potential security risks
Propulsion
pubcrawl
Vulnerability Analysis
resilient satellite architectures
Resilient Security Architectures
risk analysis
satellite architecture
Satellite broadcasting
Satellites
secure satellite architectures
security
security of data
security vulnerabilities
Space vehicles
spacecraft systems
systems-level approach
uplink/downlink components
1
2
next ›
last »
