Andy J. Wellings

According to our database, Andy J. Wellings authored at least 233 papers between 1985 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Priority Assignment on Partitioned Multiprocessor Systems With Shared Resources.

Shuai Zhao, Wanli Chang, Ran Wei, Weichen Liu, Nan Guan, Alan Burns, Andy J. Wellings

IEEE Trans. Computers, 2021

2020

Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis.

Wanli Chang, Ran Wei, Shuai Zhao, Andy J. Wellings, Jim Woodcock, Alan Burns

ACM Trans. Embed. Comput. Syst., 2020

A complete run-time overhead-aware schedulability analysis for MrsP under nested resources.

Shuai Zhao, Jorge Garrido, Ran Wei, Alan Burns, Andy J. Wellings, Juan Antonio de la Puente

J. Syst. Softw., 2020

2019

<i>SCJ-Circus</i>: Specification and refinement of Safety-Critical Java programs.

Alvaro Miyazawa, Ana Cavalcanti, Andy J. Wellings

Sci. Comput. Program., 2019

From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper).

Wanli Chang, Shuai Zhao, Ran Wei, Andy J. Wellings, Alan Burns

Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, 2019

2017

A Distributed Stream Library for Java 8.

Yu Chan, Andy J. Wellings, Ian Gray, Neil C. Audsley

IEEE Trans. Big Data, 2017

Safety-critical Java for embedded systems.

Martin Schoeberl, Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Stephan Erbs Korsholm, Anders P. Ravn, Juan Ricardo Rios Rivas, Tórur Biskopstø Strøm, Hans Søndergaard, Andy J. Wellings, Shuai Zhao

Concurr. Comput. Pract. Exp., 2017

Safety-Critical Java: level 2 in practice.

Matt Luckcuck, Andy J. Wellings, Ana Cavalcanti

Concurr. Comput. Pract. Exp., 2017

New schedulability analysis for MrsP.

Shuai Zhao, Jorge Garrido, Alan Burns, Andy J. Wellings

Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017

Supporting Nested Resources in MrsP.

Jorge Garrido, Shuai Zhao, Alan Burns, Andy J. Wellings

Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2016

Architecting Time-Critical Big-Data Systems.

Pablo Basanta-Val, Neil C. Audsley, Andy J. Wellings, Ian Gray, Norberto Fernández García

IEEE Trans. Big Data, 2016

Java in the Safety-Critical Domain.

Ana Cavalcanti, Alvaro Miyazawa, Andy J. Wellings, Jim Woodcock, Shuai Zhao

Proceedings of the Engineering Trustworthy Software Systems - Second International School, 2016

A Java-Based Real-Time Reactive Stream Framework.

HaiTao Mei, Ian Gray, Andy J. Wellings

Proceedings of the 19th IEEE International Symposium on Real-Time Distributed Computing, 2016

A Formal Model of the Safety-Critical Java Level 2 Paradigm.

Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment.

Leo Freitas, James Baxter, Ana Cavalcanti, Andy J. Wellings

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Real-Time Stream Processing in Java.

HaiTao Mei, Ian Gray, Andy J. Wellings

Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015

Improving the predictability of distributed stream processors.

Pablo Basanta-Val, Norberto Fernández García, Andy J. Wellings, Neil C. Audsley

Future Gener. Comput. Syst., 2015

Transparent hardware synthesis of Java for predictable large-scale distributed systems.

Ian Gray, Yu Chan, Jamie Garside, Neil C. Audsley, Andy J. Wellings

CoRR, 2015

Mobile CSP.

Jim Woodcock, Andy J. Wellings, Ana Cavalcanti

Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time Environment.

Shuai Zhao, Andy J. Wellings, Stephan Erbs Korsholm

Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, 2015

Integrating Java 8 Streams with The Real-Time Specification for Java.

HaiTao Mei, Ian Gray, Andy J. Wellings

Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, 2015

Safety-Critical Java Virtual Machine Services.

James Baxter, Ana Cavalcanti, Andy J. Wellings, Leo Freitas

Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, 2015

2014

Introduction to the Special Issue on Java Technologies for Real-Time and Embedded Systems: JTRES 2012.

M. Teresa Higuera-Toledano, Andy J. Wellings

Concurr. Comput. Pract. Exp., 2014

