Alan Burns

Orcid: 0000-0001-5621-8816

Affiliations:
  • University of York, Department of Computer Science, UK
  • University of Bradford, Postgraduate School of Computing, UK


According to our database1, Alan Burns authored at least 321 papers between 1982 and 2024.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 2012, "For contributions to fixed-priority scheduling for embedded real-time systems".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Extending rely-guarantee thinking to handle real-time scheduling.
Formal Methods Syst. Des., June, 2024

Optimal Synthesis of Fault-Tolerant IDK Cascades for Real-Time Classification.
Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024

2023
Optimal Synthesis of Robust IDK Classifier Cascades.
ACM Trans. Embed. Comput. Syst., October, 2023

Real-Time Guarantees in Routerless Networks-on-Chip.
ACM Trans. Embed. Comput. Syst., September, 2023

Scheduling IDK classifiers with arbitrary dependences to minimize the expected time to successful classification.
Real Time Syst., September, 2023

Optimally ordering IDK classifiers subject to deadlines.
Real Time Syst., March, 2023

A High-Resilience Imprecise Computing Architecture for Mixed-Criticality Systems.
IEEE Trans. Computers, 2023

Scheduling Classifiers for Real-Time Hazard Perception Considering Functional Uncertainty.
Proceedings of the 31st International Conference on Real-Time Networks and Systems, 2023

Multi-Model Specifications and their Application to Classification Systems.
Proceedings of the 31st International Conference on Real-Time Networks and Systems, 2023

Precise Response Time Analysis for Multiple DAG Tasks with Intra-task Priority Assignment.
Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

2022
Compensating Adaptive Mixed Criticality Scheduling.
Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022

Functional Uncertainty in Real-Time Safety-Critical Systems.
Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022

On the Trade-offs between Generalization and Specialization in Real-Time Systems.
Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2022

MSRP-FT: Reliable Resource Sharing on Multiprocessor Mixed-Criticality Systems.
Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling.
Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems.
Proceedings of the 34th Euromicro Conference on Real-Time Systems, 2022

Discretization and Stabilization of Energy-Based Controller for Period Switching Control and Flexible Scheduling.
Proceedings of the American Control Conference, 2022

2021
Priority Assignment on Partitioned Multiprocessor Systems With Shared Resources.
IEEE Trans. Computers, 2021

Foreword.
Leibniz Trans. Embed. Syst., 2021

Optimal Synthesis of IDK-Cascades.
Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021

Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems - Requirements and Open Challenges.
Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

2020
Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis.
ACM Trans. Embed. Comput. Syst., 2020

The AirTight Protocol for Mixed Criticality Wireless CPS.
ACM Trans. Cyber Phys. Syst., 2020

A complete run-time overhead-aware schedulability analysis for MrsP under nested resources.
J. Syst. Softw., 2020

Build real-time communication for hybrid dual-OS system.
J. Syst. Archit., 2020

Period adaptation of real-time control tasks with fixed-priority scheduling in cyber-physical systems.
J. Syst. Archit., 2020

Expressing survivability considerations in mixed-criticality scheduling theory.
J. Syst. Archit., 2020

A Rely-Guarantee Specification of Mixed-Criticality Scheduling.
CoRR, 2020

Deriving Specifications of Control Programs for Cyber Physical Systems.
Comput. J., 2020

Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

A Novel Flow Control Mechanism to Avoid Multi-Point Progressive Blocking in Hard Real-Time Priority-Preemptive NoCs.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2020

The Safe and Effective Use of Learning-Enabled Components in Safety-Critical Systems.
Proceedings of the 32nd Euromicro Conference on Real-Time Systems, 2020

Minimizing Execution Duration in the Presence of Learning-Enabled Components.
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019
A Dual-Mode Strategy for Performance-Maximisation and Resource-Efficient CPS Design.
ACM Trans. Embed. Comput. Syst., 2019

Multi-core cyclic executives for safety-critical systems.
Sci. Comput. Program., 2019

