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
Code Generation
biblio
A Formal Model for the Automatic Configuration of Access Protection Units in MPSoC-Based Embedded Systems
Submitted by grigby1 on Mon, 03/29/2021 - 10:56am
Resiliency
MPSoC-based embedded systems
multiple processing cores
multiprocessing systems
multiprocessor system-on-chip
on-chip isolation
pubcrawl
real-time systems
resilience
model-based design
Safety
safety-critical embedded system
safety-critical software
security
security-critical embedded system
system-level isolation
system-on-chip
timing
dedicated access protection units
access permissions
access protection
access protection unit
authorisation
Code Generation
composability
configuration code
Data protection
abstract permission declarations
embedded systems
formal model
Hardware
heterogeneous system-on-chip platforms
information flow requirements
information flow tracking
internal communication links
Metrics
biblio
Towards a Model-centric Approach for Developing Dependable Smart Grid Applications
Submitted by aekwall on Mon, 09/28/2020 - 10:34am
Code Generation
Smart Grids criticality
SGAM
model-driven engineering
Model-Driven Architecture approach
Model-Centric Software Development solution
Model-Centric Software Development
Model-centric approach
DSSE
Domain Specific Systems Engineering
dependable Smart Grid applications
dependability
critical System-of-Systems
complex System-of-Systems
Resiliency
central quality attribute
complex systems
Formal Specification
Smart Grid
power engineering computing
Software Architecture
Automated Secure Software Engineering
Traceability
systems engineering
smart power grids
composability
pubcrawl
biblio
Boda: A Holistic Approach for Implementing Neural Network Computations
Submitted by grigby1 on Mon, 06/11/2018 - 2:33pm
pubcrawl
composability
mobile computing
convolution
resilience
network coding
Metrics
Resiliency
Neural networks
computer vision
Code Generation
biblio
Deals with Integrating of Security Specifications During Software Design Phase Using MDA Approach
Submitted by grigby1 on Wed, 05/16/2018 - 12:47pm
pubcrawl
Resiliency
Human behavior
composability
resilience
Metrics
human factor
code generator
authorization policies
Code Generation
Model Transformations
model-driven architecture
ocl
security profile
Repudiation
biblio
Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware
Submitted by grigby1 on Tue, 02/06/2018 - 12:58pm
safety-critical software
railway safety
railways
Redundancy
Resiliency
safety integrity level 4
safety-critical fault-tolerant middleware
safety-critical industries
safety-critical modules
railway control applications
Software Architecture
software fault tolerance
software quality
software quality metrics
TAS Control Platform
TLA+
trusted platform modules
formal methods
C code
C language
Code Generation
complex algorithms
composability
distributed algorithms
Fault tolerant systems
fault-tolerant distributed algorithms
Algorithm design and analysis
Formal Specification
formal verification
middleware
model checking
property-driven design
pubcrawl
rail traffic control
