Results 11 to 20 of about 2,490 (199)
Contracts for Schedulability Analysis [PDF]
, 2015 In this paper we propose a framework of Assume / Guarantee contracts for schedulability analysis. Unlike previous work addressing compositional scheduling analysis, our objective is to provide support for the OEM / supplier subcontracting relation. The adaptation of Assume / Guarantee contracts to schedulability analysis requires some care, due to the ...
Reinkemeier, Philipp +3 more
openaire +4 more sources
New schedulability analysis for MrsP [PDF]
2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2017 In this paper we consider a spin-based multi-processor locking protocol, named the Multiprocessor resource sharing Protocol (MrsP). MrsP adopts a helping-mechanism where the preempted resource holder can migrate. The original schedulability analysis of MrsP carries considerable pessimism as it has been developed assuming limited knowledge of the ...
Zhao, Shuai +3 more
openaire +3 more sources
Schedulability Analysis with CCSL Specifications [PDF]
2013 20th Asia-Pacific Software Engineering Conference (APSEC), 2013 The Clock Constraint Specification Language (CCSL) is a formal polychronous language based on the notion of logical clock. It defines a set of kernel constraints that can represent both asynchronous and synchronous relations. It was originally developed as part of the UML Profile for MARTE to express causal and temporal constraints of Real-time and ...
Yin, Ling +4 more
openaire +3 more sources
Schedulability Analysis of Global Scheduling Algorithms on Multiprocessor Platforms [PDF]
IEEE Transactions on Parallel and Distributed Systems, 2009 This paper addresses the schedulability problem of periodic and sporadic real-time task sets with constrained deadlines preemptively scheduled on a multiprocessor platform composed by identical processors. We assume that a global work-conserving scheduler is used and migration from one processor to another is allowed during a task lifetime.
Marko Bertogna +2 more
openaire +3 more sources
Dynamic and Static Task Allocation for Hard Real-Time Video Stream Decoding on NoCs [PDF]
Leibniz Transactions on Embedded Systems, 2017 Hard real-time (HRT) video systems require admission control decisions that rely on two factors. Firstly, schedulability analysis of the data-dependent, communicating tasks within the application need to be carried out in order to guarantee timing and ...
Mendis, Hashan R. +2 more
doaj +1 more source
Research on schedulability analysis algorithm of airborne multi partition system
Xibei Gongye Daxue Xuebao, 2023 Partition operating system conforming to ARINC653 is widely used in airborne to support application software integration. Under the two-level scheduling model for partition operating system, the demanding real-time requirements of airborne software are ...
ZHANG Min +3 more
doaj +1 more source
Response-Time Analysis for Multi-Mode Tasks in Real-Time Multiprocessor Systems
IEEE Access, 2020 Recently, traditional real-time systems that played a dedicated role in a limited environment have been evolving to interact with dynamically varying environments.
Hyeongboo Baek, Kang G. Shin, Jinkyu Lee
doaj +1 more source
Improved Multiprocessor Global Schedulability Analysis [PDF]
, 2010 A new technique was recently introduced by Bonifaci et al. for the analysis of real-time systems scheduled on multiprocessor platforms by the global Earliest Deadline First (EDF) scheduling algorithm.
Bonifaci, V. +12 more
core +2 more sources
Real-Time Scheduling on Uni- and Multiprocessors based on Priority Promotions [PDF]
Leibniz Transactions on Embedded Systems, 2016 This paper addresses the problem of real-time scheduling of a set of sporadic tasks on uni- and multiprocessor platform based on priority promotion. A new preemptive scheduling algorithm, called Fixed-Priority with Priority Promotion (FPP), is proposed ...
Pathan, Risat Mahmud
doaj +1 more source
Schedulability Analysis of Mission Critical System Under Timing Constraint [PDF]
Jisuanji gongcheng, 2018 Aiming at the inadequate of workflow schedulability and correction strategy under timing constraint,a schedulability analysis method of Mission Critical System(MCS) based on Timing Constraint Colored Petri Net(TCCP-Net) is proposed.It is divided into ...
CHEN Ying,XING Jianchun,YANG Qiliang,ZHANG Xiaopeng
doaj +1 more source