Real-time analysis of priority-preemptive NoCs with arbitrary buffer sizes and router delays.
Real Time Syst., 2019

A semi-partitioned model for mixed criticality systems.
J. Syst. Softw., 2019

Work-in-Progress: Real-Time RPC for Hybrid Dual-OS System.
Proceedings of the IEEE Real-Time Systems Symposium, 2019

Semi-Clairvoyance in Mixed-Criticality Scheduling.
Proceedings of the IEEE Real-Time Systems Symposium, 2019

Validating high level simulation results against experimental data and low level simulation: a case study.
Proceedings of the 27th International Conference on Real-Time Networks and Systems, 2019

Fault-tolerant transmission of messages of differing criticalities across a shared communication medium.
Proceedings of the 27th International Conference on Real-Time Networks and Systems, 2019

From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper).
Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, 2019

Incorporating Robustness and Resilience into Mixed-Criticality Scheduling Theory.
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

2018
Robust Mixed-Criticality Systems.
IEEE Trans. Computers, 2018

AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems (Artifact).
Dagstuhl Artifacts Ser., 2018

A Survey of Research into Mixed Criticality Systems.
ACM Comput. Surv., 2018

TZDKS: A New TrustZone-Based Dual-Criticality System with Balanced Performance.
Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems.
Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

Mixed Criticality Systems with Varying Context Switch Costs.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems.
Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018

Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies.
Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018

Buffer-aware bounds to multi-point progressive blocking in priority-preemptive NoCs.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017
An Enhanced Bailout Protocol for Mixed Criticality Embedded Software.
IEEE Trans. Software Eng., 2017

Corrections to and Discussion of "Implementation and Evaluation of Mixed-criticality Scheduling Approaches for Sporadic Tasks".
ACM Trans. Embed. Comput. Syst., 2017

New schedulability analysis for MrsP.
Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017

Supporting Nested Resources in MrsP.
Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems.
Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework.
Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2016
A review of priority assignment in real-time systems.
J. Syst. Archit., 2016

Analysis of buffering effects on hard real-time priority-preemptive wormhole networks.
CoRR, 2016

Improving the Schedulability of Mixed Criticality Cyclic Executives via Limited Task Splitting.
Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

Scheduling Mixed-Criticality Systems to Guarantee Some Service under All Non-erroneous Behaviors.
Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016

Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems.
Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015
Global and Partitioned Multiprocessor Fixed Priority Scheduling with Deferred Preemption.
ACM Trans. Embed. Comput. Syst., 2015

A Deadline-Floor Inheritance Protocol for EDF Scheduled Embedded Real-Time Systems with Resource Sharing.
IEEE Trans. Computers, 2015

Exact comparison of fixed priority and EDF scheduling based on speedup factors for both pre-emptive and non-pre-emptive paradigms.
Real Time Syst., 2015

Deriving period restrictions from a given utilization bound under RMS.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

Reducing the Implementation Overheads of IPCP and DFP.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Semi-partitioned model for dual-core mixed criticality system.
Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

On priority assignment for controller area network when some message identifiers are fixed.
Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

Priority-Based Functional Reactive Programming (P-FRP) Using Deferred Abort.
Proceedings of the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015

Average and Worst-Case Latency Improvements in Mixed-Criticality Wormhole Networks-on-Chip.
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

Cyclic Executives, Multi-core Platforms and Mixed Criticality Applications.
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

A Bailout Protocol for Mixed Criticality Systems.
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

2014
Foreword.
Leibniz Trans. Embed. Syst., 2014

A Wormhole NoC Protocol for Mixed Criticality Systems.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Adaptive Mixed Criticality Scheduling with Deferred Preemption.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Schedulability Analysis for the Abort-and-Restart (AR) Model.
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression.
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches.
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

Deadline-Aware Programming and Scheduling.
Proceedings of the Reliable Software Technologies, 2014

2013
Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing.
ACM Trans. Embed. Comput. Syst., 2013

Guest editorial: multiprocessor scheduling.
Real Time Syst., 2013

