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
PLC software
biblio
On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems
Submitted by grigby1 on Fri, 06/19/2020 - 10:48am
programmable controllers
Trusted Computing
trust preservation
trust inheritance analysis
system validation
software-driven systems
security of data
Scalability
Resiliency
resilience
regression verification processes
regression analysis
pubcrawl
control engineering computing
Policy-Governed Secure Collaboration
policy-based governance
PLC software
Mechanical systems
manufacturing automation
manufacturing
formal verification
Formal Specification
formal correctness analysis
false trust
cyber-physical systems of systems
cyber-physical systems
biblio
A live static code analysis architecture for PLC software
Submitted by grigby1 on Thu, 06/07/2018 - 2:12pm
programmable controllers
tools
timing
static code analysis
static analysis
software engineering
Software
Resiliency
resilience
regular compiler
pubcrawl
composability
program diagnostics
PLC software
live static code analysis architecture
IEC standards
IEC 61131-3
Human behavior
development process
debugging
control engineering computing
computer architecture