<i>Circus</i> Models for Safety-Critical Java Programs.

Frank Zeyda, Lalkhumsanga Lalkhumsanga, Ana Cavalcanti, Andy J. Wellings

Comput. J., 2014

Real-time big data: the Juniper approach.

Neil C. Audsley, Yu Chan, Ian Gray, Andy J. Wellings

Proceedings of the REACTION 2014, 2014

Architecture-Awareness for Real-Time Big Data Systems.

Ian Gray, Yu Chan, Neil C. Audsley, Andy J. Wellings

Proceedings of the 21st European MPI Users' Group Meeting, 2014

Using JetBench to Evaluate the Efficiency of Multiprocessor Support for Parallel Processing.

HaiTao Mei, Andy J. Wellings

Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems, 2014

On the Locality of Java 8 Streams in Real-Time Big Data Applications.

Yu Chan, Andy J. Wellings, Ian Gray, Neil C. Audsley

Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems, 2014

Deadline-Aware Programming and Scheduling.

Alan Burns, Andy J. Wellings

Proceedings of the Reliable Software Technologies, 2014

2013

Safety-critical Java programs from Circus models.

Ana Cavalcanti, Frank Zeyda, Andy J. Wellings, Jim Woodcock, Kun Wei

Real Time Syst., 2013

The Safety-Critical Java memory model formalised.

Ana Cavalcanti, Andy J. Wellings, Jim Woodcock

Formal Aspects Comput., 2013

Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages.

Shiyao Lin, Andy J. Wellings, Alan Burns

Concurr. Comput. Pract. Exp., 2013

Safety-critical Java level 2: motivations, example applications and issues.

Andy J. Wellings, Matt Luckcuck, Ana Cavalcanti

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP.

Alan Burns, Andy J. Wellings

Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

2012

Asynchronous event handling and Safety Critical Java.

Andy J. Wellings, MinSeong Kim

Concurr. Comput. Pract. Exp., 2012

The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada.

Neeraj Kumar Singh, Andy J. Wellings, Ana Cavalcanti

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

2011

On the road to real-time OSGi: extending OSGi with an admission control protocol.

Thomas Richardson, Andy J. Wellings

Comput. Syst. Sci. Eng., 2011

A model-based development approach for the verification of real-time Java code.

Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings

Concurr. Comput. Pract. Exp., 2011

Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ.

MinSeong Kim, Andy J. Wellings

Concurr. Comput. Pract. Exp., 2011

Multiprocessors and Asynchronous Event Handling in the Real-Time Specification for Java.

MinSeong Kim, Andy J. Wellings

Comput. J., 2011

User-defined clocks in the real-time specification for Java.

Andy J. Wellings, Martin Schoeberl

Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

Resource sharing in RTSJ and SCJ systems.

Andy J. Wellings, Shiyao Lin, Alan Burns

Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

Safety-critical Java in Circus.

Ana Cavalcanti, Andy J. Wellings, Jim Woodcock, Kun Wei, Frank Zeyda

Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

The Safety-Critical Java Mission Model: A Formal Account.

Frank Zeyda, Ana Cavalcanti, Andy J. Wellings

Proceedings of the Formal Methods and Software Engineering, 2011

The Safety-Critical Java Memory Model: A Formal Account.

Ana Cavalcanti, Andy J. Wellings, Jim Woodcock

Proceedings of the FM 2011: Formal Methods, 2011

2010

A framework for flexible scheduling in the RTSJ.

Alexandros Zerzelidis, Andy J. Wellings

ACM Trans. Embed. Comput. Syst., 2010

Measuring and policing blocking times in real-time systems.

Osmar Marchi dos Santos, Andy J. Wellings

ACM Trans. Embed. Comput. Syst., 2010

Efficient asynchronous event handling in the real-time specification for Java.

MinSeong Kim, Andy J. Wellings

ACM Trans. Embed. Comput. Syst., 2010

Garbage Collection for Flexible Hard Real-Time Systems.

Yang Chang, Andy J. Wellings

IEEE Trans. Computers, 2010

Focus Section Editorial.

R. Nigel Horspool, Andy J. Wellings

Softw. Pract. Exp., 2010

TART: Timed-Automata to Real-Time Java Tool.

Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Towards memory management for service-oriented real-time systems.