Modelling temporal behaviour in complex systems with Timebands.
Formal Methods Syst. Des., 2013

Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages.
Concurr. Comput. Pract. Exp., 2013

Comparing Degrees of Non-Determinism in Expression Evaluation.
Comput. J., 2013

Fixed-priority scheduling of dual-criticality systems.
Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

Global fixed priority scheduling with deferred pre-emption.
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

Predictability and Mixed Criticality.
Proceedings of the PECCS 2013, 2013

A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP.
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

Mixed Criticality on Controller Area Network.
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

2012
Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme.
Real Time Syst., 2012

Mixed critical system design and analysis.
Proceedings of the 12th International Conference on Embedded Software, 2012

Analytical approaches for performance evaluation of networks-on-chip.
Proceedings of the 15th International Conference on Compilers, 2012

Implementing and Verifying EDF Preemption-Level Resource Control.
Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012

Modelling Temporal Behaviour in Complex Systems with Timebands.
Proceedings of the Conquering Complexity, 2012

2011
Sensitivity analysis of arbitrary deadline real-time systems with EDF scheduling.
Real Time Syst., 2011

Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems.
Real Time Syst., 2011

A survey of hard real-time scheduling for multiprocessor systems.
ACM Comput. Surv., 2011

Response-Time Analysis for Mixed Criticality Systems.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

FPZL Schedulability Analysis.
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Resource sharing in RTSJ and SCJ systems.
Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

Timed Circus: Timed CSP with the Miracle.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Timing Faults and Mixed Criticality Systems.
Proceedings of the Dependable and Historic Computing, 2011

Programming Languages for Real-Time Applications Executing on Parallel Hardware.
Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

Implementing Mixed Criticality Systems in Ada.
Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2010
Schedulability analysis and task mapping for real-time on-chip communication.
Real Time Syst., 2010

A timeband framework for modelling real-time systems.
Real Time Syst., 2010

Schedulability Analysis for Real Time On-Chip Communication with Wormhole Switching.
Int. J. Embed. Real Time Commun. Syst., 2010

Realism in Statistical Analysis of Worst Case Execution Times.
Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

Modelling and Implementing Complex Systems with Timebands.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

A Timed Model of Circus with the Reactive Design Miracle.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems.
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

Sensitivity Analysis for EDF Scheduled Arbitrary Deadline Real-Time Systems.
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

Sensitivity Analysis of the Minimum Task Period for Arbitrary Deadline Real-Time Systems.
Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005.
Proceedings of the Reliable Software Technologiey, 2010

Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada.
Proceedings of the Reliable Software Technologiey, 2010

2009
Schedulability Analysis for Real-Time Systems with EDF Scheduling.
IEEE Trans. Computers, 2009

Exact scheduling analysis of non-accumulatively monotonic multiframe tasks.
Real Time Syst., 2009

Exact quantification of the sub-optimality of uniprocessor fixed priority pre-emptive scheduling.
Real Time Syst., 2009

Robust priority assignment for messages on Controller Area Network (CAN).
Real Time Syst., 2009

Guest editorial: Special issue on ECRTS 2008.
Real Time Syst., 2009

Priority Assignment for Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Real-Time Systems.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Improvement to Quick Processor-Demand Analysis for EDF-Scheduled Real-Time Systems.
Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009

Real-Time Communication Analysis with a Priority Share Policy in On-Chip Networks.
Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009

Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005.
Proceedings of the Reliable Software Technologies, 2009

Real-Time Systems and Programming Languages - Ada, Real-Time Java and C / Real-Time POSIX, Fourth Edition.
International computer science series, Addison-Wesley, ISBN: 978-0-321-41745-9, 2009

2008
Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems.
IEEE Trans. Computers, 2008

Flexible hard real-time scheduling for deliberative AI systems.
Real Time Syst., 2008

Sustainability in Real-time Scheduling.
J. Comput. Sci. Eng., 2008

