Keyphrases
Embedded Systems
40%
Model-based Testing
40%
Model-based Analysis
40%
Verification Technologies
26%
Sporadic Tasks
20%
Mixed-criticality Real-time Systems
20%
Hierarchical Scheduling
20%
Scheduling Policy
20%
Hierarchical Scheduling Systems
20%
Stratego
20%
Cost Reduction
20%
Remote Testing
20%
UPPAAL-SMC
20%
European Industry
13%
Assure
13%
Artemis
13%
Scheduling Model
10%
Methods Statistical
10%
Lightweight Method
10%
Detailed Scheduling
10%
Strategy Space
10%
Generation Optimization
10%
Transformation Algorithm
10%
Tool Usage
10%
Tutorial Paper
10%
UPPAAL
10%
SimBiology
10%
Task Behavior
10%
Timing System
10%
Avionics System
10%
Compositional Scheduling
10%
Verification Algorithm
10%
Non-deterministic Semantics
10%
Model Validation
6%
Industrial Use
6%
Embedded System Development
6%
System Development Process
6%
Static Analysis
6%
High Quality Products
6%
Testing Technology
6%
Strategic Sectors
6%
Safety-related
6%
V(V)
6%
Advanced Models
6%
Model Verification
6%
Europe
6%
Large Firms
6%
Market Impact
6%
SMEs
6%
Airplane
6%
Technology Platform
6%
Market Value
6%
Task Arrival
6%
Arrival Pattern
6%
Mixed-criticality Scheduling
6%
Periodic Tasks
6%
Continuous Probability Distribution
6%
Testability
6%
Test Verdict
6%
Overall Test
6%
Explicit Communication
6%
Synthesis Problem
6%
Requirement Model
6%
Preemptive Scheduler
5%
Cytoscape
5%
Computer Science
Model Checking
100%
Statistical Model
50%
Embedded Systems
40%
Schedulability Analysis
28%
Case Study
22%
Scheduling Policy
20%
Usage Scenario
20%
Communication Latency
20%
Criticality
20%
Biological System
20%
Query Language
20%
Timed Automaton
15%
Real Time Systems
10%
Preemptive-Task
10%
Design Exploration
10%
Controller Synthesis
10%
Case Generation
10%
Automaton
10%
Partial Observability
10%
Communication Delay
10%
Requirements Models
10%
Synthesis Problem
10%
Input/Output
10%
Shared Resource
10%
Analysis Technique
8%
Checking Technique
5%
Response Time
5%
Static Program Analysis
5%
Analysis Model
5%
Technology Platform
5%
Transportation Domain
5%
model based testing
5%
Related Product
5%
Development Process
5%
System Development
5%
Engineering
Model-Based Analysis
40%
Aircraft
40%
System Development
40%
Test Analysis
40%
Related Product
40%
Development Process
40%
High Quality Product
40%
Effective Mean
40%
Safety Class
40%
Leading Edge
40%
Static Analysis
40%
Black Box
20%
Observability
20%
Testability
20%
Controller Synthesis
20%
Test Setup
20%