INIS
energy
100%
modeling
73%
constraints
65%
verification
46%
design
46%
mapping
36%
implementation
30%
real time systems
29%
safety
21%
brakes
18%
ports
18%
computer codes
16%
psychological behavior
15%
wires
14%
tools
14%
graphs
9%
cost
9%
specifications
8%
transformations
8%
quality assurance
7%
control systems
6%
charts
6%
fuels
6%
stochastic processes
6%
interactions
6%
performance
6%
control
6%
flaws
6%
simulation
6%
Keyphrases
Energy-aware
36%
EAST-ADL
36%
Formal Modeling
29%
Analysis Support
18%
Schedulability Analysis
18%
Time-aware
18%
Automotive Systems
18%
Automotive Embedded Systems
18%
Model Verification
18%
OpenFlow
18%
ADL Model
18%
Software-defined Networking
18%
Stateflow
18%
Formal Analysis
18%
Automotive Products
18%
Functional Behavior
18%
Real-time Systems
18%
Mapping Strategies
16%
Non-functional Properties
12%
Scheduling Analysis
12%
Functional Block
10%
Energy Conservation
9%
MARTE
9%
Quality Assurance
9%
Telecommunication Systems
8%
Brake-by-wire
8%
Real-time Constraints
8%
Energy Integrating
8%
Constraint-based Modeling
8%
Real-time Behavior
8%
Embedded Control System
8%
Safety-critical
8%
Prognostics Management
7%
Formal Verification
7%
Graph Languages
6%
Application Development
6%
Design Range
6%
Interchange Format
6%
Early Design Phases
6%
Design Errors
6%
Execution Platform
6%
Design Level
6%
Automotive Applications
6%
Property Verification
6%
Computer Science
Analysis Technique
63%
formal modeling
36%
Automotive System
36%
Real Time Systems
36%
Architectural Description
36%
Case Study
36%
Modeling Notation
27%
Formal Semantics
27%
Embedded Systems
18%
Model Checking
18%
Embedded Control
18%
Telecommunication System
18%
Functional Block
18%
Embedded System Design
18%
Energy Consumption
18%
Time Constraint
18%
Potential Conflict
9%
Timed Automaton
9%
Model Transformation
9%
Mapping Scheme
9%
Fault Tolerant
9%
Flow Chart
9%
Architectural Design
9%
Formal Verification
9%
State Machine
9%
Automotive Application
6%
Behavior Model
6%
System Behavior
6%
Quality Assurance
6%
Elementary Function
6%
