Keyphrases
Simulink
100%
Model-driven Development
100%
Stateflow
100%
Stateflow Model
100%
Cyber-physical Systems
50%
Generated Code
50%
Simulink Design Verifier
50%
Polyspace
50%
Customization
25%
Design Model
25%
Well-defined
25%
Design Defects
25%
High Reliability
25%
Simulation Code
25%
Advanced Models
25%
Model Design
25%
Recent Trends
25%
Non-intrusive
25%
Simulation Validation
25%
System Failure
25%
Execution Environment
25%
System Implementation
25%
C Code
25%
Code Generation
25%
Safety-critical
25%
Safety-critical Applications
25%
Verifier
25%
System Dependability
25%
UPPAAL
25%
Execution Platform
25%
Temporal Properties
25%
Software Monitor
25%
Consistent Systems
25%
Code Implementation
25%
Timed Automata
25%
Implementation Level
25%
Train Communications
25%
VHDL Code
25%
IEC Standards
25%
Communication Controller
25%
Computer Science
Simulink
100%
model-driven development
100%
Cyber Physical Systems
33%
Customisation
16%
High Reliability
16%
Target System
16%
System Implementation
16%
Code Generation
16%
Execution Environments
16%
Critical Application
16%
Execution Platform
16%
Implementation Level
16%
Software Monitor
16%
temporal property
16%
Code Implementation
16%
Timed Automaton
16%