Search results for "schedulability"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Imane Haur, Jean-Luc Béchennec, Olivier Henri Roux	Formal schedulability analysis based on multi-core RTOS model.	RTNS	2021	DBLP DOI BibTeX RDF
15	Robert I. Davis 0001, David Griffin 0002, Iain Bate	Schedulability Analysis for Multi-Core Systems Accounting for Resource Stress and Sensitivity.	ECRTS	2021	DBLP DOI BibTeX RDF
15	Metin Yeniaydin, Ömer Faruk Gemici, Muhammet Selim Demir, Ibrahim Hökelek, Sinem Coleri, Ufuk Tureli	Priority Re-assignment for Improving Schedulability and Mixed-Criticality of ARINC 664. (PDF / PS)	Networking	2021	DBLP DOI BibTeX RDF
15	Madoda Nxumalo, Nils Timm, Stefan Gruner	Spotlight Abstraction in Model Checking Real-Time Task Schedulability.	SPIN	2021	DBLP DOI BibTeX RDF
15	Ivan Pavic, Hrvoje Dzapo	Framework for Evaluation of Schedulability Tests for Mixed-Criticality Systems.	MIPRO	2021	DBLP DOI BibTeX RDF
15	Guangli Dai, Pavan Kumar Paluri, Albert Mo Kim Cheng	Enhanced Schedulability Tests for Real-Time Regularity-Based Virtualized Systems with Dependent and Self-Suspension Tasks.	RTCSA	2021	DBLP DOI BibTeX RDF
15	Xiaojie Guo 0003, Lionel Rieg, Paolo Torrini	A generic approach for the certified schedulability analysis of software systems.	RTCSA	2021	DBLP DOI BibTeX RDF
15	Mario Günzel, Niklas Ueter, Jian-Jia Chen	Suspension-Aware Fixed-Priority Schedulability Test with Arbitrary Deadlines and Arrival Curves.	RTSS	2021	DBLP DOI BibTeX RDF
15	Mario Günzel, Harun Teper, Kuan-Hsun Chen, Georg von der Brüggen, Jian-Jia Chen	Work-in-Progress: Evaluation Framework for Self-Suspending Schedulability Tests.	RTSS	2021	DBLP DOI BibTeX RDF
15	Bahar Houtan, Mohammad Ashjaei, Masoud Daneshtalab, Mikael Sjödin, Sara Afshar, Saad Mubeen	Schedulability Analysis of Best-Effort Traffic in TSN Networks.	ETFA	2021	DBLP DOI BibTeX RDF
15	Yunwei Dong, Qian-wen Gou, Pei Tang	Architecture-Level Schedulability Analysis with IO Constraint using AADL.	DSA	2021	DBLP DOI BibTeX RDF
15	Jaishree Mayank, Arijit Mondal	Polynomial Time Schedulability Test for Periodic Non-Preemptive 2-Task System.	Inf. Process. Lett.	2020	DBLP DOI BibTeX RDF
15	Manuel Coutinho, Carlos Almeida 0002	Schedulability of Blocking Threads.	IEEE Embed. Syst. Lett.	2020	DBLP DOI BibTeX RDF
15	Hyeongboo Baek, Jinkyu Lee 0001	Improved Schedulability Test for Non-Preemptive Fixed-Priority Scheduling on Multiprocessors.	IEEE Embed. Syst. Lett.	2020	DBLP DOI BibTeX RDF
15	Hyuk Lee, Jin-Young Choi	Constraint-Based Schedulability Analysis in Multiprocessor Real-Time Systems.	IEEE Access	2020	DBLP DOI BibTeX RDF
15	Li Pan, Bo Yang 0036, Junqiang Jiang, Mengchu Zhou	A Time Petri Net With Relaxed Mixed Semantics for Schedulability Analysis of Flexible Manufacturing Systems.	IEEE Access	2020	DBLP DOI BibTeX RDF
15	Mario Günzel, Jian-Jia Chen	Correspondence Article: Counterexample for suspension-aware schedulability analysis of EDF scheduling.	Real Time Syst.	2020	DBLP DOI BibTeX RDF
15	Wei Ding 0006	A branch-and-cut approach to examining the maximum density guarantee for pinwheel schedulability of low-dimensional vectors.	Real Time Syst.	2020	DBLP DOI BibTeX RDF
15	Ivan Pavic, Hrvoje Dzapo	Commentary to: An exact schedulability test for fixed-priority preemptive mixed-criticality real-time systems.	Real Time Syst.	2020	DBLP DOI BibTeX RDF
15	Weizhe Zhang, Enci Bai, Jing Li 0025	Speeding Up the Schedulability Analysis and Priority Assignment of Sporadic Tasks Under Uniprocessor FPNS.	IEEE Trans. Ind. Informatics	2020	DBLP DOI BibTeX RDF
15	Nunzio Cecere, Massimo Tipaldi, Davide De Pasquale	Applying analytical and empirical schedulability analysis techniques to a real spacecraft flight software.	Int. J. Embed. Syst.	2020	DBLP DOI BibTeX RDF
15	Jun Xiao 0009, Sebastian Altmeyer, Andy D. Pimentel	Schedulability Analysis of Global Scheduling for Multicore Systems With Shared Caches.	IEEE Trans. Computers	2020	DBLP DOI BibTeX RDF
15	Lucia Lo Bello, Mohammad Ashjaei, Gaetano Patti, Moris Behnam	Schedulability analysis of Time-Sensitive Networks with scheduled traffic and preemption support.	J. Parallel Distributed Comput.	2020	DBLP DOI BibTeX RDF
15	Yu Liu, Chao Peng, Yecheng Zhao, Yangyang Li, Haibo Zeng 0001	Schedulability Analysis of Engine Control Systems With Dynamic Switching Speeds.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2020	DBLP DOI BibTeX RDF
15	Xiaozhe Gu, Arvind Easwaran	Efficient Schedulability Test for Dynamic-Priority Scheduling of Mixed-Criticality Real-Time Systems.	CoRR	2020	DBLP BibTeX RDF
15	Mario Günzel, Jian-Jia Chen	On Schedulability Analysis of EDF Scheduling by Considering Suspension as Blocking.	CoRR	2020	DBLP BibTeX RDF
15	Xu Jiang 0004, Nan Guan, Maolin Yang, Yue Tang 0001, Wang Yi 0001	Schedulability Bounds for Parallel Real-Time Tasks under Global Rate-Monotonic Scheduling.	CoRR	2020	DBLP BibTeX RDF
15	Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache	Schedulability Analysis of Real-Time Systems with Uncertain Worst-Case Execution Times.	CoRR	2020	DBLP BibTeX RDF
15	Shuai Zhao 0004, Jorge Garrido, Ran Wei, Alan Burns 0001, Andy J. Wellings, Juan Antonio de la Puente	A complete run-time overhead-aware schedulability analysis for MrsP under nested resources.	J. Syst. Softw.	2020	DBLP DOI BibTeX RDF
15	Marek Vlk, Zdenek Hanzálek, Katerina Brejchová, Siyu Tang 0002, Sushmit Bhattacharjee, Songwei Fu	Enhancing Schedulability and Throughput of Time-Triggered Traffic in IEEE 802.1Qbv Time-Sensitive Networks.	IEEE Trans. Commun.	2020	DBLP DOI BibTeX RDF
15	Jaishree Mayank, Arijit Mondal	Efficient SAT encoding scheme for schedulability analysis of non-preemptive tasks on multiple computational resources.	J. Syst. Archit.	2020	DBLP DOI BibTeX RDF
15	Mohammed Foughali, Pierre-Emmanuel Hladik	Bridging the gap between formal verification and schedulability analysis: The case of robotics.	J. Syst. Archit.	2020	DBLP DOI BibTeX RDF
15	Tanya Amert, Ming Yang 0036, Saujas Nandi, Thanh Vu, James H. Anderson, F. Donelson Smith	The Price of Schedulability in Multi-Object Tracking: The History-vs.-Accuracy Trade-Off.	ISORC	2020	DBLP DOI BibTeX RDF
15	Slim Ben-Amor, Liliana Cucu-Grosjean, Mehdi Mezouak, Yves Sorel	Probabilistic Schedulability Analysis for Real-time Tasks with Precedence Constraints on Partitioned Multi-core.	ISORC	2020	DBLP DOI BibTeX RDF
15	Miguel Gutiérrez-Gaitán, Patrick Meumeu Yomsi, Pedro M. Santos 0002, Luís Almeida 0001	Work-In-Progress: Assessing Supply/Demand-Bound Based Schedulability Tests For Wireless Sensor-Actuator Networks.	WFCS	2020	DBLP DOI BibTeX RDF
15	Yecheng Zhao, Runzhi Zhou, Haibo Zeng 0001	An Optimization Framework for Real-Time Systems with Sustainable Schedulability Analysis.	RTSS	2020	DBLP DOI BibTeX RDF
15	David Griffin 0002, Iain Bate, Robert I. Davis 0001	Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests.	RTSS	2020	DBLP DOI BibTeX RDF
15	Sanjoy K. Baruah	Work in Progress: The ILP-Tractability of Schedulability Analysis Problems.	RTSS	2020	DBLP DOI BibTeX RDF
15	Alan Burns 0001, Robert I. Davis 0001	Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance.	RTSS	2020	DBLP DOI BibTeX RDF
15	Pontus Ekberg	Rate-Monotonic Schedulability of Implicit-Deadline Tasks is NP-hard Beyond Liu and Layland's Bound.	RTSS	2020	DBLP DOI BibTeX RDF
15	Dimitri Racordon, Aurélien Coet, Emmanouela Stachtiari, Didier Buchs	Solving Schedulability as a Search Space Problem with Decision Diagrams.	SSBSE	2020	DBLP DOI BibTeX RDF
15	Slim Ben-Amor, Liliana Cucu-Grosjean, Mehdi Mezouak, Yves Sorel	Probabilistic Schedulability Analysis for Precedence Constrained Tasks on Partitioned Multi-core.	ETFA	2020	DBLP DOI BibTeX RDF
15	Ill-Ham Atchadam, Laurent Lemarchand, Hai Nam Tran, Frank Singhoff, Karim Bigou	When security affects schedulability of TSP systems: trade-offs observed by design space exploration.	ETFA	2020	DBLP DOI BibTeX RDF
15	André de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto	Real-time MTL with durations as SMT with applications to schedulability analysis.	TASE	2020	DBLP DOI BibTeX RDF
15	Arno Luppold	Schedulability-oriented code optimization of hard real-time multitasking systems.		2020	RDF
15	Muhammad Uzair Ahsan	Schedulability analysis of real-time multi-frame co-simulations on multi-core platforms (Çok-çekirdekli platformlarda gerçek zamanlı çok-çerçeveli eş-benzetim için çizelgelenebilirlik çözümlemesi)		2020	RDF
15	Xiaojie Guo 0003	Certified Tools for Schedulability Analyses. (Outils certifiés pour les analyses d'ordonnançabilité).		2020	RDF
15	Jasdeep Singh	Schedulability Analysis of Probabilistic Real-Time Systems. (Analyse de l'ordonnancement des systèmes probabilistes en temps réel).		2020	RDF
15	Filip Markovic	Preemption-Delay Aware Schedulability Analysis of Real-Time Systems.		2020	RDF
15	Muhammad Uzair Ahsan, Halit Oguztüzün	Schedulability analysis of real-time multiframe cosimulations on multicore platforms.	Turkish J. Electr. Eng. Comput. Sci.	2019	DBLP DOI BibTeX RDF
15	Hitham Alhussian 0001, Nordin Zakaria 0001, Ahmed Patel, Ayman Jaradat, Said Jadid Abdulkadir, Abdelaziz Yousif Ahmed, Hussein T. Bahbouh, Sallam Osman Fageeri, Asim Abdallah Elsheikh, Junzo Watada	Investigating the Schedulability of Periodic Real-Time Tasks in Virtualized Cloud Environment.	IEEE Access	2019	DBLP DOI BibTeX RDF
15	Nikumani Choudhury, Rakesh Matam, Mithun Mukherjee 0001, Jaime Lloret 0001	LBS: A Beacon Synchronization Scheme With Higher Schedulability for IEEE 802.15.4 Cluster-Tree-Based IoT Applications.	IEEE Internet Things J.	2019	DBLP DOI BibTeX RDF
15	Arpan Gujarati, Felipe Cerqueira, Björn B. Brandenburg, Geoffrey Nelissen	Correspondence article: a correction of the reduction-based schedulability analysis for APA scheduling.	Real Time Syst.	2019	DBLP DOI BibTeX RDF
15	José Carlos Fonseca, Geoffrey Nelissen, Vincent Nélis	Schedulability analysis of DAG tasks with arbitrary deadlines under global fixed-priority scheduling.	Real Time Syst.	2019	DBLP DOI BibTeX RDF
15	Robert I. Davis 0001, Liliana Cucu-Grosjean	A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems.	Leibniz Trans. Embed. Syst.	2019	DBLP DOI BibTeX RDF
15	Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens	Parametric schedulability analysis of a launcher flight control system under reactivity constraints.	CoRR	2019	DBLP BibTeX RDF
15	Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman, Martin Kristjansen	Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL.	J. Aerosp. Inf. Syst.	2019	DBLP DOI BibTeX RDF
15	Hyeongboo Baek, Jinkyu Lee 0001	Improved schedulability analysis of the contention-free policy for real-time systems.	J. Syst. Softw.	2019	DBLP DOI BibTeX RDF
15	Haibin Cai, Hao Wu	An improved formalization analysis approach to determine schedulability of global multiprocessor scheduling based on symbolic safety analysis and statistical model checking in smartphone systems.	Clust. Comput.	2019	DBLP DOI BibTeX RDF
15	Christine Niyizamwiyitira, Lars Lundberg	A Utilization-Based Schedulability Test of Real-Time Systems Running on a Multiprocessor Virtual Machine.	Comput. J.	2019	DBLP DOI BibTeX RDF
15	Jin Cui, Cong Tian, Nan Zhang 0001, Zhenhua Duan, Hongwei Du 0001	Verifying schedulability of tasks in ROS-based systems.	J. Comb. Optim.	2019	DBLP DOI BibTeX RDF
15	Youcheng Sun, Marco Di Natale	Pessimism in multicore global schedulability analysis.	J. Syst. Archit.	2019	DBLP DOI BibTeX RDF
15	Xiaojie Guo 0003, Maxime Lesourd, Mengqi Liu 0001, Lionel Rieg, Zhong Shao	Integrating Formal Schedulability Analysis into a Verified OS Kernel.	CAV (2)	2019	DBLP DOI BibTeX RDF
15	Tieu Long Mai, Nicolas Navet, Jörn Migge	On the use of supervised machine learning for assessing schedulability: application to ethernet TSN.	RTNS	2019	DBLP DOI BibTeX RDF
15	Ill-Ham Atchadam, Frank Singhoff, Hai Nam Tran, Noura Bouzid, Laurent Lemarchand	Combined Security and Schedulability Analysis for MILS Real-Time Critical Architectures.	CERTS	2019	DBLP DOI BibTeX RDF
15	Cong Chen, Yangyang Chen, Jianmin Jiang, Shi Zhang, Zhong Hong, Hongping Shu, Zeng Qiong	Schedulability analysis for real-time mobile systems (S).	SEKE	2019	DBLP DOI BibTeX RDF
15	Tieu Long Mai, Nicolas Navet, Jörn Migge	A Hybrid Machine Learning and Schedulability Analysis Method for the Verification of TSN Networks.	WFCS	2019	DBLP DOI BibTeX RDF
15	Paolo Pazzaglia, Alessandro Biondi 0001, Marco Di Natale	Simple and General Methods for Fixed-Priority Schedulability in Optimization Problems.	DATE	2019	DBLP DOI BibTeX RDF
15	Beyazit Yalcinkaya, Mitra Nasri, Björn B. Brandenburg	An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks.	DATE	2019	DBLP DOI BibTeX RDF
15	Mohammed Foughali	On Reconciling Schedulability Analysis and Model Checking in Robotics.	MEDI Workshops	2019	DBLP DOI BibTeX RDF
15	Ajay Khare, Irene Anna Boben, Santanu Chattopadhyay	Enhanced Schedulability via Minimal Routing with Mapping and Priority Assignment for Real-Time Network-on-chip.	TENCON	2019	DBLP DOI BibTeX RDF
15	Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens	Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity Constraints.	ACSD	2019	DBLP DOI BibTeX RDF
15	Nandinbaatar Tsog, Matthias Becker 0004, Fredrik Bruhn, Moris Behnam, Mikael Sjödin	Static Allocation of Parallel Tasks to Improve Schedulability in CPU-GPU Heterogeneous Real-Time Systems.	IECON	2019	DBLP DOI BibTeX RDF
15	Ivan Evgeniev Ivanov, Vesselin Gueorguiev, Desislava Georgieva	Software Structure, Program Generation and Schedulability Analysis of Extracorporeal Perfusion Pump Embedded Controller.	MECO	2019	DBLP DOI BibTeX RDF
15	Javier Pérez-Rodríguez, Patrick Meumeu Yomsi	Thermal-Aware Schedulability Analysis for Fixed-Priority Non-preemptive Real-Time Systems.	RTSS	2019	DBLP DOI BibTeX RDF
15	Piotr Dziurzanski, Robert I. Davis 0001, Leandro Soares Indrusiak	Synthesizing Real-Time Schedulability Tests using Evolutionary Algorithms: A Proof of Concept.	RTSS	2019	DBLP DOI BibTeX RDF
15	Estevan Lara, Guilherme Debon, Roger C. Goerl, Paulo Ricardo Cechelero Villa, Dorian Schramm, Leticia B. Poehls, Fabian Vargas 0001	A New Approach to Guarantee Critical Task Schedulability in TDMA-Based Bus Access of Multicore Architecture.	LATS	2019	DBLP DOI BibTeX RDF
15	Sandrine Mouysset, Jérôme Ermont, Jean-Luc Scharbarg	Limiting over sampling to improve transmission schedulability in a mixed NoC/AFDX architecture.	ETFA	2019	DBLP DOI BibTeX RDF
15	Ansah Frimpong, Mohamed Amine Abid, Hermann de Meer	Schedulability Analysis and GCL Computation for Time-Sensitive Networks.	INDIN	2019	DBLP DOI BibTeX RDF
15	Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen	A Logical Approach for the Schedulability Analysis of CCSL.	TASE	2019	DBLP DOI BibTeX RDF
15	Min Zhang 0002, Fu Song, Frédéric Mallet, Xiaohong Chen 0007	SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language.	FASE	2019	DBLP DOI BibTeX RDF
15	Christophe Prévot	Analyses pour l'ordonnançabilité et la flexibilité de systèmes temps réel. (Analyses for schedulability and flexibility of real-time systems).		2019	RDF
15	Rany Kahil	Schedulability in Mixed-criticality Systems. (Ordonnancement des systèmes avec différents niveaux de criticité).		2019	RDF
15	Yukai Hao, Ming Mu, Xiaodi Dai, Xiangdong Li	Schedulability test for IMA systems based on mixed integer linear programming formulation.	Turkish J. Electr. Eng. Comput. Sci.	2018	DBLP DOI BibTeX RDF
15	Hyuk Lee, Jin-Young Choi	Constraint Solving Approach to Schedulability Analysis in Real-Time Systems.	IEEE Access	2018	DBLP DOI BibTeX RDF
15	Sedigheh Asyaban, Mehdi Kargahi	An exact schedulability test for fixed-priority preemptive mixed-criticality real-time systems.	Real Time Syst.	2018	DBLP DOI BibTeX RDF
15	Yorick De Bock, Sebastian Altmeyer, Thomas Huybrechts, Jan Broeckhove, Peter Hellinckx	Task-set generator for schedulability analysis using the TACLebench benchmark suite.	SIGBED Rev.	2018	DBLP DOI BibTeX RDF
15	Sophia A. Zelenova, Sergey V. Zelenov	Schedulability Analysis for Strictly Periodic Tasks in RTOS.	Program. Comput. Softw.	2018	DBLP DOI BibTeX RDF
15	Xiaozhe Gu, Arvind Easwaran	Efficient Schedulability Test for Dynamic-Priority Scheduling of Mixed-Criticality Real-Time Systems.	ACM Trans. Embed. Comput. Syst.	2018	DBLP DOI BibTeX RDF
15	Björn Andersson, Hyoseung Kim 0001, Dionisio de Niz, Mark H. Klein, Ragunathan Rajkumar, John P. Lehoczky	Schedulability Analysis of Tasks with Corunner-Dependent Execution Times.	ACM Trans. Embed. Comput. Syst.	2018	DBLP DOI BibTeX RDF
15	Chi Lin 0001, Yanhong Zhou, Houbing Song, Chang Wu Yu 0001, Guowei Wu	OPPC: An Optimal Path Planning Charging Scheme Based on Schedulability Evaluation for WRSNs.	ACM Trans. Embed. Comput. Syst.	2018	DBLP DOI BibTeX RDF
15	Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman	A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems.	MARS/VPT@ETAPS	2018	DBLP DOI BibTeX RDF
15	Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman	A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems.	MeTRiD@ETAPS	2018	DBLP DOI BibTeX RDF
15	Timo Feld, Alessandro Biondi 0001, Robert I. Davis 0001, Giorgio C. Buttazzo, Frank Slomka	A survey of schedulability analysis techniques for rate-dependent tasks.	J. Syst. Softw.	2018	DBLP DOI BibTeX RDF
15	Jalil Boudjadar	Compositional Schedulability Analysis of Multicore Modular Avionic Architectures.	J. Comput.	2018	DBLP DOI BibTeX RDF
15	Qingling Zhao, Zonghua Gu 0001, Haibo Zeng 0001, Nenggan Zheng	Schedulability analysis and stack size minimization with preemption thresholds and mixed-criticality scheduling.	J. Syst. Archit.	2018	DBLP DOI BibTeX RDF
15	Rongfei Xu, Li Zhang 0029, Ning Ge 0002, Xavier Blanc 0001	Schedulability Analysis of Graph-Based Real-Time Task Model with Precedence Constraints.	Int. J. Softw. Eng. Knowl. Eng.	2018	DBLP DOI BibTeX RDF
15	Luca Santinelli, David Doose, Guy Durrieu, Frédéric Boniol, Charles Lesire-Cabaniols, Christophe Grand	Schedulability analysis for mixed critical cyber physical systems.	ICPS	2018	DBLP DOI BibTeX RDF
15	Syed Aftab Rashid, Geoffrey Nelissen, Eduardo Tovar	Trading Between Intra- and Inter-Task Cache Interference to Improve Schedulability.	RTNS	2018	DBLP DOI BibTeX RDF
15	Risat Mahmud Pathan	Improving the Schedulability and Quality of Service for Federated Scheduling of Parallel Mixed-Criticality Tasks on Multiprocessors.	ECRTS	2018	DBLP DOI BibTeX RDF