2 citations · 3 across the 6 of their papers we have counts for
6 papers
Deductive Verification for Earliest Deadline First Scheduler Implementations
Daniel Kuhse, Junjie Shi, Jan Duy Thien Pham +4
Real-Time Operating Systems (RTOSes) rely on scheduler implementations to provide predictable task execution. For safety-critical systems, it is therefore not sufficient to reason…
Eliminating Timing Anomalies in Scheduling Periodic Segmented Self-Suspending Tasks with Release Jitter
Ching-Chi Lin, Mario Günzel, Junjie Shi +3
Ensuring timing guarantees for every individual tasks is critical in real-time systems. Even for periodic tasks, providing timing guarantees for tasks with segmented self-suspendin…
Renovation of EdgeCloudSim: An Efficient Discrete-Event Approach
Raphael Freymann, Junjie Shi, Jian-Jia Chen +1
Due to the growing popularity of the Internet of Things, edge computing concept has been widely studied to relieve the load on the original cloud and networks while improving the s…
Supporting Multiprocessor Resource Synchronization Protocols in RTEMS
Junjie Shi, Jan Duy Thien Pham, Malte Münch +3
When considering recurrent tasks in real-time systems, concurrent accesses to shared resources, can cause race conditions or data corruptions. Such a problem has been extensively s…
Scheduling of Real-Time Tasks with Multiple Critical Sections in Multiprocessor Systems
Jian-Jia Chen, Junjie Shi, Georg von der Brüggen +1
The performance of multiprocessor synchronization and locking protocols is a key factor to utilize the computation power of multiprocessor systems under real-time constraints. Whil…
Dependency Graph Approach for Multiprocessor Real-Time Synchronization
Jian-Jia Chen, Georg von der Brüggen, Junjie Shi +1
Over the years, many multiprocessor locking protocols have been designed and analyzed. However, the performance of these protocols highly depends on how the tasks are partitioned a…