Thomas Richardson, Andy J. Wellings, Jose Ángel Dianes, Manuel Díaz

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

A locality model for the real-time specification for Java.

Abdul Haseeb Malik, Andy J. Wellings, Yang Chang

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

Using the executor framework to implement asynchronous event handling in the RTSJ.

MinSeong Kim, Andy J. Wellings

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

An Admission Control Protocol for Real-Time OSGi.

Thomas Richardson, Andy J. Wellings

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005.

Andy J. Wellings, Alan Burns

Proceedings of the Reliable Software Technologiey, 2010

Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada.

Alan Burns, Andy J. Wellings

Proceedings of the Reliable Software Technologiey, 2010

2009

Enhancing the platform independence of the real-time specification for Java.

Andy J. Wellings, Yang Chang, Thomas Richardson

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Providing temporal isolation in the OSGi framework.

Thomas Richardson, Andy J. Wellings, Jose Ángel Dianes, Manuel Díaz

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

JSR-282 status report.

Peter C. Dibble, Andy J. Wellings

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

An RTSJ-based reconfigurable server component.

Mohammed AlRahmawy, Andy J. Wellings

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Design patterns for supporting RTSJ component models.

Mohammed AlRahmawy, Andy J. Wellings

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Thread-Local Scope Caching for Real-time Java.

Andy J. Wellings, Martin Schoeberl

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

Refactoring Asynchronous Event Handling in the Real-Time Specification for Java.

MinSeong Kim, Andy J. Wellings

Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009

Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005.

Alan Burns, Andy J. Wellings, Fengxiang Zhang

Proceedings of the Reliable Software Technologies, 2009

Real-Time Systems and Programming Languages - Ada, Real-Time Java and C / Real-Time POSIX, Fourth Edition.

Alan Burns, Andrew J. Wellings

International computer science series, Addison-Wesley, ISBN: 978-0-321-41745-9, 2009

2008

Implementation of a constant-time dynamic storage allocator.

Miguel Masmano, Ismael Ripoll, Jorge Real, Alfons Crespo, Andy J. Wellings

Softw. Pract. Exp., 2008

Run Time Detection of Blocking Time Violations in Real-Time Systems.

Osmar Marchi dos Santos, Andy J. Wellings

Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

Processing group parameters in the real-time specification for Java.

Andy J. Wellings, M. S. Kim

Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, 2008

Blocking time monitoring in the real-time specification for Java.

Osmar Marchi dos Santos, Andy J. Wellings

Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, 2008

An efficient and predictable implementation of asynchronous event handling in the RTSJ.

MinSeong Kim, Andy J. Wellings

Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, 2008

Multiprocessors and the Real-Time Specification for Java.

Andy J. Wellings

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

2007

Programming Execution-Time Servers and Supporting EDF Scheduling in Ada 2005.

Alan Burns, Andy J. Wellings

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

Real-Time Java.

Alan Burns, Andy J. Wellings

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

Cost enforcement in the real-time specification for Java.

Osmar Marchi dos Santos, Andy J. Wellings

Real Time Syst., 2007

Asynchronous event handling in the real-time specification for Java.

MinSeong Kim, Andy J. Wellings

Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, 2007

A model for real time mobility based on the RTSJ.

Mohammed AlRahmawy, Andy J. Wellings

Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, 2007

Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java.

Andy J. Wellings, Alan Burns, Osmar Marchi dos Santos, Benjamin M. Brosgol

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

Correcting the EDF protocol in Ada 2005.

Alexandros Zerzelidis, Alan Burns, Andy J. Wellings

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

A framework for real-time utilities for Ada 2005.

Andy J. Wellings, Alan Burns

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

Integrating OOP and tasking: the missing requeue.

Andy J. Wellings, Alan Burns

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

Beyond Ada 2005: allocating tasks to processors in SMP systems.

Andy J. Wellings, Alan Burns

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

Programming execution-time servers in Ada 2005.

Alan Burns, Andy J. Wellings

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

Introduction.

Alan Burns, Andy J. Wellings

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

Real-Time Utilities for Ada 2005.

Andy J. Wellings, Alan Burns

Proceedings of the Reliable Software Technologies, 2007

Delivering Real-Time Behaviour.

Alan Burns, Andy J. Wellings

