共 50 条
- [31] Schedulability analysis model for multiprocessor real-time systems using UPPAAL Ruan Jian Xue Bao/Journal of Software, 2015, 26 (02): : 279 - 296
- [33] Constraint-Based Schedulability Analysis in Multiprocessor Real-Time Systems IEEE ACCESS, 2020, 8 : 165168 - 165177
- [34] TIMES: A tool for schedulability analysis and code generation of real-time systems FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2003, 2791 : 60 - 72
- [35] Schedulability analysis in hard real-time systems under thermal constraints Real-Time Systems, 2010, 46 : 160 - 188
- [36] Schedulability analysis of tasks and network traffic in distributed real-time systems Measurement: Journal of the International Measurement Confederation, 1995, 15 (02): : 71 - 83
- [37] Compositional schedulability analysis of real-time actor-based systems Acta Informatica, 2017, 54 : 343 - 378
- [39] Performance debugging of real-time systems using multicriteria schedulability analysis RTAS 2007: 13TH REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 2007, : 193 - +