Static analysis and dynamic steering of time-dependent systems

IEEE Transactions on Software Engineering

Volumn 27, Issue 8, 2001, Pages 728-748

  Vicario, Enrico ^a,b  

^a IEEE   (Italy)

^b UNIVERSITY OF FLORENCE   (Italy)

Author keywords

Dynamic task guarantee; Enumerative static analysis; Hard real time systems; Quantitative timing estimation; Time petri nets; Time dependent systems; Timeliness predictability

Indexed keywords

TIME-DEPENDENT SYSTEMS;

COMPUTER SIMULATION; COMPUTER SYSTEM RECOVERY; CONSTRAINT THEORY; DISCRETE TIME CONTROL SYSTEMS; EMBEDDED SYSTEMS; MATHEMATICAL MODELS; MULTITASKING; PETRI NETS; SYSTEMS ANALYSIS;

REAL TIME SYSTEMS;

EID: 0035418270     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.940727     Document Type: Article

References (48)

1. Automata for modeling real-time systems
2. Model-checking for real-time systems
3. Automatic symbolic verification of embedded systems
4. A real-time library for the design of hybrid robot control architectures
5. UPPAAL: A tool-suite for automatic verification of real-time systems
6. Implications of classical scheduling results for real-time systems
7. Modeling and verification of time dependent systems using time petri nets
8. An enumerative approach for analyzing time petri nets
9. Compositional validation of time-critical systems using communicating time petri nets
10. Modular state space analysis of coloured petri nets
11. Automated verification of finite-state concurrent systems using temporal logic specifications
12. Timing analysis of ada tasking programs
13. Verification with real-time COSPAN
14. Minimum and maximum delay problems in real-time systems
15. Timing constraints of real-time systems: Constructs for expressing them, methods for validating them
16. The tool KRONOS
17. Timing assumptions and verification of finite-state concurrent systems
18. Quantitative temporal reasoning
19. Scheduling a steel plant with timed automata
20. Real-time concurrent C: A language for programming dynamic real-time systems
21. Dynamic scheduling of real time tasks, by Sssignment
22. Timing analysis for fixed priority scheduling of hard real time systems
23. Predictable threads for dynamic hard real time environments
24. Safety analysis using petri nets
25. Scheduling algorithms for multi-programming in a hard-real-time environment
26. Recoverability of communication protocols
27. Petri nets: Properties, analysis and applications
28. Compiling real-time specifications into extended automata
29. Timed automata as task models for event driven systems
30. Hierarchical reachability graph of bounded petri nets for concurrent software analysis
31. Deciding properties of timed transition models
32. Specification of parallel/distributed software and systems by petri nets with transition enabling functions
33. Assignment and scheduling communicating periodic tasks in distributed real time systems
34. On satisfying timing constraints in hard real time systems
35. Petri nets
36. Scheduling algorithms and operating system support for real time systems
37. Allocation and scheduling of precedence-related periodic tasks
38. Distributed scheduling of tasks with deadlines and resource requirements
39. Priority inheritance protocols: An approach to real time synchronization
40. Generalized rate monotonic scheduling theory: A framework for developing real time systems
41. The spring kernel: A new paradigm for real time systems
42. What is predictability for real time systems
43. Misconceptions about real time computing
44. Bounding completion times of jobs with arbitrary release times, variable execution times, and resource sharing
45. Scheduling tasks with resource requirements in hard real time systems
46. Scheduling processes with release times, deadlines, precedence and exclusion relations