On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems

Real-time embedded systems are information processing systems that require both functional and timing correctness.

[1]  Sanjoy K. Baruah,et al.  A Response-Time Bound in Fixed-Priority Scheduling with Arbitrary Deadlines , 2009, IEEE Transactions on Computers.

[2]  Raymond R. Devillers,et al.  Scheduling od hard real- time periodic systems with various kinds of deadline and offset constraints , 1999 .

[3]  Lui Sha,et al.  Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[4]  Jian-Jia Chen,et al.  k2U: A General Framework from k-Point Effective Schedulability Analysis to Utilization-Based Tests , 2015, 2015 IEEE Real-Time Systems Symposium.

[5]  Jian-Jia Chen,et al.  k2Q: A Quadratic-Form Response Time and Schedulability Analysis Framework for Utilization-Based Analysis , 2016, 2016 IEEE Real-Time Systems Symposium (RTSS).

[6]  Jian-Jia Chen,et al.  Automatic Parameter Derivations in k2U Framework , 2016, ArXiv.

[7]  Dirk Ziegenbein,et al.  Timing-aware control software design for automotive systems , 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).

[8]  Jakob Engblom,et al.  The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.

[9]  John P. Lehoczky,et al.  Fixed priority scheduling of periodic task sets with arbitrary deadlines , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[10]  Jian-Jia Chen,et al.  Efficient Computation of Deadline-Miss Probability and Potential Pitfalls , 2019, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[11]  Katharina Morik,et al.  Efficiently Approximating the Probability of Deadline Misses in Real-Time Systems , 2018, ECRTS.

[12]  Fei Wu,et al.  Real-time analysis for wormhole NoC: Revisited and revised , 2016, 2016 International Great Lakes Symposium on VLSI (GLSVLSI).

[13]  Jian-Jia Chen,et al.  Many suspensions, many problems: a review of self-suspending tasks in real-time systems , 2018, Real-Time Systems.

[14]  Ragunathan Rajkumar,et al.  Scheduling Self-Suspending Real-Time Tasks with Rate-Monotonic Priorities , 2010, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.

[15]  Jian-Jia Chen,et al.  Resource-Oriented Partitioned Scheduling in Multiprocessor Systems: How to Partition and How to Share? , 2016, 2016 IEEE Real-Time Systems Symposium (RTSS).

[16]  Zheng Shi,et al.  Real-Time Communication Analysis for On-Chip Networks with Wormhole Switching , 2008 .

[17]  Insup Lee,et al.  Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.

[18]  Jian-Jia Chen,et al.  Bursty-Interference Analysis Techniques for Analyzing Complex Real-Time Task Models , 2014, 2014 IEEE Real-Time Systems Symposium.

[19]  Alan Burns,et al.  Analysis of buffering effects on hard real-time priority-preemptive wormhole networks , 2016, ArXiv.

[20]  Ragunathan Rajkumar,et al.  Coordinated Task Scheduling, Allocation and Synchronization on Multiprocessors , 2009, 2009 30th IEEE Real-Time Systems Symposium.

[21]  Sanjoy K. Baruah,et al.  Preemptively scheduling hard-real-time sporadic tasks on one processor , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[22]  John P. Lehoczky,et al.  The rate monotonic scheduling algorithm: exact characterization and average case behavior , 1989, [1989] Proceedings. Real-Time Systems Symposium.

[23]  Jian-Jia Chen,et al.  Probabilistic schedulability tests for uniprocessor fixed-priority scheduling under soft errors , 2017, 2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES).

[24]  Jian-Jia Chen,et al.  Analysis of Deadline Miss Rates for Uniprocessor Fixed-Priority Scheduling , 2018, 2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).

[25]  Jian-Jia Chen,et al.  Release enforcement in resource-oriented partitioned scheduling for multiprocessor systems , 2017, RTNS.

[26]  Giuseppe Lipari,et al.  New Schedulability Tests for Real-Time Task Sets Scheduled by Deadline Monotonic on Multiprocessors , 2005, OPODIS.

[27]  Liliana Cucu-Grosjean,et al.  Response Time Analysis for Fixed-Priority Tasks with Multiple Probabilistic Parameters , 2013, 2013 IEEE 34th Real-Time Systems Symposium.

[28]  Giorgio C. Buttazzo,et al.  A hyperbolic bound for the rate monotonic algorithm , 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.

[29]  Alan Burns,et al.  Response Time Upper Bounds for Fixed Priority Real-Time Systems , 2008, 2008 Real-Time Systems Symposium.

[30]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.