Proceedings of the Domain Modeling and the Duration Calculus, 2007

Concurrent and real-time programming in Ada.

Alan Burns, Andy J. Wellings

Cambridge University Press, 2007

2006

Scoped, coarse-grain memory management and the RTSJ scoped memory model in the development of real-time applications.

Andrew Borg, Andy J. Wellings

Int. J. Embed. Syst., 2006

Motivations and support for single nested scoping in Ravenscar-Java.

Jagun Kwon, Andy J. Wellings

Proceedings of the Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems and the Second International Workshop on Collaborative Computing, 2006

Hard Real-Time Hybrid Garbage Collection with Low Memory Requirements.

Yang Chang, Andy J. Wellings

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

Model-based verification of a framework for flexible scheduling in the real-time specification for Java.

Alexandros Zerzelidis, Andy J. Wellings

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

Formal analysis of aperiodic and sporadic real-time threads in the RTSJ.

Osmar Marchi dos Santos, Andy J. Wellings

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

Low memory overhead real-time garbage collection for Java.

Yang Chang, Andy J. Wellings

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

Getting More Flexible Scheduling in the RTSJ.

Alexandros Zerzelidis, Andy J. Wellings

Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Real-Time Memory Management: Life and Times.

Andrew Borg, Andy J. Wellings, Christopher D. Gill, Ron K. Cytron

Proceedings of the 18th Euromicro Conference on Real-Time Systems, 2006

A Comparison of Ada and Real-Time Java^TM for Safety-Critical Applications.

Benjamin M. Brosgol, Andy J. Wellings

Proceedings of the Reliable Software Technologies, 2006

2005

Guidelines for a graduate curriculum on embedded software and systems.

Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi

ACM Trans. Embed. Comput. Syst., 2005

Requirements for a real-time .NET framework.

Alexandros Zerzelidis, Andy J. Wellings

ACM SIGPLAN Notices, 2005

Ravenscar-Java: a high-integrity profile for real-time Java.

Jagun Kwon, Andy J. Wellings, Steve King

Concurr. Pract. Exp., 2005

Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation.

Osmar Marchi dos Santos, Andy J. Wellings

Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Integrating Hybrid Garbage Collection with Dual Priority Scheduling.

Yang Chang, Andy J. Wellings

Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

Temporal Isolation in Ravenscar-Java.

Hao Cai, Andy J. Wellings

Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95.

Patrick Rogers, Andy J. Wellings

Proceedings of the Reliable Software Technology, 2005

2004

Replication Management in Reliable Real-Time Systems.

Luís Miguel Pinho, Francisco Vasques, Andy J. Wellings

Real Time Syst., 2004

Memory Management Based on Method Invocation in RTSJ.

Jagun Kwon, Andy J. Wellings

Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

Supporting Mixed Criticality Applications in a Ravenscar-Java Environment.

Hao Cai, Andy J. Wellings

Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

Towards an Understanding of the Expressive Power of the RTSJ Scoped Memory Model.

Andrew Borg, Andy J. Wellings

Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

Cost Enforcement and Deadline Monitoring in the Real-Time Specification for Java.

Andy J. Wellings, Gregory Bollella, Peter C. Dibble, David Holmes

Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

The Real-Time Specification for Java: Current Status and Future Work.

Peter C. Dibble, Andy J. Wellings

Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

A Real-Time Isolate Specification for Ravenscar-Java.

Hao Cai, Andy J. Wellings

Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

OpenAda: Compile-Time Reflection for Ada 95.

Patrick Rogers, Andy J. Wellings

Proceedings of the Reliable Software Technologies, 2004

Supporting Deadlines and EDF Scheduling in Ada.

Alan Burns, Andy J. Wellings, S. Tucker Taft

Proceedings of the Reliable Software Technologies, 2004

Concurrent and real-time programming in Java.

Andy J. Wellings

Wiley, ISBN: 978-0-470-84437-3, 2004

2003

Assessment of the Java programming language for use in high integrity systems.

Jagun Kwon, Andy J. Wellings, Steve King

ACM SIGPLAN Notices, 2003

Evaluating the Expressive Power of the Real-Time Specification for Java.

Andy J. Wellings, Peter P. Puschner

Real Time Syst., 2003

XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment.

Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat

Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003