On the meaning of modes in uniprocessor real-time systems.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Priority Assignment for Real-Time Wormhole Communication in On-Chip Networks.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Response Time Upper Bounds for Fixed Priority Real-Time Systems.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Real-Time Communication Analysis for On-Chip Networks with Wormhole Switching.
Proceedings of the Second International Symposium on Networks-on-Chips, 2008

Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks.
Proceedings of the Theoretical Aspects of Computing, 2008

Exact scheduling analysis of accumulatively monotonic multiframe tasks subjected to release jitter and arbitrary deadlines.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

2007
Programming Execution-Time Servers and Supporting EDF Scheduling in Ada 2005.
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Real-Time Java.
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised.
Real Time Syst., 2007

Optimal (D-J)-monotonic priority assignment.
Inf. Process. Lett., 2007

An engineering process for the verification of real-time systems.
Formal Aspects Comput., 2007

Analysis of Hierarchical EDF Pre-emptive Scheduling.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Robust Priority Assignment for Fixed Priority Real-Time Systems.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

Correcting the EDF protocol in Ada 2005.
Proceedings of the 13th International Workshop on Real-Time Ada, 2007

A framework for real-time utilities for Ada 2005.
Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Integrating OOP and tasking: the missing requeue.
Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Beyond Ada 2005: allocating tasks to processors in SMP systems.
Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Programming execution-time servers in Ada 2005.
Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Introduction.
Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach.
Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

Real-Time Utilities for Ada 2005.
Proceedings of the Reliable Software Technologies, 2007

Delivering Real-Time Behaviour.
Proceedings of the Domain Modeling and the Duration Calculus, 2007

Concurrent and real-time programming in Ada.
Cambridge University Press, 2007

2006
Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Sustainable Scheduling Analysis.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

FSF: A Real-Time Scheduling Architecture Framework.
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

2005
Editorial.
ACM Trans. Embed. Comput. Syst., 2005

Timing Analysis of Real-Time Communication Under Electromagnetic Interference.
Real Time Syst., 2005

Probabilistic timing analysis: An approach using copulas.
J. Embed. Comput., 2005

Hierarchical Fixed Priority Pre-Emptive Scheduling.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults.
Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

Real-Time Scheduling for Embedded Systems.
Proceedings of the Handbook of Networked and Embedded Control Systems, 2005

2004
Hard Real-Time Communication with the Timed Token Protocol: Current State and Challenging Problems.
Real Time Syst., 2004

Real Time Scheduling Theory: A Historical Perspective.
Real Time Syst., 2004

Rewriting History to Exploit Gain Time.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Comparing Real-Time Communication Under Electromagnetic Interference.
Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June, 2004

Dynamic Ceiling Priorities: A Proposal for Ada0Y.
Proceedings of the Reliable Software Technologies, 2004

Supporting Deadlines and EDF Scheduling in Ada.
Proceedings of the Reliable Software Technologies, 2004

2003
An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault-Tolerant Hard Real-Time Systems.
IEEE Trans. Computers, 2003

The Valid Use of Utility in Adaptive Real-Time Systems.
Real Time Syst., 2003

How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study.
Real Time Syst., 2003

An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems.
Real Time Syst., 2003

A Consensus Protocol for CAN-Based Systems.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

An Analysable Bus-Guardian for Event-Triggered Communication.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Processing Group Parameters in the Real-Time Specification for Java.
Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

Report of session: flexible scheduling in Ada.
Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Task attribute-based scheduling: extending Ada's support for scheduling.
Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Report of session: generating new AIs.
Proceedings of the 12th International Workshop on Real-Time Ada, 2003

A Probabilistic Framework for Schedulability Analysis.
Proceedings of the Embedded Software, Third International Conference, 2003

Adding Temporal Annotations and Associated Verification to Ravenscar Profile.
Proceedings of the Reliable Software Technologies, 2003

A Round Robin Scheduling Policy for Ada.
Proceedings of the Reliable Software Technologies, 2003

2002
Cycle-Time Properties of the Timed Token Medium Access Control Protocol.
IEEE Trans. Computers, 2002

HARTEX - a safe real-time kernel for distributed computer control systems.
Softw. Pract. Exp., 2002

