Model-based Analysis and Testing of Embedded Systems

Computer Science

1. Model Checking 100%
2. Models 71%
3. Testing 60%
4. Statistical Model 54%
5. Scheduling 41%
6. Embedded Systems 38%
7. User 38%
8. Algorithms 38%
9. Modeling 25%
10. Classes 24%
11. Schedulability Analysis 24%
12. Semantics 24%
13. Generation 24%
14. Real Time Systems 24%
15. Validation 22%
16. Case Study 21%
17. Probability 21%
18. Scheduling Policy 19%
19. Biological System 19%
20. Networks 19%
21. Criticality 19%
22. Optimization 19%
23. Usage Scenario 19%
24. Transformations 19%
25. Specifications 19%
26. Survey 19%
27. Deadlines 15%
28. Timed Automaton 14%
29. Domains 12%
30. Communication Latency 9%
31. Preemptive-Task 9%
32. Shared Resource 9%
33. Hierarchical Structures 9%
34. Arrival Pattern 9%
35. Quality of Service 9%
36. Avionics 9%
37. Computation 9%
38. Analysis Technique 7%
39. Application 7%
40. Design Exploration 6%
41. Hierarchical Systems 6%
42. Design 6%
43. Checking Technique 5%
44. Response Time 5%
45. System Development 5%
46. Related Product 5%
47. Analysis Model 5%
48. Technology Platform 5%
49. Development Process 5%
50. Transportation Domain 5%
51. Product Quality 5%
52. References 5%
53. Static Program Analysis 5%