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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
software development
biblio
Software Development of Electronic Digital Signature Generation at Institution Electronic Document Circulation
Submitted by aekwall on Mon, 02/08/2021 - 12:45pm
Scalability
Cryptography
Software
Resiliency
pubcrawl
blockchain
software engineering
software development
digital signatures
Information systems
RSA
document handling
DSA
electronic digital signature
Consumer electronics
ECDSA
blockchain storage
blockchain storage of electronic signatures
central Web-server
cryptographic module
documented information exchanging
electronic digital signature generation
electronic document circulation
GOST RF Standard 34.10–2018
institution electronic document circulation
secure key storage
software tools
Web-interface
biblio
Establishing Trust in Binary Analysis in Software Development and Applications
Submitted by aekwall on Mon, 02/01/2021 - 10:41am
security of data
Software
Trusted Computing
Human behavior
pubcrawl
standards
tools
Libraries
computer security
software engineering
software development
Binary Analysis
trust
data loss
binary code
Binary codes
human trust
binary analysis techniques
binary analysis tools
binary code behavior
binary code components
binary component
binary release metadata
implementation risk assessment
knowledge acquisition
knowledge elicitations
security vulnerability minimization
software programmer trust
source security
vulnerability reports
biblio
Research on a General Fast Analysis Algorithm Model for Pd Acoustic Detection System: The Software Development
Submitted by aekwall on Mon, 08/03/2020 - 9:16am
2D PRPD histograms
3G mobile communication
acoustic detection
Acoustic Fingerprints
acoustic signal detection
automation
batch processing analysis
composability
data processing software
defect discharge data
developed software pages
easy fault location
fault diagnosis
fault location
gas insulated substations
general fast analysis algorithm model
GIS
Human behavior
individual data file
insulation defect detection
intelligent analysis
mechatronics
partial discharge measurement
pattern identification
PD acoustic detection system
PD AE signals analysis software
power engineering computing
power system equipments
pubcrawl
Q measurement
Resiliency
signal flow chart
software development
biblio
Uncertain Requirements, Assurance and Machine Learning
Submitted by aekwall on Mon, 02/10/2020 - 11:10am
security
Safety
Ontologies
Software
feature extraction
learning (artificial intelligence)
machine learning
pubcrawl
composability
social networking (online)
social networks
uncertainty
privacy
software engineering
software development
assurance
safety-critical software
Scalability
formal verification
assurance case
automotive
conventional machine-learned
deductive verification
financial data processing
financial services
governing bodies
human judgement
inductive assurance
linked evidence
machine-learned components
machine-learning
open-world functionality
pragmatic assurance
predefined requirements
requirements engineering
safety assessment
safety-critical domains
software construction
Standards organizations
uncertain requirements
vehicle control
verification proofs
software assurance
biblio
A Comparative Analysis of Static Code Analysis Tools That Check Java Code Adherence to Java Coding Standards
Submitted by grigby1 on Mon, 02/10/2020 - 10:34am
Concurrency
security
analyzers
Coding Standard Analyzers
Comparative Analysis
composability
concurrency (computers)
critical system
exceptions
Human behavior
International Java Coding Standards
Java
Java code adherence
Java code analysis
Java Coding Standards Enforcing Tools
Java programming language
JPL Coding Standards
program diagnostics
pubcrawl
quality
resilience
Resiliency
software development
software maintenance
software quality
standards
static analysis
static code analysis
static code analysis tool
style
testing
biblio
Research on Modeling Method of Visualized Plane Topology in Electric Power System
Submitted by aekwall on Mon, 01/20/2020 - 10:46am
algorithm module
compatibility
composability
development method
distribution network system
Electric Power System
Erbium
expandability
Microsoft Foundation Classes application framework
Microsoft Foundation Classes(MFC)
Microsoft Visual Studio
model array file module
Plane topology
plane topology modeling platform
platform development
platform interface module
power system
power system analysis computing
power system operation analysis
power system visualization plane topology modeling
primitive library module
pubcrawl
Resiliency
short development cycle
software development
software metrics
topology array file module
user-defined power system
visualized plane topology
biblio
Threat Extraction Method Based on UML Software Description
Submitted by aekwall on Mon, 03/04/2019 - 9:49am
Threat Modeling
security of data
security
Resiliency
pubcrawl
composability
Computational modeling
software security
Databases
software engineering
Extracting threats
human knowledge
knowledge based systems
security relevant attributes
sequence diagram
software application
software behavior
software development
software system
Software systems
threat extraction method
threat knowledge base
UML software description
Unified modeling language
Automated Secure Software Engineering
biblio
Functionality and Security Co-Design Environment for Embedded Systems
Submitted by grigby1 on Thu, 02/14/2019 - 10:23am
Resilient Security Architectures
Resiliency
adversarial cyber effects
anomalies detection
asymmetric multicore processing
Availability
co-design
co-design environment
command and control systems
Complexity theory
computer network security
critical missions
Cryptography
deliberate attacks
department of defense mission systems
DoD
electronic signal intelligence systems
electronic warfare
embedded systems
functionality
Hardware
hardware development
intelligence surveillance and reconnaissance sensors
Lincoln asymmetric multicore processing architecture
Mission Assurance
mission functions
Multicore processing
multiprocessing systems
pubcrawl
recovery
resilience
resilient embedded system
Secure Processing
security
software development
Sophisticated Attacks
surveillance
System recovery
testbed
biblio
Verification and Validation of a Cyber-Physical System in the Automotive Domain
Submitted by grigby1 on Thu, 06/07/2018 - 2:08pm
formal verification
security
cyber-physical systems
pubcrawl
Scalability
software quality
Analytical models
Wheels
delays
Stochastic processes
traffic engineering computing
Cameras
resilience
probability
CPS
embedded systems
Automotive engineering
Resiliency
quality assurance
power aware computing
software development
Stochastic computing
autonomous traffic sign recognition vehicle
cyber-physical system validation
cyber-physical system verification
domain specific architectural language
EAST-ADL
EAST-ADL constraints
EAST-ADL/Stateflow
energy constraints
extended ERT constraints
formal statistical analysis
functional quality assurance
mapping rules
modified EAST-ADL
nonfunctional quality assurance
parallel languages
probabilistic extension
probability parameters
S/S models
safety-critical automotive embedded system design
semantics denotation
Simulink Design Verifier
Simulink/Stateflow integration
software packages
transformed energy-aware real-time behaviors
UPPAAL models
UPPAAL-SMC
verifiable UPPAAL- SMC models
Verification & Validation
Stochastic Computing Security
biblio
Application of partical swarm intelligence technique to predict software reliability
Submitted by K_Hooper on Wed, 05/02/2018 - 9:38am
Ant\_Colony Optimization Technique
Artificial Neural Networks
Bio\_inspired Computing
composability
control systems
genetic programming
Neural networks
partical swarm intelligence technique
Particle Swarm Intelligence Technique
particle swarm optimisation
particle swarm optimization
pubcrawl
Software
software cost estimation
software development
software program reliability prediction
software reliability
Swarm Intelligence
Swarm Intelligence technique
1
2
next ›
last »