Deriving Java Virtual Machine Timing Models for Portable Worst-Case Execution Time Analysis.

Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat

Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

Towards a High Integrity Real-Time Java Virtual Machine.

Hao Cai, Andy J. Wellings

Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

Processing Group Parameters in the Real-Time Specification for Java.

Alan Burns, Andy J. Wellings

Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

Reference Objects for RTSJ Memory Areas.

Andrew Borg, Andy J. Wellings

Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

Predictable Memory Utilization in the Ravenscar-Java Profile.

Jagun Kwon, Andy J. Wellings, Steve King

Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

Gain Time Reclaiming in High Performance Real-Time Java Systems.

Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat

Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

Session summary: integration versus orthogonality (RTSJ scheduling policies versus Ada's).

Andy J. Wellings, Joyce L. Tokar

Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95?

Andy J. Wellings

Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Report of session: flexible scheduling in Ada.

Alan Burns, Andy J. Wellings, Tullio Vardanega

Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Task attribute-based scheduling: extending Ada's support for scheduling.

Alan Burns, Andy J. Wellings

Proceedings of the 12th International Workshop on Real-Time Ada, 2003

A Real-Time RMI Framework for the RTSJ.

Andrew Borg, Andy J. Wellings

Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

A Round Robin Scheduling Policy for Ada.

Alan Burns, Michael González Harbour, Andy J. Wellings

Proceedings of the Reliable Software Technologies, 2003

A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java.

Benjamin M. Brosgol, Andy J. Wellings

Proceedings of the Reliable Software Technologies, 2003

2002

A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems.

Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings

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

Asynchronous Event Handling and Real-time Threads in the Real-time Specification for Java.

Andy J. Wellings, Alan Burns

Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 2002

A Framework for Integrating the Real-Time Specification for Java and Java's Remote Method Invocation.

Andy J. Wellings, Roy Clark, E. Douglas Jensen, Douglas Wells

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

Addressing Dynamic Dispatching Issues in WCET Analysis for Object-Oriented Hard Real-Time Systems.

Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

Report of session: language changes for scheduling, modeling and analysis.

Andy J. Wellings, Tullio Vardanega

Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Protected ceiling changes.

Jorge Real, Alfons Crespo, Andy J. Wellings, Alan Burns

Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Accessing delay queues.

Alan Burns, Andy J. Wellings

Proceedings of the 11th International Workshop on Real-Time Ada, 2002

2001

Modelling and verification of an atomic action protocol implemented in Ada.

Alan Burns, Andy J. Wellings, Frank P. Burns, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev

Comput. Syst. Sci. Eng., 2001

A Profile for High-Integrity Real-Time Java Programs.

Peter P. Puschner, Andy J. Wellings

Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

2000

Integrating object-oriented programming and protected objects in Ada 95.

Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf, Stephen Michell

ACM Trans. Program. Lang. Syst., 2000

Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems.

Stefan Poledna, Alan Burns, Andy J. Wellings, Peter Barrett

IEEE Trans. Computers, 2000

State restoration in Ada 95: a portable approach to supporting software fault tolerance.

Patrick Rogers, Andy J. Wellings

J. Syst. Softw., 2000

Techniques to increase the schedulable utilization of cache-based preemptive real-time systems.

José V. Busquets-Mataix, Daniel Gil, Pedro J. Gil, Andy J. Wellings

J. Syst. Archit., 2000

Extensible protected types: proposal status.

Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf, Stephen Michell

Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Status and future of the Ravenscar profile session summary.

Andy J. Wellings

Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems.

Neil C. Audsley, Andy J. Wellings

Proceedings of the 10th International Workshop on Real-Time Ada, 2000

On developing and verifying design abstractions for reliable concurrent programming in Ada.

Alan Burns, Andy J. Wellings, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev

Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Portable worst-case execution time analysis using Java Byte Code.

Guillem Bernat, Alan Burns, Andy J. Wellings

Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

Object-Oriented Programming and Protected Objects in Ada 95.

Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf, Stephen Michell

Proceedings of the Reliable Software Technologies, 2000

1999

GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems.

David Powell, Jean Arlat, Ljerka Beus-Dukic, Andrea Bondavalli, P. Coppola, Alessandro Fantechi, Eric Jenn, Christophe Rabéjac, Andy J. Wellings

IEEE Trans. Parallel Distributed Syst., 1999

New language features and other language issues (session summary).

Andy J. Wellings

Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

Dynamic ceiling priorities and Ada 95.

Jorge Real, Andy J. Wellings

Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

How to verify concurrent Ada programs: the application of model checking.

Alan Burns, Andy J. Wellings

Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

Implementing mode changes with shared resources in Ada.

Jorge Real, Andy J. Wellings

Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

An Incremental RecoveryCache Supporting Sotware Fault Tolerance.

Patrick Rogers, Andy J. Wellings

Proceedings of the Reliable Software Technologies, 1999

The Ceiling Protocol in Multi-moded Real-Time Systems.

Jorge Real, Andy J. Wellings

Proceedings of the Reliable Software Technologies, 1999

1998

Requirements for a COTS software component: A case study.

Ljerka Beus-Dukic, Andy J. Wellings

Requir. Eng., 1998

Distributed Atomic Actions in Ada 95.

Stuart E. Mitchell, Andy J. Wellings, Alexander B. Romanovsky

Comput. J., 1998

Extensible Protected Types.

O. P. Kiddle, Andy J. Wellings

Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, 1998

Real-Time Scheduling in a Generic Fault-Tolerant Architecture.

Andy J. Wellings, Ljerka Beus-Dukic, David Powell

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

MOPping up Exceptions.

Stuart E. Mitchell, Alan Burns, Andy J. Wellings

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997

Implementing Atomic Actions in Ada 95.

Andy J. Wellings, Alan Burns

IEEE Trans. Software Eng., 1997

Synchronous sessions and fixed priority scheduling.

Alan Burns, Andy J. Wellings

J. Syst. Archit., 1997

An Action-Based Formal Model for Concurrent Real-Time Systems.

Colin J. Fidge, Andy J. Wellings

Formal Aspects Comput., 1997

Developing a real-time metaobject protocol.

Stuart E. Mitchell, Alan Burns, Andrew J. Wellings

Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Formal development of a real-time kernel.

Simon Fowler, Andy J. Wellings

Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

Object-oriented programming and real-time (session summary).

Andy J. Wellings, Juan Antonio de la Puente

Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

Task termination and Ada 95.

Andy J. Wellings, Alan Burns, Offer Pazy

Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

Restricted tasking models.

Alan Burns, Andy J. Wellings

Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

Feature interactions with dynamic priorities.

Alan Burns, Andy J. Wellings

Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

Hybrid instruction cache partitioning for preemptive real-time systems.

José V. Busquets-Mataix, Juan José Serrano, Andy J. Wellings

Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

Adaptive Scheduling Using Reflection.

Stuart E. Mitchell, Alan Burns, Andy J. Wellings

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Task Termination in Ada 95.

Andy J. Wellings, Alan Burns, Offer Pazy

Proceedings of the Reliable Software Technologies, 1997

On Programming Atomic Actions in Ada 95.

Alexander B. Romanovsky, Stuart E. Mitchell, Andy J. Wellings

Proceedings of the Reliable Software Technologies, 1997

Real-time systems and their programming languages (2. ed.).

Alan Burns, Andrew J. Wellings

Addison-Wesley, ISBN: 978-0-201-40365-7, 1997

1996

Combining Static Worst-Case Timing Analysis and Program Proof.

Roderick Chapman, Alan Burns, Andy J. Wellings

Real Time Syst., 1996

Integrating optional software components into hard real-time systems.

Neil C. Audsley, Alan Burns, Robert I. Davis, D. J. Scholefield, Andy J. Wellings

Softw. Eng. J., 1996

Synchronisation, Concurrent Object-Oriented Programming and the Inheritance Anomaly.

Stuart E. Mitchell, Andy J. Wellings

Comput. Lang., 1996

Programming Replicated Systems in Ada 95.

Andy J. Wellings, Alan Burns

Comput. J., 1996

Real-time programming in the concurrent object-oriented language TAO.

Stuart E. Mitchell, Andy J. Wellings

Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

Analysing APEX applications.

Neil C. Audsley, Andy J. Wellings

Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996

A Worst-Case Behavior Analysis for Hard Real-Time Transactions.

Jeongyoujng Byun, Andy J. Wellings, Alan Burns

Proceedings of the Online-Proceedings of the First International Workshop on Real-Time Databases: Issues and Applications, 1996

Using harmonic task-sets to increase the schedulable utilization of cache-based preemptive real-time systems.

José V. Busquets-Mataix, Juan José Serrano, Rafael Ors, Pedro J. Gil, Andy J. Wellings

Proceedings of the Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30, 1996

Adding instruction cache effect to schedulability analysis of preemptive real-time systems.

José V. Busquets-Mataix, Juan José Serrano, Rafael Ors, Pedro J. Gil, Andy J. Wellings

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.

Sijing Zhang, Alan Burns, Andy J. Wellings

Proceedings of the Proceedings IEEE INFOCOM '96, 1996

Formal Analysis of a Real-Time Kernel Specification.

Simon Fowler, Andy J. Wellings

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Adding Instruction Cache Effect to an Exact Schedulability Analysis of Preemptive Real-Time Systems.

José V. Busquets-Mataix, Juan José Serrano, Rafael Ors Carot, Pedro J. Gil, Andrew J. Wellings

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

Ada 95: An Effective Concurrent Programming Language.

Alan Burns, Andy J. Wellings

Proceedings of the Reliable Software Technologies, 1996

1995

Effective Analysis for Engineering Real-Time Fixed Priority Schedulers.

Alan Burns, Ken Tindell, Andy J. Wellings

IEEE Trans. Software Eng., 1995

Engineering a Hard Real-time System: From Theory to Practice.

Alan Burns, Andy J. Wellings

Softw. Pract. Exp., 1995

Analysis of Hard Real-Time Communications.

Ken Tindell, Alan Burns, Andy J. Wellings

Real Time Syst., 1995

Fixed Priority Pre-emptive Scheduling: An Historical Perspective.

Neil C. Audsley, Alan Burns, Robert I. Davis, Ken Tindell, Andy J. Wellings

Real Time Syst., 1995

Data Consistency in Hard Real-Time Systems.

Neil C. Audsley, Alan Burns, Mike F. Richardson, Andy J. Wellings

Informatica (Slovenia), 1995

Dual Priority Scheduling.

Robert I. Davis, Andy J. Wellings

Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

Real-time distributed computing.

Alan Burns, Neil C. Audsley, Andy J. Wellings

Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD.

Pete Cornwell, Andy J. Wellings

Proceedings of the Ada in Europe, Second International Eurospace, 1995

1994

STRESS: a Simulator for Hard Real-time Systems.

Neil C. Audsley, Alan Burns, Mike F. Richardson, Andy J. Wellings

Softw. Pract. Exp., 1994

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

Ken Tindell, Alan Burns, Andy J. Wellings

Real Time Syst., 1994

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

Alan Burns, Andy J. Wellings

Real Time Syst., 1994

Supporting distribution and dynamic reconfiguration in AdaPT.

Anthony B. Gargaro, Stephen J. Goldsack, A. A. Holzbacher-Valero, Richard A. Volz, Raymond Waldrop, Andy J. Wellings

Distributed Syst. Eng., 1994

Analysing Real-Time Communications: Controller Area Network (CAN).

Ken Tindell, H. Hanssmon, Andy J. Wellings

Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

Fixed priority scheduling with deadlines prior to completion.

Alan Burns, Ken Tindell, Andrew J. Wellings

Proceedings of the Sixth Euromicro Workshop on Real-Time Systems, 1994

1993

Applying new scheduling theory to static priority pre-emptive scheduling.

Neil C. Audsley, Alan Burns, Mike M. Richardson, Ken Tindell, Andy J. Wellings

Softw. Eng. J., 1993

The use of preemptive priority-based scheduling for space applications.

C. M. Bailey, E. Fyfe, Tullio Vardanega, Andy J. Wellings

Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

Dual Priority Assignment: A Practical Method For Increasing Processor Utilisation.

Alan Burns, Andrew J. Wellings

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.

Alan Burns, Andy J. Wellings, A. D. Hutcheon

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.

Alan Burns, Andy J. Wellings, C. M. Bailey, E. Fyfe

Proceedings of the Ada-Europe '93, 12th Ada-Europe International Conference, 1993

1992

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

Ken Tindell, Alan Burns, Andy J. Wellings

Real Time Syst., 1992

File system caching in large point-to-point networks.

Paul Baden Austin, Kevin Murray, Andy J. Wellings

Softw. Eng. J., 1992

Mode Changes In Priority Pre-Emptively Scheduled Systems.

Ken Tindell, Alan Burns, Andy J. Wellings

Proceedings of the Real-Time Systems Symposium, 1992

A System for Building Scalable Parallel Applications.

Simon A. Dobson, Andy J. Wellings

Proceedings of the Programming Environments for Parallel Computing, 1992

Absolute and relative temporal constraints in hard real-time databases.

Neil C. Audsley, Alan Burns, Mike F. Richardson, Andrew J. Wellings

Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

Designing Hard Real-Time Systems.

Alan Burns, Andy J. Wellings

Proceedings of the Ada: Moving Towards 2000, 1992

1991

The Design of an Operating System for a Scalable Parallel Computing Engine.

Paul Baden Austin, Kevin Murray, Andy J. Wellings

Softw. Pract. Exp., 1991

Criticality and Utility in the Next Generation.

Alan Burns, Andy J. Wellings

Real Time Syst., 1991

Priority Inheritance and Message Passing Communication: A Formal Treatment.

Alan Burns, Andy J. Wellings

Real Time Syst., 1991

Scheduling time constrained messages on miniMAP.

Ljerka Beus-Dukic, Andy J. Wellings

Proceedings of the Euromicro '91 Workshop on Real Time Systems, 1991

1990

Specifying restrictions on imperative programming languages for use in a distributed embedded environment.

Andrew D. Hutcheon, Andy J. Wellings

Softw. Eng. J., 1990

Wisdom: A distributed operating system for transputers.

Kevin Murray, Andy J. Wellings

Comput. Syst. Sci. Eng., 1990

The Notion of Priority in Real-Time Programming Languages.

Alan Burns, Andy J. Wellings

Comput. Lang., 1990

Real-time requirements.

Andy J. Wellings

Proceedings of the Fourth International Workshop on Real-Time Ada Issues, 1990

Adapting Ada distribution and fault tolerance.

Anthony B. Gargaro, Stephen J. Goldsack, R. K. Powers, Richard A. Volz, Andy J. Wellings

Proceedings of the Fourth International Workshop on Real-Time Ada Issues, 1990

Asynchronous transfer of control in Ada 9X.

Alan Burns, Andy J. Wellings, Gordon Davies

Proceedings of the Fourth International Workshop on Real-Time Ada Issues, 1990

1989

Dynamic change management and Ada.

Alan Burns, Andy J. Wellings

J. Softw. Maintenance Res. Pract., 1989

Usability of the Ada tasking-model.

Alan Burns, Andy J. Wellings

Proceedings of the Third International Workshop on Real-Time Ada Issues, 1989

Real-time Ada: outstanding problem areas.

Alan Burns, Andy J. Wellings

Proceedings of the Third International Workshop on Real-Time Ada Issues, 1989

1988

A Modula-2 implementation of a real-time process abstraction.

Alan Burns, Gordon Davies, Andy J. Wellings

ACM SIGPLAN Notices, 1988

Issues in the design and implementation of a distributed operating system for a network of transputers.

Kevin Murray, Andy J. Wellings

Microprocess. Microprogramming, 1988

Supporting Ada in a distributed environment.

Andrew D. Hutcheon, Andy J. Wellings

Proceedings of the Second International Workshop on Real-Time Ada Issues, 1988

1987

Programming and debugging distributed real-time applications in Ada.

Andrew D. Hutcheon, David S. Snowden, Andy J. Wellings

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

Real-time Ada issues.

Alan Burns, Andy J. Wellings

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

A Review of Ada Tasking

Alan Burns, Andrew M. Lister, Andy J. Wellings

Lecture Notes in Computer Science 262, Springer, ISBN: 3-540-18008-7, 1987

1986

Real-time systems and their programming languages.

Alan Burns, Andy J. Wellings

International computer science series, Addison-Wesley, ISBN: 978-0-201-17529-5, 1986

1985

The PULSE Distributed File System.

G. M. Tomlinson, D. Keeffe, I. C. Wand, Andy J. Wellings

Softw. Pract. Exp., 1985