Testing the Schedulability of Synchronous Traffic for the Timed Token Medium Access Control Protocol.
Real Time Syst., 2002

Communication Response Time in P-NET Networks: Worst-Case Analysis Considering the Actual Token Utilization.
Real Time Syst., 2002

Multiple Servers and Capacity Sharing for Implementing Flexible Scheduling.
Real Time Syst., 2002

Writing Temporally Predictable Code.
Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

Probabilistic Analysis of CAN with Faults.
Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

Asynchronous Event Handling and Real-time Threads in the Real-time Specification for Java.
Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 2002

Protected ceiling changes.
Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Accessing delay queues.
Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Session summary: future of the Ada language and language changes such as the Ravenscar profile.
Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Weakly Hard Real-time Constraints on Controller Area Network.
Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002

2001
Weakly Hard Real-Time Systems.
IEEE Trans. Computers, 2001

Analysis of Checkpointing for Real-Time Systems.
Real Time Syst., 2001

Extreme Interleavings.
IEEE Distributed Syst. Online, 2001

Modelling and verification of an atomic action protocol implemented in Ada.
Comput. Syst. Sci. Eng., 2001

Determining the Worst-case Synchronous Message Response Time in FDDI Networks.
Comput. J., 2001

Statistical Analysis of WCET for Scheduling.
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems.
Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

Timely Use of the CAN Protocol in Critical Hard Real-Time Systems with Faults.
Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

Three Obstacles to Flexible Scheduling.
Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

Defining New Non-preemptive Dispatching and Locking Policies for Ada.
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

Implementing a Flexible Scheduler in Ada.
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems.
IEEE Trans. Computers, 2000

Guest Editorial: A Review of Worst-Case Execution-Time Analysis.
Real Time Syst., 2000

A value-based scheduling approach for real-time autonomous vehicle control.
Robotica, 2000

Scheduling optional computations for adaptive real-time systems.
J. Syst. Archit., 2000

The meaning and role of value in scheduling flexible real-time systems.
J. Syst. Archit., 2000

On developing and verifying design abstractions for reliable concurrent programming in Ada.
Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Non-preemptive dispatching and locking policies.
Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Predicting computation time for advanced processor architectures.
Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

Portable worst-case execution time analysis using Java Byte Code.
Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

1999
Editorial real-time systems - multidisciplinary engineering [Editorial].
IEE Proc. Softw., 1999

New Results on Fixed Priority Aperiodic Servers.
Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

Loop-Free Asynchronous Data Sharing in Multiprocessor Real-Time Systems Based on Timing Properties.
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

A Framework for Scheduling in Safety-Critical Embedded Control Systems.
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

An experimental testbed for embedded real time Ada 95.
Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

How to verify concurrent Ada programs: the application of model checking.
Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

The Ravenscar Profile and implementation issues (session summary).
Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

Finding the minimum available transmission time for the timed token medium access control protocol.
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

Adding local priority-based dispatching mechanisms to P-NET networks: a fixed priority approach.
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

Time-constrained sorting-a comparison of different algorithms.
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

An approach to task attribute assignment for uniprocessor systems.
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

Dynamic value-density for scheduling real-time systems.
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

1998
On Fixed Priority Scheduling, Offsets and Co-Prime Task Periods.
Inf. Process. Lett., 1998

The Ravenscar Tasking Profile for High Integrity Real-Time Programs.
Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, 1998

Integrating Real-Time Structured Design and Formal Techniques.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Schedulability analysis for mode changes in flexible real-time systems.
Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

Asynchronous data sharing in multiprocessor real-time systems using process consensus.
Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

Investigation of the pessimism in distributed systems timing analysis.
Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

MOPping up Exceptions.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

The Ravenscar Tasking Profile for High Integrity Real-Time Programs.
Proceedings of the Reliable Software Technologies, 1998

1997
Implementing Atomic Actions in Ada 95.
IEEE Trans. Software Eng., 1997

Synchronous sessions and fixed priority scheduling.
J. Syst. Archit., 1997

