Journal: Real-Time Systems

Volume 53, Issue 6

855 -- 856Chang-Gun Lee, Eduardo Tovar, Chenyang Lu. Guest editorial: special issue on embedded and real-time computing systems and applications
857 -- 885Martina Maggio, Juri Lelli, Enrico Bini. rt-muse: measuring real-time characteristics of execution platforms
886 -- 915Meng Liu, Matthias Becker, Moris Behnam, Thomas Nolte. Using non-preemptive regions and path modification to improve schedulability of real-time traffic over priority-based NoCs
916 -- 956Mohammad Ashjaei, Nima Khalilzad, Saad Mubeen, Moris Behnam, Ingo Sander, Luís Almeida, Thomas Nolte. Designing end-to-end resource reservations in predictable distributed embedded systems
957 -- 986Bo Peng, Nathan Fisher. Parameter adaptation for generalized multiframe tasks: schedulability analysis, case study, and applications to self-suspending tasks

Volume 53, Issue 5

669 -- 672Robert I. Davis. Guest editorial: special issue on mixed-criticality, multi-core, and micro-kernels
673 -- 708Prathap Kumar Valsan, Heechul Yun, Farzad Farshchi. Addressing isolation challenges of non-blocking caches for multicore real-time systems
709 -- 759Namhoon Kim, Bryan C. Ward, Micaiah Chisholm, James H. Anderson, F. Donelson Smith. Attacking the one-out-of-m multicore problem by combining hardware management with mixed-criticality provisioning
760 -- 811Jing Li, David Ferry, Shaurya Ahuja, Kunal Agrawal, Christopher D. Gill, Chenyang Lu. Mixed-criticality federated scheduling for parallel real-time tasks
812 -- 853Thomas Sewell, Felix Kam, Gernot Heiser. High-assurance timing analysis for a high-assurance real-time operating system

Volume 53, Issue 4

403 -- 466Reinder J. Bril, Sebastian Altmeyer, Martijn M. H. P. van den Heuvel, Robert I. Davis, Moris Behnam. Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays: integrated analysis and evaluation
467 -- 525Yecheng Zhao, Haibo Zeng. An efficient schedulability analysis for optimizing systems with adaptive mixed-criticality scheduling
526 -- 577Mohammad Ashjaei, Gaetano Patti, Moris Behnam, Thomas Nolte, Giuliana Alderisi, Lucia Lo Bello. Schedulability analysis of Ethernet Audio Video Bridging networks with scheduled traffic support
578 -- 612Borislav Nikolic, Luís Miguel Pinho. Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs
613 -- 0Borislav Nikolic, Luís Miguel Pinho. Erratum to: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs
614 -- 667Georgia Giannopoulou, Pengcheng Huang, Rehan Ahmed, Davide B. Bartolini, Lothar Thiele. Isolation scheduling on multicores: model and scheduling approaches

Volume 53, Issue 3

289 -- 290Marco Paolieri, Sriram Sankaranarayanan, Enrico Vicario. Guest Editorial: Special issue on formal modeling and analysis of timed systems
291 -- 326Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig. Bounded determinization of timed automata with silent transitions
327 -- 353Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier. Timed-automata abstraction of switched dynamical systems using control invariants
354 -- 402Gethin Norman, David Parker 0001, Xueyi Zou. Verification and control of partially observable probabilistic systems

Volume 53, Issue 2

187 -- 195Maolin Yang, Jian-Jia Chen, Wen-Hung Huang. A misconception in blocking time analyses under multiprocessor synchronization protocols
196 -- 227Zhenwu Shi, Fumin Zhang. Model predictive control under timing constraints induced by controller area networks
228 -- 253Woochul Kang, Jaeyong Chung. Energy-efficient response time management for embedded databases
254 -- 287LuXi Zhao, Paul Pop, Qiao Li, Junyan Chen, Huagang Xiong. Timing analysis of rate-constrained traffic in TTEthernet using network calculus

Volume 53, Issue 1

1 -- 44Ali A. Safaei. Real-time processing of streaming big data
45 -- 81Risat Mahmud Pathan. Real-time scheduling algorithm for safety-critical systems on faulty multicore environments
82 -- 120Alessandra Melani, Renato Mancuso 0001, Daniel Cullina, Marco Caccamo, Lothar Thiele. Optimizing resource speed for two-stage real-time tasks
121 -- 186Xiaoting Li, Laurent George 0001. Deterministic delay analysis of AVB switched Ethernet networks using an extended Trajectory Approach