Results 21 to 30 of about 22,125,892 (242)
New schedulability analysis for MrsP [PDF]
, 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.
Wellings, Andrew John +9 more
core +1 more source
IEEE Access, 2020 Several semantics models are adopted by time Petri nets for different applications. Yet they have some limitations on schedulability analysis of flexible manufacturing systems.
Li Pan +3 more
doaj +1 more source
Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Existing model-based processes for embedded real-time systems support the analysis of various non-functional properties, most notably schedulability, through model checking, simulation or other means.
Fotios Gioulekas +3 more
doaj +1 more source
Toward Parametric Timed Interfaces for Real-Time Components [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We propose here a framework to model real-time components consisting of concurrent real-time tasks running on a single processor, using parametric timed automata.
Youcheng Sun +3 more
doaj +1 more source
Applied Sciences, 2023 With the rapid development of high-performance computing and parallel computing technology, by virtue of its cost-effectiveness, strong scalability, and easy programming, the multiprocessor system has gradually become the mainstream computing platform ...
Peng Wu, Zhi Li, Tao Yan, Yingchun Li
doaj +1 more source
New schedulability analysis for WiDom [PDF]
, 2010 WiDom is a wireless prioritized medium access control (MAC) protocol which offers a very large number of priority levels. Hence, it brings the potential for employing non-preemptive static-priority scheduling and schedulability analysis for a ...
Vahabi, Maryam, Andersson, Björn
core +1 more source
A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems [PDF]
Leibniz Transactions on Embedded Systems, 2019 This survey covers schedulability analysis techniques for probabilistic real-time systems. It reviews the key results in the field from its origins in the late 1980s to the latest research published up to the end of August 2018.
Davis, Robert I., Cucu-Grosjean, Liliana
doaj +1 more source
Scheduling Complex Cyber-Physical Systems with Mixed-Criticality Components
Systems, 2023 Two emerging trends for designing a complex, cyber-physical systems are the component-based and mixed-criticality (MC) approaches. A component-based approach independently develops individual components and subsequently integrates them to reduce system ...
Jaewoo Lee, Keumseok Koh
doaj +1 more source
Schedulability analysis with CCSL specifications [PDF]
, 2013 International audienceThe 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
Frederic Mallet +9 more
core +1 more source
Maximizing the Security Level of Real-Time Software While Preserving Temporal Constraints
IEEE Access, 2023 Embedded computing systems are becoming increasingly relevant in the Internet of Things (IoT) and edge computing domains, where they are often employed as the control entity of a cyber-physical system.
Sandro Di Leonardi +6 more
doaj +1 more source