Developing a real-time metaobject protocol.
Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Combining (<sub>m</sub><sup>n</sup>)-hard deadlines and dual priority scheduling.
Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

Analysis of checkpointing for schedulability of real-time systems.
Proceedings of the 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 1997

Task termination and Ada 95.
Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

Restricted tasking models.
Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

Feature interactions with dynamic priorities.
Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

Tasking profiles (session summary).
Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

Timing Properties of the Timed Token MAC Protocol.
Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), 1997

Worst case response time analysis of hard real-time sporadic traffic in FIP networks.
Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

Guaranteeing timing constraints under shortest remaining processing time scheduling.
Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

Schedulability analysis of fixed priority real-time systems with offsets.
Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

Adaptive Scheduling Using Reflection.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Efficient Transient Overload Tests for Real-Time Systems.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1997

Sensitivity Analysis of Real-Time Task Sets.
Proceedings of the Advances in Computing Science, 1997

Task Termination in Ada 95.
Proceedings of the Reliable Software Technologies, 1997

Real-time systems and their programming languages (2. ed.).
Addison-Wesley, ISBN: 978-0-201-40365-7, 1997

1996
Combining Static Worst-Case Timing Analysis and Program Proof.
Real Time Syst., 1996

Choosing Task Periods to Minimise System Utilisation in Time Triggered Systems.
Inf. Process. Lett., 1996

Integrating optional software components into hard real-time systems.
Softw. Eng. J., 1996

Broadening Real-Time Systems Research.
ACM Comput. Surv., 1996

Programming Replicated Systems in Ada 95.
Comput. J., 1996

A Worst-Case Behavior Analysis for Hard Real-Time Transactions.
Proceedings of the Online-Proceedings of the First International Workshop on Real-Time Databases: Issues and Applications, 1996

Putting fixed priority scheduling theory into engineering practice for safety critical applications.
Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium, 1996

An Efficient and Practical Local Synchronous Bandwidth Allocation Scheme for the Timed-Token MAC Protocol.
Proceedings of the Proceedings IEEE INFOCOM '96, 1996

Feasibility Analysis of Fault-Tolerant Real-Time Task Sets.
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

Towards a Fixed Priority Scheduler for an Aircraft Application.
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

Ada 95: An Effective Concurrent Programming Language.
Proceedings of the Reliable Software Technologies, 1996

1995
Effective Analysis for Engineering Real-Time Fixed Priority Schedulers.
IEEE Trans. Software Eng., 1995

An optimal synchronous bandwidth allocation scheme for guaranteeing synchronous message deadlines with the timed-token MAC protocol.
IEEE/ACM Trans. Netw., 1995

Engineering a Hard Real-time System: From Theory to Practice.
Softw. Pract. Exp., 1995

Analysis of Hard Real-Time Communications.
Real Time Syst., 1995

Fixed Priority Pre-emptive Scheduling: An Historical Perspective.
Real Time Syst., 1995

Optimal Priority Assignment for Aperiodic Tasks with Firm Deadlines in Fixed Priority Pre-Emptive Systems.
Inf. Process. Lett., 1995

Data Consistency in Hard Real-Time Systems.
Informatica (Slovenia), 1995

Flexible scheduling for adaptable real-time systems.
Proceedings of the 1st IEEE Real-Time Technology and Applications Symposium, 1995

n the Schedulability of Synchronous Message Sets with the Minimum Message Deadline Less than 2*TTRT in an FDDI Network.
Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), 1995

Real-time distributed computing.
Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

Hybrid algorithms for dynamic schedulability testing.
Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

1994
STRESS: a Simulator for Hard Real-time Systems.
Softw. Pract. Exp., 1994

An Extendible Approach for Analyzing Fixed Priority Hard Real-Time Tasks.
Real Time Syst., 1994

HRT-HOOD: A Structured Design Method for Hard Real-Time Systems.
Real Time Syst., 1994

Real-time safety-critical systems: analysis and synthesis.
Softw. Eng. J., 1994

Fixed Priority Scheduling of Hard Real-time Multi-media Disk Traffic.
Comput. J., 1994

Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems.
Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

