Computer Science
Avionics
100%
Schedulability Analysis
50%
Mobile Robot
50%
Formal Framework
50%
Multicore
50%
Mode Scheduling
50%
Predictive Model
50%
Criticality
50%
Resource Model
50%
Noisy Environment
50%
Model Checking
41%
Automaton
33%
Multi-Core Architectures
25%
Formal Generic
25%
Scheduling Parameter
25%
Instantiation
25%
Statistical Model
25%
Scheduling Algorithm
15%
Planning Technique
12%
Software Stack
12%
Replanning
12%
Robot
12%
Route Planning
12%
Physical Simulation
12%
Resource Availability
10%
Large State Space
8%
Global Analysis
8%
Communication Environment
8%
Switched Ethernet
8%
State Space
8%
Full Duplex
8%
Ethernet Network
8%
Case Study
5%
Keyphrases
Compositional Analysis
50%
Resource Model
50%
Formal Framework
50%
Scheduling Modes
50%
Hierarchical Scheduling Systems
50%
Task Systems
50%
Distributed Integrated Modular Avionics
37%
Integrated Modular Avionics
37%
Multicore Architecture
25%
State-based
25%
Automata
25%
Scheduling System
25%
Instantiation
25%
Compositional Model Checking
25%
Composition Framework
25%
Nondeterminism
25%
Online Scheduling Algorithm
12%
Avionics Full Duplex Switched Ethernet
12%
Switched Ethernet Networks
12%
Assume-guarantee Reasoning
12%
Direct Verification
12%
Switch Level
12%
Algorithm System
12%
Shared Factory
12%
AFDX Network
12%
Stopwatch Automata
12%
Dynamic Route Planning
12%
Waypoint Planning
12%
Distributed Planning
12%
Station Planning
12%
Partitioning Mechanism
10%