Search results for "schedulability"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Rabeh Ayari, Imane Hafnaoui, Giovanni Beltrame, Gabriela Nicolescu	Schedulability-guided exploration of multi-core systems.	RSP	2016	DBLP DOI BibTeX RDF
15	Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mohamed Abid	From UML/MARTE Models of Multiprocessor Real-time Embedded Systems to Early Schedulability Analysis based on SimSo Tool.	ICSOFT-EA	2016	DBLP DOI BibTeX RDF
15	Jiaming Lv, Yu Jiang, Xingliang Zou, Albert M. K. Cheng	Poster Abstract: Using Linked List in Exact Schedulability Tests for Fixed Priority Scheduling.	RTAS	2016	DBLP DOI BibTeX RDF
15	Bingbing Fang, Guoqiang Li 0001, Daniel Sun 0004, Hongming Cai	Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET.	SETTA	2016	DBLP DOI BibTeX RDF
15	Héctor Pérez 0001, J. Javier Gutiérrez, Michael González Harbour, J. Carlos Palencia	The Polling Effect on the Schedulability of Distributed Real-Time Systems.	Ada-Europe	2016	DBLP DOI BibTeX RDF
15	Artem Burmyakov	Schedulability Analysis of Multiprocessor Real-time Systems Using Pruning		2016	RDF
15	Giovanni Agosta, Alessandro Barenghi, Gerardo Pelosi, Michele Scandale	Trace-based schedulability analysis to enhance passive side-channel attack resilience of embedded software.	Inf. Process. Lett.	2015	DBLP DOI BibTeX RDF
15	André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto	Logic-based schedulability analysis for compositional hard real-time embedded systems.	SIGBED Rev.	2015	DBLP DOI BibTeX RDF
15	Jinkyu Lee 0001, Kang G. Shin, Insik Shin, Arvind Easwaran	Composition of Schedulability Analyses for Real-Time Multiprocessor Systems.	IEEE Trans. Computers	2015	DBLP DOI BibTeX RDF
15	Yan Qiao, Naiqi Wu, MengChu Zhou	Schedulability and Scheduling Analysis of Dual-Arm Cluster Tools with Wafer Revisiting and Residency Time Constraints Based on a Novel Schedule.	IEEE Trans. Syst. Man Cybern. Syst.	2015	DBLP DOI BibTeX RDF
15	Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis	Schedulability of Herschel revisited using statistical model checking.	Int. J. Softw. Tools Technol. Transf.	2015	DBLP DOI BibTeX RDF
15	Jian-Jia Chen, Wen-Hung Huang 0001, Cong Liu 0005	Evaluate and Compare Two Uitlization-Based Schedulability-Test Frameworks for Real-Time Systems.	CoRR	2015	DBLP BibTeX RDF
15	Qimin Gao, Lyndon J. Brown, Luiz Fernando Capretz	Integrating Schedulability Analysis with UML-RT.	CoRR	2015	DBLP BibTeX RDF
15	Jian-Jia Chen, Wen-Hung Huang 0001, Cong Liu 0005	k2Q: A Quadratic-Form Response Time and Schedulability Analysis Framework for Utilization-Based Analysis.	CoRR	2015	DBLP BibTeX RDF
15	Jian-Jia Chen, Wen-Hung Huang 0001, Cong Liu 0005	k2U: A General Framework from k-Point Effective Schedulability Analysis to Utilization-Based Tests.	CoRR	2015	DBLP BibTeX RDF
15	Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou	A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
15	Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi	Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
15	Zhengli Zhai, Zhijun Ding	时间Petri网的可调度分析及在FMS中的应用 (Schedulability Analysis of Time Petri Net and its Application in FMS).	计算机科学	2015	DBLP DOI BibTeX RDF
15	Paola Cappanera, Alessandro Lori, Giovanni Stea, Gigliola Vaglini	On the Schedulability of Deadline-Constrained Traffic in TDMA Wireless Mesh Networks.	Comput. J.	2015	DBLP DOI BibTeX RDF
15	Linwei Niu, Jia Xu	Improving schedulability and energy efficiency for window-constrained real-time systems with reliability requirement.	J. Syst. Archit.	2015	DBLP DOI BibTeX RDF
15	Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee 0001, Linh Thi Xuan Phan	Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks.	ISORC	2015	DBLP DOI BibTeX RDF
15	Eduardo Valentin, Mario Salvatierra, Rosiane de Freitas, Raimundo S. Barreto	Response time schedulability analysis for hard real-time systems accounting DVFS latency on heterogeneous cluster-based platform.	PATMOS	2015	DBLP DOI BibTeX RDF
15	Artem Burmyakov, Enrico Bini, Eduardo Tovar	An exact schedulability test for global FP using state space pruning.	RTNS	2015	DBLP DOI BibTeX RDF
15	Chao Wang 0097, Zonghua Gu 0001, Haibo Zeng 0001	Integration of Cache Partitioning and Preemption Threshold Scheduling to Improve Schedulability of Hard Real-Time Systems.	ECRTS	2015	DBLP DOI BibTeX RDF
15	Georg von der Brüggen, Jian-Jia Chen, Wen-Hung Huang 0001	Schedulability and Optimization Analysis for Non-preemptive Static Priority Scheduling Based on Task Utilization and Blocking Factors.	ECRTS	2015	DBLP DOI BibTeX RDF
15	Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha	Schedulability bound for integrated modular avionics partitions.	DATE	2015	DBLP BibTeX RDF
15	Arno Luppold, Heiko Falk	Schedulability Aware WCET-Optimization of Periodic Preemptive Hard Real-Time Multitasking Systems.	SCOPES	2015	DBLP DOI BibTeX RDF
15	Gopinath Karmakar	Building comfortability and computation schedulability: A comparative study.	ISGT	2015	DBLP DOI BibTeX RDF
15	Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, Kim G. Larsen, Arne Skou, Insup Lee 0001, Linh Thi Xuan Phan	Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context.	CBSE	2015	DBLP DOI BibTeX RDF
15	Kiyofumi Tanaka, Kazuki Hasegawa	Guaranteeing Schedulability with Server Mechanisms for RTOS Overheads.	EWiLi	2015	DBLP BibTeX RDF
15	Kasten Albers, Matthias Dörfel	Using Timinig Paths to Validate End-to-end Requirements with Methods of Schedulability Simulation and Analysis.	REFSQ Workshops	2015	DBLP BibTeX RDF
15	Zhishan Guo, Luca Santinelli, Kecheng Yang 0001	EDF Schedulability Analysis on Mixed-Criticality Systems with Permitted Failure Probability.	RTCSA	2015	DBLP DOI BibTeX RDF
15	Wen-Hung Huang 0001, Jian-Jia Chen	Techniques for Schedulability Analysis in Mode Change Systems under Fixed-Priority Scheduling.	RTCSA	2015	DBLP DOI BibTeX RDF
15	Pedro F. Souto, Paulo Baltarejo Sousa, Robert I. Davis 0001, Konstantinos Bletsas, Eduardo Tovar	Overhead-Aware Schedulability Evaluation of Semi-Partitioned Real-Time Schedulers.	RTCSA	2015	DBLP DOI BibTeX RDF
15	Yu Jiang, Albert M. K. Cheng, Xingliang Zou	Schedulability Analysis for Real-Time P-FRP Tasks under Fixed Priority Scheduling.	RTCSA	2015	DBLP DOI BibTeX RDF
15	Xiayu Hua, Chunhui Guo, Hao Wu 0021, Douglas Lautner, Shangping Ren	Schedulability Analysis for Real-Time Task Set on Resource with Performance Degradation and Periodic Rejuvenation.	RTCSA	2015	DBLP DOI BibTeX RDF
15	Bryan C. Ward	Relaxing Resource-Sharing Constraints for Improved Hardware Management and Schedulability.	RTSS	2015	DBLP DOI BibTeX RDF
15	Abusayeed Saifullah, Dolvara Gunatilaka, Paras Babu Tiwari, Mo Sha 0001, Chenyang Lu 0001, Bo Li 0020, Chengjie Wu, Yixin Chen 0001	Schedulability Analysis under Graph Routing in WirelessHART Networks.	RTSS	2015	DBLP DOI BibTeX RDF
15	Jian-Jia Chen, Wen-Hung Huang 0001, Cong Liu 0005	k2U: A General Framework from k-Point Effective Schedulability Analysis to Utilization-Based Tests.	RTSS	2015	DBLP DOI BibTeX RDF
15	Christine Niyizamwiyitira, Lars Lundberg, Håkan Lennerstad	Utilization-Based Schedulability Test of Real-Time Systems on Virtual Multiprocessors.	ICPP Workshops	2015	DBLP DOI BibTeX RDF
15	Mohamed Naija, Samir Ben Ahmed, Jean-Michel Bruel	New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages.	ICSOFT-EA	2015	DBLP DOI BibTeX RDF
15	Leo Hatvani, Reinder J. Bril	Schedulability using native non-preemptive groups on an AUTOSAR/OSEK platform.	ETFA	2015	DBLP DOI BibTeX RDF
15	Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand	Contracts for Schedulability Analysis.	FORMATS	2015	DBLP DOI BibTeX RDF
15	Juan Zamorano, Jorge Garrido	Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS.	Ada-Europe	2015	DBLP DOI BibTeX RDF
15	J. Augusto Santos Junior, George Lima 0001, Konstantinos Bletsas	Efficient schedulability tests for real-time embedded systems with urgent routines.	Des. Autom. Embed. Syst.	2014	DBLP DOI BibTeX RDF
15	Risat Mahmud Pathan, Jan Jonsson	Interference-aware fixed-priority schedulability analysis on multiprocessors.	Real Time Syst.	2014	DBLP DOI BibTeX RDF
15	Paulo Baltarejo Sousa, Konstantinos Bletsas, Eduardo Tovar, Pedro F. Souto, Benny Akesson	Unified overhead-aware schedulability analysis for slot-based task-splitting.	Real Time Syst.	2014	DBLP DOI BibTeX RDF
15	J. Javier Gutiérrez, J. Carlos Palencia, Michael González Harbour	Holistic schedulability analysis for multipacket messages in AFDX networks.	Real Time Syst.	2014	DBLP DOI BibTeX RDF
15	Zonghua Gu 0001, Haibin Cai	Efficient algorithms for schedulability analysis and priority assignment for fixed-priority preemptive scheduling with offsets.	Int. J. Embed. Syst.	2014	DBLP DOI BibTeX RDF
15	Zonghua Gu 0001, Zhu Wang, Haolan Chen, Haibin Cai	A model-checking approach to schedulability analysis of global multiprocessor scheduling with fixed offsets.	Int. J. Embed. Syst.	2014	DBLP DOI BibTeX RDF
15	Tomasz Kloda, Bruno d'Ausbourg, Luca Santinelli	Towards EDF schedulability analysis of an extended timing definition language.	SIGBED Rev.	2014	DBLP DOI BibTeX RDF
15	Vincent Gaudel, Frank Singhoff, Alain Plantec, Pierre Dissaux, Jérôme Legrand	Composition of design patterns: from the modeling of RTOS synchronization tools to schedulability analysis.	SIGBED Rev.	2014	DBLP DOI BibTeX RDF
15	Moonju Park, Heemin Park	An Efficient Test Method for Rate Monotonic Schedulability.	IEEE Trans. Computers	2014	DBLP DOI BibTeX RDF
15	Song Han 0002, Deji Chen 0001, Ming Xiong, Kam-yiu Lam, Aloysius K. Mok, Krithi Ramamritham	Schedulability Analysis of DeferrableScheduling Algorithms for MaintainingReal-Time Data Freshness.	IEEE Trans. Computers	2014	DBLP DOI BibTeX RDF
15	Masud Ahmed, Nathan Fisher	Tractable schedulability analysis and resource allocation for real-time multimodal systems.	ACM Trans. Embed. Comput. Syst.	2014	DBLP DOI BibTeX RDF
15	Saehwa Kim	Synthesizing Multithreaded Code from Real-Time Object-Oriented Models via Schedulability-Aware Thread Derivation.	IEEE Trans. Software Eng.	2014	DBLP DOI BibTeX RDF
15	Matthew C. Gombolay, Julie A. Shah	Schedulability Analysis of Task Sets with Upper- and Lower-Bound Temporal Constraints.	J. Aerosp. Inf. Syst.	2014	DBLP DOI BibTeX RDF
15	Jinkyu Lee 0001, Insik Shin	Demand-based schedulability analysis for real-time multi-core scheduling.	J. Syst. Softw.	2014	DBLP DOI BibTeX RDF
15	Leandro Soares Indrusiak	End-to-end schedulability tests for multiprocessor embedded systems based on networks-on-chip with priority-preemptive arbitration.	J. Syst. Archit.	2014	DBLP DOI BibTeX RDF
15	Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard	Schedulability Analysis at Early Design Stages with MARTE.	Embedded Systems Development, From Functional Models to Implementations	2014	DBLP DOI BibTeX RDF
15	Dirk Müller 0002	Schedulability Tests for Real-Time Uni- and Multiprocessor Systems. Focusing on Partitioned Approaches.		2014	RDF
15	Yasmina Abdeddaïm, Younès Chandarli, Robert I. Davis 0001, Damien Masson	Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting.	RTNS	2014	DBLP DOI BibTeX RDF
15	Zakaria Sahraoui, Emmanuel Grolleau, Mohamed Ahmed-Nacer, Driss Mehdi, Henri Bauer	Antinomy between schedulability and quality of control using a feedback scheduler.	RTNS	2014	DBLP DOI BibTeX RDF
15	Youcheng Sun, Giuseppe Lipari	A Weak Simulation Relation for Real-Time Schedulability Analysis of Global Fixed Priority Scheduling Using Linear Hybrid Automata.	RTNS	2014	DBLP DOI BibTeX RDF
15	Hing Choi Wong, Alan Burns 0001	Schedulability Analysis for the Abort-and-Restart (AR) Model.	RTNS	2014	DBLP DOI BibTeX RDF
15	Sanjoy K. Baruah	Improved Multiprocessor Global Schedulability Analysis of Sporadic DAG Task Systems.	ECRTS	2014	DBLP DOI BibTeX RDF
15	Rehan Ahmed, Parameswaran Ramanathan, Kewal K. Saluja	Necessary and Sufficient Conditions for Thermal Schedulability of Periodic Real-Time Tasks.	ECRTS	2014	DBLP DOI BibTeX RDF
15	Meng Liu 0001, Moris Behnam, Thomas Nolte	Schedulability analysis of GMF-modeled messages over controller area networks with mixed-queues.	WFCS	2014	DBLP DOI BibTeX RDF
15	Eun-Young Kang 0001, Pierre-Yves Schobbens	Schedulability analysis support for automotive systems: from requirement to implementation.	SAC	2014	DBLP DOI BibTeX RDF
15	Dirk Müller 0002, Alejandro Masrur	The schedulability region of two-level mixed-criticality systems based on EDF-VD.	DATE	2014	DBLP DOI BibTeX RDF
15	Yu Jiang, Qiang Zhou, Xingliang Zou, Albert M. K. Cheng	Minimal Schedulability Testing Interval for Real-Time Periodic Tasks with Arbitrary Release Offsets.	HPCC/CSS/ICESS	2014	DBLP DOI BibTeX RDF
15	Cheng Hu 0002, Yun Wang 0002	Schedulability decision of charging missions in wireless rechargeable sensor networks.	SECON	2014	DBLP DOI BibTeX RDF
15	Qinghua Zhu 0001, Naiqi Wu, Yan Qiao, MengChu Zhou	Modeling and schedulability analysis of single-arm multi-cluster tools with residency time constraints via Petri nets.	CASE	2014	DBLP DOI BibTeX RDF
15	Ahmed Alhammad, Rodolfo Pellizzoni	Schedulability analysis of global memory-predictable scheduling.	EMSOFT	2014	DBLP DOI BibTeX RDF
15	Tomasz Kloda, Bruno d'Ausbourg, Luca Santinelli	EDF schedulability analysis for an extended Timing Definition Language.	SIES	2014	DBLP DOI BibTeX RDF
15	Unmesh D. Bordoloi, Amir Aminifar, Petru Eles, Zebo Peng	Schedulability analysis of Ethernet AVB switches.	RTCSA	2014	DBLP DOI BibTeX RDF
15	Felipe Cerqueira, Arpan Gujarati, Björn B. Brandenburg	Linux's Processor Affinity API, Refined: Shifting Real-Time Tasks Towards Higher Schedulability.	RTSS	2014	DBLP DOI BibTeX RDF
15	Jinkyu Lee 0001	Time-Reversibility of Schedulability Tests.	RTSS	2014	DBLP DOI BibTeX RDF
15	Robert I. Davis 0001, Timo Feld, Victor Pollex, Frank Slomka	Schedulability tests for tasks with Variable Rate-dependent Behaviour under fixed priority scheduling.	RTAS	2014	DBLP DOI BibTeX RDF
15	Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou	Widening the Schedulability of Hierarchical Scheduling Systems.	FACS	2014	DBLP DOI BibTeX RDF
15	Shuai Li 0007, Frank Singhoff, Stéphane Rubini, Michel Bourdellès	Extending schedulability tests of tree-shaped transactions for TDMA radio protocols.	ETFA	2014	DBLP DOI BibTeX RDF
15	Abdeldjalil Boudjadar, Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman	Compositional Schedulability Analysis of An Avionics System Using UPPAAL.	ICAASE	2014	DBLP BibTeX RDF
15	Gustavo Künzel, Matheus Antonio Correa Ribeiro, Carlos Eduardo Pereira	A tool for response time and schedulability analysis in modbus serial communications.	INDIN	2014	DBLP DOI BibTeX RDF
15	Han Liu 0010, Hehua Zhang, Yu Jiang 0001, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun 0001	Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis.	TASE	2014	DBLP DOI BibTeX RDF
15	Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou	Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks.	TASE	2014	DBLP DOI BibTeX RDF
15	Manar Qamhieh, Serge Midonnet	Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level.	Ada-Europe	2014	DBLP DOI BibTeX RDF
15	Hing Choi Wong	Schedulability analysis for the abort-and-restart model.		2014	RDF
15	Gilles Geeraerts, Joël Goossens, Markus Lindström	Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm.	Real Time Syst.	2013	DBLP DOI BibTeX RDF
15	Robert I. Davis 0001, Steffen Kollmann, Victor Pollex, Frank Slomka	Schedulability analysis for Controller Area Network (CAN) with FIFO queues priority queues and gateways.	Real Time Syst.	2013	DBLP DOI BibTeX RDF
15	Linwei Niu, Kuai Xu	Improving schedulability and energy efficiency for real-time systems with (m, k)-guarantee.	SIGBED Rev.	2013	DBLP DOI BibTeX RDF
15	Thi Thieu Hoa Le, Luigi Palopoli 0002, Roberto Passerone, Yusi Ramadian	Timed-automata based schedulability analysis for distributed firm real-time systems: a case study.	Int. J. Softw. Tools Technol. Transf.	2013	DBLP DOI BibTeX RDF
15	Fengxiang Zhang, Alan Burns 0001	Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing.	ACM Trans. Embed. Comput. Syst.	2013	DBLP DOI BibTeX RDF
15	Madhukar Anand, Sebastian Fischmeister, Insup Lee 0001	A comparison of compositional schedulability analysis techniques for hierarchical real-time systems.	ACM Trans. Embed. Comput. Syst.	2013	DBLP DOI BibTeX RDF
15	Jinkyu Lee 0001, Insik Shin	EDZL Schedulability Analysis in Real-Time Multicore Scheduling.	IEEE Trans. Software Eng.	2013	DBLP DOI BibTeX RDF
15	Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg	Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems	CoRR	2013	DBLP BibTeX RDF
15	Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi 0001	Safe Schedulability of Bounded-Rate Multi-Mode Systems	CoRR	2013	DBLP BibTeX RDF
15	Omar Kermia	Schedulability Analysis of Distributed Real-Time Applications under Dependence and Several Latency Constraints	CoRR	2013	DBLP BibTeX RDF
15	Saoussen Anssi, Stefan Kuntz, Sébastien Gérard, François Terrier	On the gap between schedulability tests and an automotive task model.	J. Syst. Archit.	2013	DBLP DOI BibTeX RDF
15	Yassine Ouhammou, Emmanuel Grolleau, Jérôme Hugues	Mapping AADL models to a repository of multiple schedulability analysis techniques.	ISORC	2013	DBLP DOI BibTeX RDF
15	Dirk Müller 0002, Matthias Werner 0001	Quantifying the advantage of EDF vs. RMS schedulability on a uniprocessor using a differential analysis and a power-law total utilization distribution.	ISORC	2013	DBLP DOI BibTeX RDF