Fixed priority scheduling with deadlines prior to completion.
Proceedings of the Sixth Euromicro Workshop on Real-Time Systems, 1994

1993
Pipelined Processors and Worst Case Execution Times.
Real Time Syst., 1993

Applying new scheduling theory to static priority pre-emptive scheduling.
Softw. Eng. J., 1993

Scheduling slack time in fixed priority pre-emptive systems.
Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

Dual Priority Assignment: A Practical Method For Increasing Processor Utilisation.
Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

The End Of The Line For Static Cyclic Scheduling?
Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

The Impact of an Ada Run-Time System's Performance Characteristics on Scheduling Models.
Proceedings of the Ada-Europe '93, 12th Ada-Europe International Conference, 1993

The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation.
Proceedings of the Ada-Europe '93, 12th Ada-Europe International Conference, 1993

Concurrent programming.
International computer science series, Addison-Wesley, ISBN: 978-0-201-54417-6, 1993

1992
Allocating Hard Real-Time tasks: An NP-Hard Problem Made Easy.
Real Time Syst., 1992

On the Meaning of Safety and Security.
Comput. J., 1992

Mode Changes In Priority Pre-Emptively Scheduled Systems.
Proceedings of the Real-Time Systems Symposium, 1992

Absolute and relative temporal constraints in hard real-time databases.
Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

Designing Hard Real-Time Systems.
Proceedings of the Ada: Moving Towards 2000, 1992

1991
Criticality and Utility in the Next Generation.
Real Time Syst., 1991

Priority Inheritance and Message Passing Communication: A Formal Treatment.
Real Time Syst., 1991

A Framework for Building Dependable Systems.
Comput. J., 1991

1990
Formal specifications and proofs of inheritance protocols for real-time scheduling.
Softw. Eng. J., 1990

The Notion of Priority in Real-Time Programming Languages.
Comput. Lang., 1990

The Teaching Language Pascal-FC.
Comput. J., 1990

Asynchronous transfer of control in Ada 9X.
Proceedings of the Fourth International Workshop on Real-Time Ada Issues, 1990

A performance standard for Ada 9X.
Proceedings of the Fourth International Workshop on Real-Time Ada Issues, 1990

1989
Dynamic change management and Ada.
J. Softw. Maintenance Res. Pract., 1989

Usability of the Ada tasking-model.
Proceedings of the Third International Workshop on Real-Time Ada Issues, 1989

Real-time Ada: outstanding problem areas.
Proceedings of the Third International Workshop on Real-Time Ada Issues, 1989

1988
Program Generation for Ada-A Case Study.
Softw. Pract. Exp., 1988

A Modula-2 implementation of a real-time process abstraction.
ACM SIGPLAN Notices, 1988

Pascal-FC: a language for teaching concurrent programming.
ACM SIGPLAN Notices, 1988

1987
A communications environment for co-operative information systems development.
Softw. Eng. J., 1987

A distributed decision-making system.
Decis. Support Syst., 1987

Real-time Ada issues.
Proceedings of the First International Workshop on Real-Time Ada Issues, 1987

A Review of Ada Tasking
Lecture Notes in Computer Science 262, Springer, ISBN: 3-540-18008-7, 1987

1986
The Construction of Information Management System Prototypes in Ada.
Softw. Pract. Exp., 1986

ADDS - A Dialogue Development System for the Ada Programming Language.
Int. J. Man Mach. Stud., 1986

Program Generators and Generation Software.
Comput. J., 1986

Real-time systems and their programming languages.
International computer science series, Addison-Wesley, ISBN: 978-0-201-17529-5, 1986

1985
Information Systems Support for Group Planning and Decision-Making Activities.
MIS Q., 1985

A Dialogue Development System for the Design and Implementation of User Interfaces in Ada.
Comput. J., 1985

1983
Enhanced input/output on Pascal.
ACM SIGPLAN Notices, 1983

1982
The Case for Distributed Decision Making Systems.
Comput. J., 1982


  Loading...