Skip to main content

magpie

Main menu

Home

Verification for non-deterministic CPS

User login

Username *

Password *

Request new password

Research Themes

Click on link below to select a list of all content associated with that research theme

CPS Test-beds
Inclusion of Human Factors in modelling and simulation
Open framework for model interoperability
Incorporation of security architectural features into models
Combining Formal Verification and Simulation Technology
An evolutionary approach to testing and evaluation of adaptive/resilient CPS
Big-data analytics modelling via machine learning

Gap Taxonomy

(Big) data

CPS Control algorithms driven by big data
Data-driven Modelling
Exploiting Real (Big) Data in Model Construction & Calibration
M&S for assessing Ultra-Large SoS (ULSS)

Handling uncertainty

M&S based on poor quality data
M&S of Uncertain Models
Verification for non-deterministic CPS

Human aspects

Cyber-Physical Human, Cyber-Human
Human aspects: Ethics
Human aspects: Human CPS interaction
Human aspects: Legal issues
Human aspects: Modelling human behaviour
M&S to incentivise adoption of CPS technology

Human aspects: Ethics

Computational Ethics
M&S to assess ethical behaviour by CPS

Human aspects: Human CPS interaction

CPS-Human Interaction
M&S for design & operation of CPS people-system interfaces for CPS
Models of CPS behaviour to enable human situational awareness
Models of social change incorporating CPS influences

Human aspects: Legal issues

Legal Issues for CPS
M&S to assess model competition within CPS and CPSoS

Human aspects: Modelling human behaviour

Inclusion of human behaviour in CPS architectural models
M&S for cultural effects in CPS
M&S for human behaviour in CPS
Models of human behaviour and performance for CPS design

M&S for control

M&S for control: Machine /real time learning
M&S for CPS Control
M&S for dynamic transfers of control within adaptive CPS

M&S for control: Machine /real time learning

M&S for Real-Time Learning
M&S to understand effects of autonomous learning in CPS
Traceability for real-time dynamic learning in CPS components

Model scoping / structuring

M&S from the Individual to Enterprise Level
Model Abstraction and Composition
Model Composition and User Behaviour
Model granularity in CPS
Structuring for Complex Models of CPSs

Platforms performance / energy efficiency

M&S for CPS Platforms
Product Line Architecture (PLA) meta-models for energy efficient CPS

Resilience, security & trust

Architecting Trust Models for CPS
M&S for resilience and trust
M&S for Security & Resilience
M&S to assess CPS privacy, protection, safety & security

Tool/model integration/interoperability

M&S for hybrid CPS
M&S within design approaches for complex, non-stationary CPS
Model Interoperability
Support for Trade-off and Benchmarking
Tool Integration and Interoperability
Tool/model integration/interoperability: Co-design
Traceability within complex dynamic models

Tool/model integration/interoperability: Co-design

Support for Multidisciplinary Co-design
Tool support for co-design of CPS

Unclustered

Cross-cultural understanding of MBSE for CPS
Software Engineering for CPSs
Use of heuristics with formal CPS design tool

Virtual testing/evaluation

Real People and Systems in the Loop
Virtual testing/evaluation: Testing/testbeds
Virtual testing/evaluation: Verification
Virtualisation of testing and evaluation

Virtual testing/evaluation: Testing/testbeds

M&S for CPS Testing and Evaluation
Qualification of Adaptive/Resilient CPS
Test Beds for CPS Transport

Virtual testing/evaluation: Verification

Verification and Certification
Verification tools (model checking)

Workshops

Click on link below to select a list of all content associated with that workshops

Theme 1 US Workshop
Theme 2 US Workshop
Theme 3 US Workshop
Theme 4 US Workshop
Theme 5 US Workshop
Theme 1 + 2 EU Workshop
Theme 3 EU Workshop
Theme 4 EU Workshop

Who's online

There are currently 0 users online.