Andrew John Wellings

Search results

• 2020

  A Complete Run-time Overhead-aware Schedulability Analysis for MrsP under Nested Resources

  Zhao, S., Garrido, J., Wei, R., Burns, A., Wellings, A. J. & Puente, J. A. D. L., Jan 2020, In: Journal of Systems and Software. 159, 21 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

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

  Chang, W., Wei, R., Zhao, S., Wellings, A., Woodcock, J. & Burns, A., Nov 2020, In: ACM Transactions on Embedded Computing Systems. 19, 5, 26 p., 3391897.

  Research output: Contribution to journal › Article › peer-review

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

  Chang, W., Wei, R., Zhao, S., Wellings, A. J., Woodcock, J. & Burns, A., 31 Mar 2020, (Accepted/In press) In: ACM Transactions in Embedded Computing Systems.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Priority Assignment on Partitioned Multiprocessor Systems with Shared Resources

  Zhao, S., Chang, W., Wei, R., Liu, W., Guan, N., Burns, A. & Wellings, A. J., 1 Jun 2020, (Accepted/In press) In: IEEE Transactions on Computers.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2019

  From Java to real-time Java: A model-driven methodology with automated toolchain

  Chang, W., Zhao, S., Wei, R., Wellings, A. J. & Burns, A., 23 Jun 2019, LCTES 2019: Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems. Phoenix AZ USA: ACM, p. 123-134 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• SCJ-Circus: specification and refinement of Safety-Critical Java programs

  Miyazawa, A. H., Cavalcanti, A. L. C. & Wellings, A. J., 15 Jul 2019, In: Science of Computer Programming. 181, p. 140-176 37 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2017

  A Distributed Stream Library for Java 8

  Chan, Y., Wellings, A. J., Gray, I. & Audsley, N. C., 8 Feb 2017, In: IEEE Transactions on Big Data. p. 1-14 14 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Investigating the Correctness and Efficiency of MrsP in Fully Partitioned Systems

  Zhao, S. & Wellings, A. J., 17 Nov 2017.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File

• Java in the Safety-Critical Domain

  Cavalcanti, A., Miyazawa, A., Wellings, A., Woodcock, J. & Zhao, S., 6 Apr 2017, Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. Bowen, J., Liu, Z. & Zhang, Z. (eds.). Springer, Vol. 10215. p. 110-150 41 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• New Schedulability Analysis for MrsP

  Zhao, S., Garrido, J., Burns, A. & Wellings, A. J., 2017, 2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE, p. 1 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Supporting Nested Resources in MrsP

  Garrido, J., Zhao, S., Burns, A. & Wellings, A. J., 2017, p. 73-86. 14 p.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File
