Scheduling Tasks with Resource Requirements in Hard Real-Time Systems
IEEE Transactions on Software Engineering
Preemptive scheduling under time and resource constraints
IEEE Transactions on Computers - Special Issue on Real-Time Systems
The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
Performance of real-time bus scheduling algorithms
SIGMETRICS '86/PERFORMANCE '86 Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, measurement and evaluation
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Experience with processes and monitors in Mesa
Communications of the ACM
Real-Time Scheduling Theory and Ada
Computer
Scheduling real-time transactions with disk resident data
VLDB '89 Proceedings of the 15th international conference on Very large data bases
On satisfying timing constraints in hard-real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
IEEE Transactions on Computers
Current research on real-time databases
ACM SIGMOD Record
ACM SIGOPS Operating Systems Review
Continuous media communication with dynamic QOS control using ARTS with an FDDI network
SIGCOMM '92 Conference proceedings on Communications architectures & protocols
Metascheduling for continuous media
ACM Transactions on Computer Systems (TOCS)
High availability in a real-time system
ACM SIGOPS Operating Systems Review
Modeling and validation of the real-time Mach scheduler
SIGMETRICS '93 Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Implementing analysable hard real-time sporadic tasks in Ada 9X
ACM SIGAda Ada Letters
Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems
IEEE Transactions on Software Engineering
How to Integrate Precedence Constraints and Shared Resources in Real-Time Scheduling
IEEE Transactions on Computers
A continuous media application supporting dynamic QOS control on real-time Mach
MULTIMEDIA '94 Proceedings of the second ACM international conference on Multimedia
Allocation and Scheduling of Precedence-Related Periodic Tasks
IEEE Transactions on Parallel and Distributed Systems
Optimal Mutex policy in Ada 95
ACM SIGAda Ada Letters
An annotated bibliography on real-time database systems
ACM SIGMOD Record
Scalable performance scheduling for hardware-software cosynthesis
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Using lock-free objects in hard real-time applications
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Bringing real-time scheduling theory and practice closer for multimedia computing
Proceedings of the 1996 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Priority ceiling protocol in Ada
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Real-time object sharing with minimal system support
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Analysis of Dual-Link Networks for Real-Time Applications
IEEE Transactions on Computers
Real-time computing with lock-free shared objects
ACM Transactions on Computer Systems (TOCS)
Slicing real-time programs for enhanced schedulability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Experience with the development of hard real-time embedded Ada software
ICSE '94 Proceedings of the 16th international conference on Software engineering
A Prioritized Multiprocessor Spin Lock
IEEE Transactions on Parallel and Distributed Systems
CPU reservations and time constraints: efficient, predictable scheduling of independent activities
Proceedings of the sixteenth ACM symposium on Operating systems principles
Incremental Reconfiguration and Load Adjustment in Adaptive Real-Time Systems
IEEE Transactions on Computers
A message-based real-time model by object-oriented technique
ACM SIGOPS Operating Systems Review
IEEE Transactions on Software Engineering
Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects
IEEE Transactions on Software Engineering
T-SMART—task-safe, minimal Ada realtime toolset
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
Adding real-time capabilities to Java
Communications of the ACM
User-level Real-Time Network System on Microkernel-basedOperating Systems
WPDRTS Selected papers from the 4th workshop on Parallel and distributed real-time systems
Real-Time Schedulability Tests for Preemptive Multitasking
WPDRTS Selected papers from the 4th workshop on Parallel and distributed real-time systems
Efficient user-space protocol implementations with QoS guarantees using real-time upcalls
IEEE/ACM Transactions on Networking (TON)
Performance isolation: sharing and isolation in shared-memory multiprocessors
Proceedings of the eighth international conference on Architectural support for programming languages and operating systems
Design and Programming Tools for Time Critical Applications
Real-Time Systems
A feedback-driven proportion allocator for real-rate scheduling
OSDI '99 Proceedings of the third symposium on Operating systems design and implementation
Minimizing Aperiodic Response Times in a Firm Real-Time Environment
IEEE Transactions on Software Engineering
Eliminating synchronization bottlenecks in object-based programs using adaptive replication
ICS '99 Proceedings of the 13th international conference on Supercomputing
Overload Management in Real-Time Control Applications Using m,k $(m,k)$-Firm Guarantee
IEEE Transactions on Parallel and Distributed Systems
Real-Time Dependable Channels: Customizing QoS Attributes for Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
EMERALDS: a small-memory real-time microkernel
Proceedings of the seventeenth ACM symposium on Operating systems principles
Experimental Assessment of the Period Calibration Method: A Case Study
Real-Time Systems
Fast performance prediction for periodic task systems
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
Schedulability-driven performance analysis of multiple mode embedded real-time systems
Proceedings of the 37th Annual Design Automation Conference
TRAnD: temporal requirement analysis and design tool
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Cache Aware Pre-Runtime Scheduling
Real-Time Systems
Priority Scheduling Versus Pre-Run-Time Scheduling
Real-Time Systems - Selected papers from IFAC/IFIP workshops on real-time programming
Bus access optimization for distributed embedded systems based on schedulability analysis
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Impact of timing constraints on real-time database recovery
CIKM '96 Proceedings of the workshop on Databases: active and real-time
Object-oriented real-time concurrency
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
IEEE Transactions on Computers
Transaction Scheduling in Distributed Real-Time Systems
Real-Time Systems
Real-Time Access Control and Reservation on B-Tree IndexedData
Real-Time Systems
Proceedings of the ninth international symposium on Hardware/software codesign
Analysis of Checkpointing for Real-Time Systems
Real-Time Systems
IEEE Transactions on Computers
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
Advances in real-time database systems research
ACM SIGMOD Record
Real-time database — similarity and resource scheduling
ACM SIGMOD Record
Enhancing external consistency in real-time transactions
ACM SIGMOD Record
A tool for simulation and fast prototyping of embedded control systems
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Abort-Oriented Concurrency Control for Real-Time Databases
IEEE Transactions on Computers
Static Analysis and Dynamic Steering of Time-Dependent Systems
IEEE Transactions on Software Engineering
EMERALDS: A Small-Memory Real-Time Microkernel
IEEE Transactions on Software Engineering
High availability in a real-time system
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Flexible Real-Time Linux*: A Flexible Hard Real-Time Environment
Real-Time Systems - Flexible Scheduling on Real-Time Systems
Energy-conserving feedback EDF scheduling for embedded systems with real-time constraints
Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
A Class of Rate-Based Real-Time Scheduling Algorithms
IEEE Transactions on Computers
Real-Time Concurrency Control in a Multiprocessor Environment
IEEE Transactions on Parallel and Distributed Systems
Energy aware task scheduling with task synchronization for embedded real time systems
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Supporting high-performance I/O in QoS-enabled ORB middleware
Cluster Computing
Off-Line Computation of Real-Time Schedules Using Petri Nets
Discrete Event Dynamic Systems
Evaluation of concurrency control strategies for mixed soft real-time database systems
Information Systems - Databases: Creation, management and utilization
Strategies for resolving inter-class data conflicts in mixed real-time database systems
Journal of Systems and Software
Scheduler Modeling Based on the Controller Synthesis Paradigm
Real-Time Systems
Ordered shared locks for real-time databases
The VLDB Journal — The International Journal on Very Large Data Bases
The Real-Time Specification for Java
Computer
On the Edge: Solving scheduling difficulties
IEEE Micro
IEEE Micro
Fixed Priority Scheduling with Limited Priority Levels
IEEE Transactions on Computers
Concurrency Control for Mixed Transactions in Real-Time Databases
IEEE Transactions on Computers
Solving the Group Priority Inversion Problem in a Timed Asynchronous System
IEEE Transactions on Computers
Temporal and Real-Time Databases: A Survey
IEEE Transactions on Knowledge and Data Engineering
On Satisfying Timing Constraints in Hard-Real-Time Systems
IEEE Transactions on Software Engineering
Engineering and Analysis of Fixed Priority Schedulers
IEEE Transactions on Software Engineering
Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems
IEEE Transactions on Software Engineering
Effective Analysis for Engineering Real-Time Fixed Priority Schedulers
IEEE Transactions on Software Engineering
Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes
IEEE Transactions on Software Engineering
Semaphore Queue Priority Assignment for Real-Time Multiprocessor Synchronization
IEEE Transactions on Software Engineering
An object-oriented tool for simulating distributed real-time control systems
Software—Practice & Experience
Experimental Analysis of Timing Validation Methods for Distributed Real-Time Systems
The Journal of Supercomputing
Eliminating synchronization bottlenecks using adaptive replication
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Fault-Tolerant Scheduling Algorithm for Real-Time Periodic Tasks with Possible Software Faults
IEEE Transactions on Computers
Realtime Java for telecommunications
Java in telecommunications
Index Concurrency Control in Firm Real-Time Database Systems
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
An Active Real-Time Database Model for Air Traffic Control Systems
ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems
Extending a Best-Effort Operating System to Provide QoS Processor Management
IWQoS '01 Proceedings of the 9th International Workshop on Quality of Service
Multiprocessor Scheduling of Real-Time Tasks with Resource Requirements
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Compositional Modeling in Metropolis
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Adaptive Scheduling Using Reflection
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
A Methodology for the Construction of Scheduled Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Reliability Modelling of Time-Critical Distributed Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Real-Time Operating Systems: Problems and Novel Solutions
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
A Family-Oriented Software Development Process for Engine Controllers
PROFES '01 Proceedings of the Third International Conference on Product Focused Software Process Improvement
Improving Wait-Free Algorithms for Interprocess Communication in Embedded Real-Time Systems
ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
Pragmatic Nonblocking Synchronization for Real-Time Systems
Proceedings of the General Track: 2002 USENIX Annual Technical Conference
Performance Evaluation in Industry: A Personal Perspective
Performance Evaluation: Origins and Directions
Scheduling of Real-Time Tasks with Complex Constraints
Performance Evaluation: Origins and Directions
CONVERSE: a family-oriented software development process for engine controllers
Systems engineering for business process change
Two-Version Based Concurrency Control and Recovery in Real-Time Client/Server Databases
IEEE Transactions on Computers
Real-Time Digital Signal Processing of Phased Array Radars
IEEE Transactions on Parallel and Distributed Systems
Enforcing Schedulability of Multi-Task Systems by Hardware-Software Codesign
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Probabilistic Worst-Case Response-Time Analysis for the Controller Area Network
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Real-time scalability of nested spin locks
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
Experiences with building a continuous media application on Real-Time Mach
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
Operating system support for continuous media applications-RT-Mach extensions
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
Real-time scheduling of tasks that contain the external blocking intervals
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
A Generic Simulator of Real-Time Scheduling Algorithms
SS '96 Proceedings of the 29th Annual Simulation Symposium (SS '96)
Supporting time-sensitive applications on a commodity OS
ACM SIGOPS Operating Systems Review - OSDI '02: Proceedings of the 5th symposium on Operating systems design and implementation
Performance Tradeoffs in Real-Time Transaction Processing with Client Data Caching
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
An object-oriented framework for modular resource management
IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
Response Time Analysis of Asynchronous Real-Time Systems
Real-Time Systems
Reactive and Real-Time Systems Course: How to Get the Most Out of it
Real-Time Systems
Schedulability analysis with UML
UML for real
Rate Monotonic Analysis: The Hyperbolic Bound
IEEE Transactions on Computers
Efficient Online Schedulability Tests for Real-Time Systems
IEEE Transactions on Software Engineering
On Inspection and Verification of Software with Timing Requirements
IEEE Transactions on Software Engineering
An efficient time representation for real-time embedded systems
Proceedings of the 2003 ACM symposium on Applied computing
On avoiding remote blocking via real-time concurrency control protocols
Journal of Systems and Software
Hardware Support for Priority Inheritance
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Response Time Analysis for Tasks Scheduled under EDF within Fixed Priorities
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Evolving real-time systems using hierarchical scheduling and concurrency analysis
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Enhanced Utilization Bounds for QoS Management
IEEE Transactions on Computers
Concurrency abstractions in a C++ class library
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Scalable and lock-free concurrent dictionaries
Proceedings of the 2004 ACM symposium on Applied computing
Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal
Real-Time Systems
Timed State Space Analysis of Real-Time Preemptive Systems
IEEE Transactions on Software Engineering
Priority Mechanisms for OLTP and Transactional Web Applications
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
Resource Reservation in Dynamic Real-Time Systems
Real-Time Systems
A Task Model to Reduce Control Delays
Real-Time Systems
Fault-tolerant scheduling for real-time embedded control systems
Journal of Computer Science and Technology
A formal approach for modeling and verification of RTCORBA-based applications
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Timing analysis of compound scheduling policies: application to posix1003.1b
Journal of Scheduling
Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems
Proceedings of the 4th ACM international conference on Embedded software
Formal Methods for Integration of Automotive Software
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2
Schedulability Analysis of Periodic Fixed Priority Systems
IEEE Transactions on Computers
Data-Mining Synthesised Schedulers for Hard Real-Time Systems
Proceedings of the 19th IEEE international conference on Automated software engineering
Worst-Case Response Time Analysis for OSEK/VDX Compliant Real-Time Distributed Control Systems
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
A Reliable OS Kernel for Smart Sensors
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Practical voltage scaling for mobile multimedia devices
Proceedings of the 12th annual ACM international conference on Multimedia
Real Time Scheduling Theory: A Historical Perspective
Real-Time Systems
Real-Time Databases and Data Services
Real-Time Systems
Real-Time Systems
Cheddar: a flexible real time scheduling framework
Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
Real-Time Dwell Scheduling of Component-Oriented Phased Array Radars
IEEE Transactions on Computers
Task Synchronization in Reservation-Based Real-Time Systems
IEEE Transactions on Computers
Rate monotonic vs. EDF: judgment day
Real-Time Systems
On the dynamic semantics and the timing behavior of Ravenscar kernels
Real-Time Systems
Software environment for integrating critical real-time control systems
Journal of Systems Architecture: the EUROMICRO Journal
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Pruning-based, energy-optimal, deterministic I/O device scheduling for hard real-time systems
ACM Transactions on Embedded Computing Systems (TECS)
Improving Preemptive Prioritization via Statistical Characterization of OLTP Locking
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
Supporting time-sensitive applications on a commodity OS
OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
A generic approach to schedulability analysis of real-time tasks
Nordic Journal of Computing
Real-time task scheduling anomaly: observations and prevention
Proceedings of the 2005 ACM symposium on Applied computing
Fast and lock-free concurrent priority queues for multi-thread systems
Journal of Parallel and Distributed Computing
IEEE Transactions on Computers
Undergraduate embedded system education at Carnegie Mellon
ACM Transactions on Embedded Computing Systems (TECS)
Scheduling and memory requirements analysis with AADL
Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
Opportunistic scheduling in a constraint-rich world
ACM SIGBED Review - Special issue: IEEE RTAS 2005 work-in-progress
IEEE Transactions on Computers
Lock-free synchronization for dynamic embedded real-time systems
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Locking under Pfair scheduling
ACM Transactions on Computer Systems (TOCS)
Data sharing protocols for SMT processors
Proceedings of the 2006 ACM symposium on Applied computing
Proceedings of the 2006 ACM symposium on Applied computing
Energy-efficient CPU scheduling for multimedia applications
ACM Transactions on Computer Systems (TOCS)
Optimal priority assignment in the presence of blocking
Information Processing Letters
Component-Oriented Radars with Probabilistic Timing Guarantees
IEEE Transactions on Parallel and Distributed Systems
Real-time Scheduling in Heterogeneous Dual-core Architectures
ICPADS '06 Proceedings of the 12th International Conference on Parallel and Distributed Systems - Volume 2
Research trends in real-time computing for embedded systems
ACM SIGBED Review - Special issue on major international initiatives on real-time and embedded systems
Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Automatic rate desynchronization of embedded reactive programs
ACM Transactions on Embedded Computing Systems (TECS)
Integrating schedulability analysis with UML-RT
Control and Intelligent Systems
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Integrated analysis of communicating tasks in MPSoCs
CODES+ISSS '06 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture
Emergent (mis)behavior vs. complex software systems
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
Response time analysis of EDF distributed real-time systems
Journal of Embedded Computing - Real-Time Systems (Euromicro RTS-03)
Verification of instrumentation techniques for resource management of real-time systems
Journal of Systems and Software
SWAP: a scheduler with automatic process dependency detection
NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
QoS policies and architecture for cache/memory in CMP platforms
Proceedings of the 2007 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Space-Optimal, Wait-Free Real-Time Synchronization
IEEE Transactions on Computers
Utility Accrual Real-Time Scheduling under Variable Cost Functions
IEEE Transactions on Computers
Hard real-time reconfiguration port scheduling
Proceedings of the conference on Design, automation and test in Europe
Vassal: loadable scheduler support for multi-policy scheduling
WINSYM'98 Proceedings of the 2nd conference on USENIX Windows NT Symposium - Volume 2
Lottery scheduling: flexible proportional-share resource management
OSDI '94 Proceedings of the 1st USENIX conference on Operating Systems Design and Implementation
NT'97 Proceedings of the USENIX Windows NT Workshop on The USENIX Windows NT Workshop 1997
Hard real-time with RTX on windows NT
WINSYM'99 Proceedings of the 3rd conference on USENIX Windows NT Symposium - Volume 3
The implementation of the Priority Ceiling Protocol in Ada-2005
ACM SIGAda Ada Letters
Empirical evaluation of two main-stream RTSJ implementations
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
RT-IPC: an IPC extension for real-time mach
moas'93 USENIX Symposium on USENIX Microkernels and Other Kernel Architectures Symposium - Volume 4
Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model with Energy Bounds
IEEE Transactions on Computers
Real-Time Management of Hardware and Software Tasks for FPGA-based Embedded Systems
IEEE Transactions on Computers
WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model
Theoretical Computer Science
A real-time Java virtual machine with applications in avionics
ACM Transactions on Embedded Computing Systems (TECS)
Uniprocessor scheduling under precedence constraints for embedded systems design
ACM Transactions on Embedded Computing Systems (TECS)
Semantics-preserving multitask implementation of synchronous programs
ACM Transactions on Embedded Computing Systems (TECS)
International Journal of Information and Communication Technology
Multiprocessor frequency locking for real-time task synchronization
Proceedings of the 2008 ACM symposium on Applied computing
AWOL: an adaptive write optimizations layer
FAST'08 Proceedings of the 6th USENIX Conference on File and Storage Technologies
Avoiding timing channels in fixed-priority schedulers
Proceedings of the 2008 ACM symposium on Information, computer and communications security
Journal of Systems and Software
Analysis and optimisation of hierarchically scheduled multiprocessor embedded systems
International Journal of Parallel Programming - Special Issue on Multiprocessor-based embedded systems
Proceedings of the conference on Design, automation and test in Europe
Non-preemptive Fixed Priority Scheduling of Hard Real-Time Periodic Tasks
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007
Design and Development of Component-Based Embedded Systems for Automotive Applications
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Operational Semantics of Ada Ravenscar
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
An Operating System Architecture for Organic Computing in Embedded Real-Time Systems
ATC '08 Proceedings of the 5th international conference on Autonomic and Trusted Computing
Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Tax-and-spend: democratic scheduling for real-time garbage collection
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Flexible hard real-time scheduling for deliberative AI systems
Real-Time Systems
Evaluation of interrupt handling timeliness in real-time Linux operating systems
ACM SIGOPS Operating Systems Review
Real-time synchronization on distributed architecture with Ada-2005
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
An anomaly prevention approach for real-time task scheduling
Journal of Systems and Software
A Comparison of the M-PCP, D-PCP, and FMLP on LITMUSRT
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
Feedback scheduling of priority-driven control networks
Computer Standards & Interfaces
An earlier time for inserting and/or accelerating tasks
Real-Time Systems
Catching two rabbits: adaptive real-time support for embedded Linux
Software—Practice & Experience
On scheduling soft real-time tasks with lock-free synchronization for embedded devices
Proceedings of the 2009 ACM symposium on Applied Computing
Resource sharing in behavioral based scheduling
Proceedings of the 2009 ACM symposium on Applied Computing
An implementation of the earliest deadline first algorithm in Linux
Proceedings of the 2009 ACM symposium on Applied Computing
Synchronous Modeling and Validation of Priority Inheritance Schedulers
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
On the design and implementation of a shared memory dispatcher for partially clairvoyant schedulers
International Journal of Parallel Programming
Rate-based QoS techniques for cache/memory in CMP platforms
Proceedings of the 23rd international conference on Supercomputing
Implementing AUTOSAR scheduling and resource management on an embedded SMT processor
Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems
The need for flexible object invariants
International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming
TCPN-Based Tool for Timing Constraints Modelling and Validation
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Automatic Code Generation from Real-Time Systems Specifications
RSP '09 Proceedings of the 2009 IEEE/IFIP International Symposium on Rapid System Prototyping
Wireless sensor network operating systems: a survey
International Journal of Sensor Networks
Resource holding times: computation and optimization
Real-Time Systems
Robust priority assignment for messages on Controller Area Network (CAN)
Real-Time Systems
Avoiding unbounded priority inversion in barrier protocols using gang priority management
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Validate, simulate, and implement ARINC653 systems using the AADL
Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture
A Solution to Resource Underutilization for Web Services Hosted in the Cloud
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Overview of Multicore Requirements towards Real-Time Communication
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Lock-free synchronization for dynamic embedded real-time systems
ACM Transactions on Embedded Computing Systems (TECS)
A Hierarchical Framework for Component-based Real-time Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Testing for the Conformance of Real-time Protocols Implemented by Operating Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Experimental evaluation of the linux RT patch for real-time applications
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Efficiently migrating real-time systems to multi-cores
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
High-level programming of embedded hard real-time devices
Proceedings of the 5th European conference on Computer systems
A component based real-time scheduling architecture
Architecting dependable systems
Delivering real-time behaviour
Domain modeling and the duration calculus
Generating distributed high integrity applications from their architectural description
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
A capacity sharing and stealing strategy for open real-time systems
Journal of Systems Architecture: the EUROMICRO Journal
ViPER: a lightweight approach to the simulation of distributed and embedded software
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
A framework for flexible scheduling in the RTSJ
ACM Transactions on Embedded Computing Systems (TECS)
Recovering from distributable thread failures in distributed real-time Java
ACM Transactions on Embedded Computing Systems (TECS)
An adaptive flash translation layer for high-performance storage systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - Special issue on the 2009 ACM/IEEE international symposium on networks-on-chip
PRP: priority rollback protocol -- a PIP extension for mixed criticality systems: short paper
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Dual ceiling protocol for real-time synchronization under preemption threshold scheduling
Journal of Computer and System Sciences
Deadlock immunity: enabling systems to defend against deadlocks
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Static-priority periodic scheduling on muitiprocessors
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Real-time digital signal processing of component-oriented phased array radars
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Formal specification for building robust real-time microkernels
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Real-time control system analysis: an integrated approach
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Formal analysis of the priority ceiling protocol
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
High speed hardware-assisted real-time interprocess communication for embedded microcontrollers
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
A model-based approach for multiple QoS in scheduling: from models to implementation
Automated Software Engineering
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Determining actual response time in P-FRP
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Concurrency control in a multiprocessor real-time database system
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Designing for schedulability: integrating schedulability analysis with object-oriented design
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Schedulability analysis for systems with data and control dependencies
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Non pre-emptive scheduling of messages on SMTV token-passing networks
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Improving commercial RTOS performance using a custom interrupt management scheduling policy
ACC'10 Proceedings of the 2010 international conference on Applied computing conference
A reliable task scheduling scheme for sensor-based real-time operating system
ACOS'06 Proceedings of the 5th WSEAS international conference on Applied computer science
Transparently bridging semantic gap in CPU management for virtualized environments
Journal of Parallel and Distributed Computing
A survey of hard real-time scheduling for multiprocessor systems
ACM Computing Surveys (CSUR)
Towards verified synthesis of ProCom, a component model for real-time embedded systems
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
A formal approach to design and verification of two-level hierarchical scheduling systems
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Dynamic hinting: Collaborative real-time resource management for reactive embedded systems
Journal of Systems Architecture: the EUROMICRO Journal
Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Task synchronization and allocation for many-core real-time systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
A Hardware Abstraction Layer in Java
ACM Transactions on Embedded Computing Systems (TECS)
On Linux starvation of CPU-bound processes in the presence of network I/O
Computers and Electrical Engineering
Distributed priority inheritance for real-time and embedded systems
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
A comparison of the mutual exclusion features in ada and the real-time specification for JavaTM
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Robust partitioning for real-time multiprocessor systems with shared resources
Proceedings of the 2011 ACM Symposium on Research in Applied Computation
Polyhedra-Based approach for incremental validation of real-time systems
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Considerate reasoning and the composite design pattern
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Selecting a scheduling policy for embedded real-time monitor and control systems
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Embedded Systems Design
Priority inversion with fungible resources
ACM SIGAda Ada Letters
Multilevel static real-time scheduling algorithms using graph partitioning
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part I
Fast real-time job selection with resource constraints under earliest deadline first
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
End-to-end worst-case response time analysis for hard real-time distributed systems
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
A task-type aware transaction scheduling algorithm in J2EE
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Real-time task scheduling on heterogeneous two-processor systems
ICA3PP'10 Proceedings of the 10th international conference on Algorithms and Architectures for Parallel Processing - Volume Part II
Performance prediction of component-based systems
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Feasibility analysis of real-time transactions
Real-Time Systems
Journal of Systems and Software
Mitigating starvation of Linux CPU-bound processes in the presence of network I/O
Journal of Systems and Software
Two phase locking-based algorithm with partial abort for firm deadline real-time database systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Experiences with client/server interactions in a reservation-based system
Proceedings of the 27th Annual ACM Symposium on Applied Computing
The design of the TAO real-time object request broker
Computer Communications
An MDE approach to address synchronization needs in component-based real-time systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Service Level Agreement for Distributed Mutual Exclusion in Cloud Computing
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Maintaining data temporal consistency in distributed real-time systems
Real-Time Systems
Application of Deadlock Risk Evaluation of Architectural Models
Software—Practice & Experience
Overload provisioning in mixed-criticality cyber-physical systems
ACM Transactions on Embedded Computing Systems (TECS)
Optimization of task allocation and priority assignment in hard real-time distributed systems
ACM Transactions on Embedded Computing Systems (TECS)
Implementing and verifying EDF preemption-level resource control
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
An experimental evaluation of real-time DVFS scheduling algorithms
Proceedings of the 5th Annual International Systems and Storage Conference
Ji.Fi: visual test and debug queries for hard real-time
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Reducing the gap between design and scheduling
Proceedings of the 20th International Conference on Real-Time and Network Systems
Time petri nets for schedulability analysis of the transactional event handlers of P-FRP
Proceedings of the 2012 ACM Research in Applied Computation Symposium
Proceedings of the 2012 ACM Research in Applied Computation Symposium
Applicability of real-time schedulability analysis on a software radio protocol
Proceedings of the 2012 ACM conference on High integrity language technology
Response time analysis for static priority based SpaceWire networks
Proceeings of the 2nd International Workshop on Worst-Case Traversal Time
International Journal of Advanced Pervasive and Ubiquitous Computing
Empirical Studies on the Functional Complexity of Software in Large-Scale Software Systems
International Journal of Software Science and Computational Intelligence
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Non-markovian analysis for model driven engineering of real-time software
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
nuKernel: MicroKernel for multi-core DSP SoCs with load sharing and priority interrupts
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Analysis of client/server interactions in a reservation-based system
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Comparative analysis of real time resource access control protocols using UML 2.0
ACM SIGSOFT Software Engineering Notes
Non-blocking inter-partition communication with wait-free pair transactions
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
Chip-multiprocessor hardware locks for safety-critical Java
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
Proceedings of the 21st International conference on Real-Time Networks and Systems
Best-case response times and jitter analysis of real-time tasks with arbitrary deadlines
Proceedings of the 21st International conference on Real-Time Networks and Systems
A survey on standards for real-time distribution middleware
ACM Computing Surveys (CSUR)
Predictable and configurable component-based scheduling in the Composite OS
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on ESTIMedia'10
Incorporating the deadline floor protocol in ada
ACM SIGAda Ada Letters
Locking policies for multiprocessor ada
ACM SIGAda Ada Letters
Limited preemptive scheduling of non-independent task sets
Proceedings of the Eleventh ACM International Conference on Embedded Software
Journal of Systems Architecture: the EUROMICRO Journal
Exploring the design space of multiprocessor synchronization protocols for real-time systems
Journal of Systems Architecture: the EUROMICRO Journal
A review of fixed priority and EDF scheduling for hard real-time uniprocessor systems
ACM SIGBED Review - Special Issue on the 3rd Embedded Operating System Workshop (EWiLi 2013)
Scheduling and thread management with RTEMS
ACM SIGBED Review - Special Issue on the 3rd Embedded Operating System Workshop (EWiLi 2013)
| Hi-index | 15.08 |
An investigation is conducted of two protocols belonging to the priority inheritance protocols class; the two are called the basic priority inheritance protocol and the priority ceiling protocol. Both protocols solve the uncontrolled priority inversion problem. The priority ceiling protocol solves this uncontrolled priority inversion problem particularly well; it reduces the worst-case task-blocking time to at most the duration of execution of a single critical section of a lower-priority task. This protocol also prevents the formation of deadlocks. Sufficient conditions under which a set of periodic tasks using this protocol may be scheduled is derived.