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
software development
biblio
IoT Security and Safety Testing Toolkits for Water Distribution Systems
Submitted by grigby1 on Tue, 03/22/2022 - 12:46pm
Resiliency
toolkits
System recovery
software development
smart cities
simulation
sensor systems and applications
security
Safety
Control Theory
pubcrawl
operational technology
model checking
Internet of Things
Integrated circuit modeling
Industrial Control Systems
critical infrastructure
resilience
biblio
Human-centric Software Engineering for Next Generation Cloud- and Edge-based Smart Living Applications
Submitted by grigby1 on Mon, 03/29/2021 - 12:16pm
Smart homes
Intelligent sensors
Internet of Things
next generation cloud
next-generation applications
privacy
Privacy Requirements
pubcrawl
Scalability
smart cities
smart city-related data
human-centric software engineering
smart living systems
Software
software activities
software development
software engineering
software requirements engineering
user centred design
user interfaces
visualization
edge computing applications
Cloud Computing
data analysis
data analysis applications
data privacy
data visualisation
diverse software usability defects
diversity and inclusion
domain-specific visual models
edge computing
aging
edge-based smart living applications
edge-based software systems
end user emotions
expert systems
Formal Specification
human computer interaction
Human Factors
human usage patterns
human-centric security
biblio
One Size Does Not Fit All: A Grounded Theory and Online Survey Study of Developer Preferences for Security Warning Types
Submitted by aekwall on Mon, 03/15/2021 - 11:09am
Grounded Theory study
secure software
security tools
14 professional software developers
50 professional software developers
code security
developer preferences
developer security warnings
development tools
compiler security
Qualitative research
security checkers
security warning types
security warnings
static analysis engines
warning interactions
warning type
security of data
Compositionality
security issues
program diagnostics
software development
static analysis
software engineering
machine learning
tools
Metrics
pubcrawl
Resiliency
Software
security
Organizations
Scalability
biblio
Software Development of Electronic Digital Signature Generation at Institution Electronic Document Circulation
Submitted by aekwall on Mon, 02/08/2021 - 12:45pm
Consumer electronics
Web-interface
software tools
secure key storage
institution electronic document circulation
GOST RF Standard 34.10–2018
electronic document circulation
electronic digital signature generation
documented information exchanging
cryptographic module
central Web-server
blockchain storage of electronic signatures
blockchain storage
ECDSA
Scalability
electronic digital signature
DSA
document handling
RSA
Information systems
digital signatures
software development
software engineering
blockchain
pubcrawl
Resiliency
Software
Cryptography
biblio
Establishing Trust in Binary Analysis in Software Development and Applications
Submitted by aekwall on Mon, 02/01/2021 - 10:41am
Binary codes
vulnerability reports
source security
software programmer trust
security vulnerability minimization
knowledge elicitations
knowledge acquisition
implementation risk assessment
binary release metadata
binary component
binary code components
binary code behavior
binary analysis tools
binary analysis techniques
human trust
security of data
binary code
data loss
trust
Binary Analysis
software development
software engineering
computer security
Libraries
tools
standards
pubcrawl
Human behavior
Trusted Computing
Software
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
PD AE signals analysis software
Human behavior
individual data file
insulation defect detection
intelligent analysis
mechatronics
partial discharge measurement
pattern identification
PD acoustic detection system
GIS
power engineering computing
power system equipments
pubcrawl
Q measurement
Resiliency
signal flow chart
software development
2D PRPD histograms
general fast analysis algorithm model
gas insulated substations
fault location
fault diagnosis
easy fault location
developed software pages
defect discharge data
data processing software
composability
batch processing analysis
automation
acoustic signal detection
Acoustic Fingerprints
acoustic detection
3G mobile communication
biblio
Uncertain Requirements, Assurance and Machine Learning
Submitted by aekwall on Mon, 02/10/2020 - 11:10am
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
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
Java programming language
testing
style
static code analysis tool
static code analysis
static analysis
standards
software quality
software maintenance
software development
Resiliency
resilience
quality
pubcrawl
program diagnostics
JPL Coding Standards
Concurrency
Java Coding Standards Enforcing Tools
Java code analysis
Java code adherence
Java
International Java Coding Standards
Human behavior
exceptions
critical system
concurrency (computers)
composability
Comparative Analysis
Coding Standard Analyzers
analyzers
security
biblio
Research on Modeling Method of Visualized Plane Topology in Electric Power System
Submitted by aekwall on Mon, 01/20/2020 - 10:46am
platform development
visualized plane topology
user-defined power system
topology array file module
software metrics
software development
short development cycle
Resiliency
pubcrawl
primitive library module
power system visualization plane topology modeling
power system operation analysis
power system analysis computing
power system
platform interface module
algorithm module
plane topology modeling platform
Plane topology
model array file module
Microsoft Visual Studio
Microsoft Foundation Classes(MFC)
Microsoft Foundation Classes application framework
expandability
Erbium
Electric Power System
distribution network system
development method
composability
compatibility
biblio
Threat Extraction Method Based on UML Software Description
Submitted by aekwall on Mon, 03/04/2019 - 9:49am
knowledge based systems
Automated Secure Software Engineering
Unified modeling language
UML software description
threat knowledge base
threat extraction method
Software systems
software system
software development
software behavior
software application
sequence diagram
security relevant attributes
Threat Modeling
human knowledge
Extracting threats
software engineering
Databases
software security
Computational modeling
composability
pubcrawl
Resiliency
security
security of data
1
2
next ›
last »