• 2016

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

  Luckcuck, M. S., Cavalcanti, A. L. C. & Wellings, A. J., 24 May 2016, Integrated Formal Methods. Springer, p. 226-241 (Lecture Notes in Computer Science; vol. 9681).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• A Java-Based Real-Time Reactive Stream Framework

  Gray, I. & Wellings, A., 2016, Proceedings of the 19th IEEE International Symposium on Real-Time Computing.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Architecting Time-Critical Big-Data Systems

  Basanta-Val, P., Audsley, N. C., Wellings, A. J., Gray, I. & Fernandez-Garcio, N., 31 Oct 2016, (E-pub ahead of print) In: IEEE Transactions on Big Data. 2, 4, p. 310-324

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Implementing Safety-Critical Java Missions in Ada

  Wellings, A. J., Cholpanov, V. & Burns, A., 1 Jul 2016, In: ACM Ada Letters. 36, 1, p. 51-62 12 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Mobile CSP

  Woodcock, J. C. P., Cavalcanti, A. L. C. & Wellings, A. J., 2016, Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Revised Selected Papers. Cornélio, M. & Roscoe, B. (eds.). Springer, p. 39-55 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9526).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

  Freitas, L., Baxter, J., Cavalcanti, A. L. C. & Wellings, A. J., 2016, Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Springer, p. 63-78 (Lecture Notes in Computer Science; vol. 9681).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Real-Time Stream Processing in Java

  Gray, I., Wellings, A. J. & Mei, H., 31 May 2016, 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016. Springer, p. 44-57 14 p. ( Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Safety-Critical Java: level 2 in practice

  Luckcuck, M., Wellings, A. & Cavalcanti, A., 16 Sept 2016, In: Concurrency and Computation: Practice and Experience. p. 1-27 27 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Safety-critical Java for embedded systems

  Schoeberl, M., Dalsgaard, A. E., Hansen, R. R., Korsholm, S., Ravn, A., Rivas, J., Strom, T., Søndergaard, H., Zhao, S. & Wellings, A. J., 14 Dec 2016, (E-pub ahead of print) In: Concurrency and Computation: Practice and Experience. p. 1-22 22 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Selecting Execution-Time Server Parameters for Real-Time Stream Processing Systems

  Gray, I., Wellings, A. J. & Mei, H., 2016, 9th York Doctoral Symposium on Computer Science and Electronics (YDS 2016).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Session Summary: Deadline Floor Protocol

  Burns, A. & Wellings, A., 1 Jul 2016, In: ACM Ada Letters. 36, 1, p. 91-93 3 p.

  Research output: Contribution to journal › Article › peer-review

• Synchronous Task Control and Synchronous Barriers

  Burns, A. & Wellings, A. J., 13 Jul 2016, In: ACM Ada Letters. 36, 1, p. 35-38 4 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• The Deadline Floor Protocol and Ada

  Burns, A. & Wellings, A. J., 13 Jul 2016, In: ACM Ada Letters. 36, 1, p. 29-34 6 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2015

  FPGA-based acceleration for Real-Time Big Data Systems

  Gray, I., Audsley, N. C., Garside, J., Chan, Y. & Wellings, A. J., 2015, 9th HiPEAC workshop on Reconfigurable Computing.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Improving the predictability of distributed stream processors

  Basanta-Val, P., Fernández-García, N., Wellings, A. J. & Audsley, N. C., 4 Jun 2015, In: Future generation computer systems. 52, p. 22-36 15 p., 2742.

  Research output: Contribution to journal › Article › peer-review

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

  Mei, H., Gray, I. & Wellings, A. J., 2015, JTRES '15: Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems. ACM, 10

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Interrupts, Timing Events and Dispatching Domains

  Burns, A. & Wellings, A. J., 2015, In: ACM Ada Letters. 35, 1, p. 26-31 6 p.

  Research output: Contribution to journal › Article › peer-review

• Safety-Critical Java Virtual Machine Services

  Baxter, J., Cavalcanti, A. L. C., Wellings, A. J. & Freitas, L., 2015, Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems. Ziarek, L. (ed.). ACM, 10 p. 7

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

  Zhao, S., Wellings, A. & Korsholm, S. E., 2015, JTRES '15: Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems. ACM, 1. ( ACM International Conference Proceeding Series).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Testing conformity to the real-time annex

  Burns, A. & Wellings, A. J., 2015, In: ACM Ada Letters. 35, 1, p. 17-25 9 p.

  Research output: Contribution to journal › Article › peer-review

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

  Gray, I., Chan, Y., Garside, J., Audsley, N., Wellings, A. & Wellings, A. J., 1 Sept 2015, p. 1-2. 2 p.

  Research output: Contribution to conference › Paper › peer-review
• 2014

  Architecture-awareness for real-time big data systems

  Gray, I., Audsley, N. C., Chan, Y. & Wellings, A., 9 Sept 2014, ACM International Conference Proceeding Series. ACM, p. 151-156 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Deadline-aware programming and scheduling

  Burns, A. & Wellings, A., 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8454 LNCS. p. 107-118 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8454 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Exploiting Multicore Architectures in Big Data Applications: The JUNIPER Approach

  Chan, Y., Gray, I., Wellings, A. J. & Audsley, N. C., 2014, Programmability Issues for Heterogeneous Multicores (MULTIPROG).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On the locality of Java 8 streams in real-time big data applications

  Chan, Y., Gray, I., Wellings, A. & Audsley, N., 13 Oct 2014, JTRES '14: Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems. ACM, p. 20-28 9 p. (ACM International Conference Proceeding Series).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Real-Time Big Data: the JUNIPER Approach

  Audsley, N. C., Gray, I., Chan, Y. & Wellings, A. J., Nov 2014, 3rd IEEE International Workshop on Real-time and distributed computing in emerging applications. p. 9-14

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2013

  A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP

  Burns, A. & Wellings, A. J., 15 Oct 2013, Proceedings - Euromicro Conference on Real-Time Systems. p. 282-291 10 p. 6602108

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Circus Models for Safety-Critical Java Programs

  Zeyda, F., Lalkhumsanga, L., Cavalcanti, A. L. C. & Wellings, A. J., 2013, In: The Computer Journal. 57, 7, p. 1046-1091 46 p.

  Research output: Contribution to journal › Article › peer-review

• Programming Simple Reactive Systems in Ada: Premature Program Termination

  Wellings, A. J., Burns, A., Cavalcanti, A. L. C. & Singh, N. K., 2013, In: Ada Letter, Proc. of IRTAW 16. XXXIII, 2, p. 75-86 12 p.

  Research output: Contribution to journal › Article › peer-review

• Safety-critical Java level 2: Motivations, example applications and issues

  Wellings, A., Luckcuck, M. & Cavalcanti, A., 15 Nov 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2013. p. 48-57 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Safety-critical Java programs from Circus models

  Cavalcanti, A. L. C., Zeyda, F., Wellings, A., Woodcock, J. & Wei, K., Sept 2013, In: Real-Time Systems. 49, 5, p. 614-667 54 p.

  Research output: Contribution to journal › Article › peer-review

• Support for Multiprocessor Platforms

  Burns, A. & Wellings, A. J., 2013, Proceeding of the 15th IRTAW. ACM, Vol. XXXII. p. 9-14 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The Safety-Critical Java Memory Model Formalised

  Cavalcanti, A. L. C., Wellings, A. & Woodcock, J., Jan 2013, In: Formal Aspects of Computing. 25, 1, p. 37-57 21 p.

  Research output: Contribution to journal › Article › peer-review

• TTF-Ravenscar: A Profile to Support Reliable High-Integrity Multiprocessor Ada Applications

  Burns, A., Wellings, A. J. & Malik, A. H., 1 Apr 2013, Proceeding of the 15th IRTAW. ACM, Vol. XXXII. p. 15-23 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• 2012

  Distributed, embedded and real-time java systems

  Higuera-Toledano, M. T. & Wellings, A. J., 2012, Springer. 378 p.

  Research output: Book/Report › Book

• Preface

  Higuera-Toledano, M. T. & Wellings, A. J., 1 Nov 2012, Distributed, Embedded and Real-time Java Systems. Higuera-Toledano, M. T. & Wellings, A. J. (eds.). p. v-viii

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Programming embedded systems: Interacting with the embedded platform

  Dibble, P., Hunt, J. J. & Wellings, A. J., 1 Nov 2012, Distributed, Embedded and Real-time Java Systems. Springer, Vol. 9781441981585. p. 129-158 30 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• RT-OSGi: Integrating the OSGi framework with the real-time specification for Java

  Richardson, T. & Wellings, A. J., 2012, Distributed, Embedded and Real-time Java Systems. Higuera-Toledano, T. M. & Wellings, A. J. (eds.). Springer, Vol. 9781441981585. p. 293-322 30 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Software Failure Propagation Prevention: Prevention of failure propagation between software of different criticality categories

  Hann, M., Wellings, A., Audsley, N. & Dapena, P. R., 18 Dec 2012, Proceedings of DASIA 2012 - DAta Systems In Aerospace. Vol. 701 SP.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution