Hopscotch: A Hardware-Software Co-Design for Efficient Cache Resizing on Multi-Core SoCs.

Neil C. Audsley University of York, UK https://orcid.org/0000-0003-3739-6590 https://www.wikidata.org/entity/Q134444208 https://www.wikidata.org/entity/Q133735655

Zhe Jiang 0004 Kecheng Yang 0001 Nathan Fisher Nan Guan Neil C. Audsley Zheng Dong 0002 Hopscotch: A Hardware-Software Co-Design for Efficient Cache Resizing on Multi-Core SoCs. 89-104 2024 January 35 IEEE Trans. Parallel Distributed Syst. 1 https://doi.org/10.1109/TPDS.2023.3332711 db/journals/tpds/tpds35.html#JiangYFGAD24

Zhe Jiang 0004 Xiaotian Dai 0001 Alan Burns 0001 Neil C. Audsley Zonghua Gu 0001 Ian Gray A High-Resilience Imprecise Computing Architecture for Mixed-Criticality Systems. 29-42 2023 72 IEEE Trans. Computers 1 https://doi.org/10.1109/TC.2022.3202721 db/journals/tc/tc72.html#JiangDBAGG23

Zhe Jiang 0004 Kecheng Yang 0001 Yunfeng Ma Nathan Fisher Neil C. Audsley Zheng Dong 0002 Towards Hard Real-Time and Energy-Efficient Virtualization for Many-Core Embedded Systems. 111-126 2023 72 IEEE Trans. Computers 1 https://doi.org/10.1109/TC.2022.3207115 db/journals/tc/tc72.html#JiangYMFAD23

Zhe Jiang 0004 Kecheng Yang 0001 Nathan Fisher Ian Gray Neil C. Audsley Zheng Dong 0002 AXI-IC$^{\mathrm{ RT}}$ RT : Towards a Real-Time AXI-Interconnect for Highly Integrated SoCs. 786-799 2023 March 72 IEEE Trans. Computers 3 https://doi.org/10.1109/TC.2022.3179227 db/journals/tc/tc72.html#JiangYFGAD23

Zhe Jiang 0004 Pan Dong Ran Wei Qingling Zhao Yankai Wang Dizhong Zhu Yan Zhuang 0013 Neil C. Audsley PSpSys: A time-predictable mixed-criticality system architecture based on ARM TrustZone. 102368 2022 123 J. Syst. Archit. https://doi.org/10.1016/j.sysarc.2021.102368 db/journals/jsa/jsa123.html#JiangDWZWZZA22

Zhe Jiang 0004 Kecheng Yang 0001 Nathan Fisher Neil C. Audsley Zheng Dong 0002 Towards an energy-efficient quarter-clairvoyant mixed-criticality system. 102683 2022 130 J. Syst. Archit. https://doi.org/10.1016/j.sysarc.2022.102683 db/journals/jsa/jsa130.html#JiangYFAD22

Zhe Jiang 0004 Ran Wei Pan Dong Yan Zhuang 0013 Neil C. Audsley Ian Gray BlueVisor: Time-Predictable Hardware Hypervisor for Many-Core Embedded Systems. 2205-2218 2022 71 IEEE Trans. Computers 9 https://doi.org/10.1109/TC.2021.3125226 db/journals/tc/tc71.html#JiangWDZAG22

Zhe Jiang 0004 Xiaotian Dai 0001 Pan Dong Ran Wei Dawei Yang Neil C. Audsley Nan Guan Toward an Analysable, Scalable, Energy-Efficient I/O Virtualization for Mixed-Criticality Systems. 320-333 2022 41 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2 https://doi.org/10.1109/TCAD.2021.3059566 db/journals/tcad/tcad41.html#JiangDDWYAG22

Zhe Jiang 0004 Shuai Zhao 0004 Ran Wei Dawei Yang Richard Paterson Nan Guan Yan Zhuang 0013 Neil C. Audsley Bridging the Pragmatic Gaps for Mixed-Criticality Systems in the Automotive Industry. 1116-1129 2022 41 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 4 https://doi.org/10.1109/TCAD.2021.3075422 db/journals/tcad/tcad41.html#JiangZWYPGZA22

Zhe Jiang 0004 Kecheng Yang 0001 Neil C. Audsley Nathan Fisher Weisong Shi Zheng Dong 0002 BlueScale: a scalable memory architecture for predictable real-time computing on highly integrated SoCs. 1261-1266 2022 DAC https://doi.org/10.1145/3489517.3530612 conf/dac/2022 db/conf/dac/dac2022.html#00040AFS022 Zhe Jiang 0004 Kecheng Yang 0001 Yunfeng Ma Nathan Fisher Neil C. Audsley Zheng Dong 0002 I/O-GUARD: Hardware/Software Co-Design for I/O Virtualization with Guaranteed Real-time Performance. 1159-1164 2021 DAC https://doi.org/10.1109/DAC18074.2021.9586156 conf/dac/2021 db/conf/dac/dac2021.html#00040MFA021 Wanli Chang 0001 Shuai Zhao 0004 Simon Burton 0001 Haitong Wang Ting Chen 0002 Nan Chen Neil C. Audsley Invited: Hardware/Software Co-Synthesis and Co-Optimization for Autonomous Systems. 1319-1322 2021 DAC https://doi.org/10.1109/DAC18074.2021.9586147 conf/dac/2021 db/conf/dac/dac2021.html#00010BWCCA21 Zhe Jiang 0004 Neil C. Audsley Dayu Shill Kecheng Yang 0001 Nathan Fisher Zheng Dong 0002 Brief Industry Paper: AXI-Interconnect<sup>RT</sup>: Towards a Real-Time AXI-Interconnect for System-on-Chips. 437-440 2021 RTAS https://doi.org/10.1109/RTAS52030.2021.00046 conf/rtas/2021 db/conf/rtas/rtas2021.html#0004AS0F021 Zhe Jiang 0004 Xiaotian Dai 0001 Neil C. Audsley HIART-MCS: High Resilience and Approximated Computing Architecture for Imprecise Mixed-Criticality Systems. 290-303 2021 RTSS https://doi.org/10.1109/RTSS52674.2021.00035 conf/rtss/2021 db/conf/rtss/rtss2021.html#JiangDA21

Haitong Wang Neil C. Audsley Xiaobo Sharon Hu Wanli Chang 0001 Meshed Bluetree: Time-Predictable Multimemory Interconnect for Multicore Architectures. 3787-3798 2020 39 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 11 https://doi.org/10.1109/TCAD.2020.3012239 db/journals/tcad/tcad39.html#WangAHC20

Zhe Jiang 0004 Shuai Zhao 0004 Pan Dong Dawei Yang Ran Wei Nan Guan Neil C. Audsley Re-Thinking Mixed-Criticality Architecture for Automotive Industry. 510-517 2020 ICCD https://doi.org/10.1109/ICCD50377.2020.00092 conf/iccd/2020 db/conf/iccd/iccd2020.html#JiangZDYWGA20 Haitong Wang Neil C. Audsley Wanli Chang 0001 Addressing Resource Contention and Timing Predictability for Multi-Core Architectures with Shared Memory Interconnects. 70-81 2020 RTAS https://doi.org/10.1109/RTAS48715.2020.00-16 conf/rtas/2020 db/conf/rtas/rtas2020.html#WangAC20 Zhe Jiang 0004 Kecheng Yang 0001 Nathan Fisher Neil C. Audsley Zheng Dong 0002 Pythia-MCS: Enabling Quarter-Clairvoyance in I/O-Driven Mixed-Criticality Systems. 38-50 2020 RTSS https://doi.org/10.1109/RTSS49844.2020.00015 conf/rtss/2020 db/conf/rtss/rtss2020.html#00040FAD20

Jian-Jia Chen Geoffrey Nelissen Wen-Hung Huang 0001 Maolin Yang Björn B. Brandenburg Konstantinos Bletsas 0001 Cong Liu 0005 Pascal Richard Frédéric Ridouard Neil C. Audsley Raj Rajkumar Dionisio de Niz Georg von der Brüggen Many suspensions, many problems: a review of self-suspending tasks in real-time systems. 144-207 2019 55 Real Time Syst. 1 https://doi.org/10.1007/s11241-018-9316-9 db/journals/rts/rts55.html#ChenNHYBBLRRARN19

Zhe Jiang 0004 Neil C. Audsley Pan Dong BlueIO: A Scalable Real-Time Hardware I/O Virtualization System for Many-core Embedded Systems. 19:1-19:25 2019 18 ACM Trans. Embed. Comput. Syst. 3 https://doi.org/10.1145/3309765 https://www.wikidata.org/entity/Q130897232 db/journals/tecs/tecs18.html#JiangAD19

Zhe Jiang 0004 Neil C. Audsley Pan Dong Nan Guan Xiaotian Dai 0001 Lifeng Wei MCS-IOV: Real-Time I/O Virtualization for Mixed-Criticality Systems. 326-338 2019 RTSS https://doi.org/10.1109/RTSS46320.2019.00037 conf/rtss/2019 db/conf/rtss/rtss2019.html#0004ADGDW19

Konstantinos Bletsas 0001 Neil C. Audsley Wen-Hung Huang 0001 Jian-Jia Chen Geoffrey Nelissen Errata for Three Papers (2004-05) on Fixed-Priority Scheduling with Self-Suspensions. 02:1-02:20 2018 5 Leibniz Trans. Embed. Syst. 1 https://doi.org/10.4230/LITES-v005-i001-a002 db/journals/lites/lites5.html#BletsasAHCN18

Zhe Jiang 0004 Neil C. Audsley Pan Dong BlueVisor: A Scalable Real-Time Hardware Hypervisor for Many-Core Embedded Systems. 75-84 2018 RTAS https://doi.org/10.1109/RTAS.2018.00013 https://doi.ieeecomputersociety.org/10.1109/RTAS.2018.00013 conf/rtas/2018 db/conf/rtas/rtas2018.html#0004AD18

Hashan R. Mendis Neil C. Audsley Leandro Soares Indrusiak Dynamic and Static Task Allocation for Hard Real-Time Video Stream Decoding on NoCs. 01:1-01:25 2017 4 Leibniz Trans. Embed. Syst. 2 https://doi.org/10.4230/LITES-v004-i002-a001 db/journals/lites/lites4.html#MendisAI17

Yu Chan Andy J. Wellings Ian Gray Neil C. Audsley A Distributed Stream Library for Java 8. 262-275 2017 3 IEEE Trans. Big Data 3 https://doi.org/10.1109/TBDATA.2017.2666201 http://doi.ieeecomputersociety.org/10.1109/TBDATA.2017.2666201 db/journals/tbd/tbd3.html#ChanWGA17

Manil Dev Gomony Jamie Garside Benny Akesson Neil C. Audsley Kees Goossens A Globally Arbitrated Memory Tree for Mixed-Time-Criticality Systems. 212-225 2017 66 IEEE Trans. Computers 2 https://doi.org/10.1109/TC.2016.2595581 http://doi.ieeecomputersociety.org/10.1109/TC.2016.2595581 db/journals/tc/tc66.html#GomonyGAAG17

Zhe Jiang 0004 Neil C. Audsley GPIOCP: Timing-accurate general purpose I/O controller for many-core real-time systems. 806-811 2017 DATE https://doi.org/10.23919/DATE.2017.7927099 http://dl.acm.org/citation.cfm?id=3130573 conf/date/2017 db/conf/date/date2017.html#JiangA17 Zhe Jiang 0004 Neil C. Audsley VCDC: The Virtualized Complicated Device Controller. 5:1-5:21 2017 ECRTS https://doi.org/10.4230/LIPIcs.ECRTS.2017.5 conf/ecrts/2017 db/conf/ecrts/ecrts2017.html#JiangA17

Russell Joyce Neil C. Audsley Exploring storage bottlenecks in Linux-based embedded systems. 54-59 2016 13 SIGBED Rev. 1 https://doi.org/10.1145/2907972.2907980 https://www.wikidata.org/entity/Q130855158 db/journals/sigbed/sigbed13.html#JoyceA16

Pablo Basanta-Val Neil C. Audsley Andy J. Wellings Ian Gray Norberto Fernández García Architecting Time-Critical Big-Data Systems. 310-324 2016 2 IEEE Trans. Big Data 4 https://doi.org/10.1109/TBDATA.2016.2622719 http://doi.ieeecomputersociety.org/10.1109/TBDATA.2016.2622719 db/journals/tbd/tbd2.html#Basanta-ValAWGG16

Pablo Basanta-Val Neil C. Audsley Andy J. Wellings Ian Gray Norberto Fernández García Architecting Time-Critical Big-Data Systems. 2016 abs/1611.00946 CoRR http://arxiv.org/abs/1611.00946 db/journals/corr/corr1611.html#Basanta-ValAWGG16

Pablo Basanta-Val Norberto Fernández García Andy J. Wellings Neil C. Audsley Improving the predictability of distributed stream processors. 22-36 2015 52 Future Gener. Comput. Syst. https://doi.org/10.1016/j.future.2015.03.023 db/journals/fgcs/fgcs52.html#Basanta-ValGWA15

Ian Gray Gary Plumbridge Neil C. Audsley Toolchain-based approach to handling variability in embedded multiprocessor system on chips. 82-92 2015 9 IET Comput. Digit. Tech. 1 https://doi.org/10.1049/iet-cdt.2014.0070 db/journals/iet-cdt/iet-cdt9.html#GrayPA15

Martin Schoeberl Sahar Abbaspour Benny Akesson Neil C. Audsley Raffaele Capasso Jamie Garside Kees Goossens Sven Goossens Scott Hansen Reinhold Heckmann Stefan Hepp Benedikt Huber Alexander Jordan Evangelia Kasapaki Jens Knoop Yonghui Li 0002 Daniel Prokesch Wolfgang Puffitsch Peter P. Puschner André Rocha Cláudio Silva 0002 Jens Sparsø Alessandro Tocchi T-CREST: Time-predictable multi-core architecture for embedded systems. 449-471 2015 61 J. Syst. Archit. 9 https://doi.org/10.1016/j.sysarc.2015.04.002 https://www.wikidata.org/entity/Q54957390 db/journals/jsa/jsa61.html#SchoeberlAAACGG15

Manil Dev Gomony Jamie Garside Benny Akesson Neil C. Audsley Kees Goossens A generic, scalable and globally arbitrated memory tree for shared DRAM access in real-time systems. 193-198 2015 DATE http://dl.acm.org/citation.cfm?id=2755795 https://ieeexplore.ieee.org/document/7092381/ conf/date/2015 db/conf/date/date2015.html#GomonyGAAG15 Hashan Roshantha Mendis Leandro Soares Indrusiak Neil C. Audsley Bio-inspired distributed task remapping for multiple video stream decoding on homogeneous NoCs. 1-10 2015 ESTIMedia https://doi.org/10.1109/ESTIMedia.2015.7351765 conf/estimedia/2015 db/conf/estimedia/estimedia2015.html#MendisIA15 Russell Joyce Neil C. Audsley Exploring Storage Bottlenecks in Linux-based Embedded Systems. 2015 EWiLi https://ceur-ws.org/Vol-1464/ewili15_17.pdf conf/ewili/2015 db/conf/ewili/ewili2015.html#JoyceA15 Hashan Roshantha Mendis Neil C. Audsley Leandro Soares Indrusiak Task allocation for decoding multiple hard real-time video streams on homogeneous NoCs. 246-251 2015 INDIN https://doi.org/10.1109/INDIN.2015.7281742 conf/indin/2015 db/conf/indin/indin2015.html#MendisAI15 H. Almatary Neil C. Audsley Alan Burns 0001 Reducing the Implementation Overheads of IPCP and DFP. 295-304 2015 RTSS https://doi.org/10.1109/RTSS.2015.35 https://doi.ieeecomputersociety.org/10.1109/RTSS.2015.35 conf/rtss/2015 db/conf/rtss/rtss2015.html#AlmataryAB15

Ian Gray Yu Chan Jamie Garside Neil C. Audsley Andy J. Wellings Transparent hardware synthesis of Java for predictable large-scale distributed systems. 2015 abs/1508.07142 CoRR http://arxiv.org/abs/1508.07142 db/journals/corr/corr1508.html#GrayCGAW15

Jack Whitham Neil C. Audsley Robert I. Davis 0001 Explicit reservation of cache memory in a predictable, preemptive multitasking real-time system. 120:1-120:25 2014 13 ACM Trans. Embed. Comput. Syst. 4s https://doi.org/10.1145/2523070 db/journals/tecs/tecs13.html#WhithamAD14

Yu Chan Andy J. Wellings Ian Gray Neil C. Audsley On the Locality of Java 8 Streams in Real-Time Big Data Applications. 20 2014 JTRES https://doi.org/10.1145/2661020.2661028 https://www.wikidata.org/entity/Q131123574 conf/jtres/2014 db/conf/jtres/jtres2014.html#ChanWGA14 Ian Gray Yu Chan Neil C. Audsley Andy J. Wellings Architecture-Awareness for Real-Time Big Data Systems. 151 2014 EuroMPI/ASIA https://doi.org/10.1145/2642769.2642798 conf/pvm/2014 db/conf/pvm/eurompi2014.html#GrayCAW14 Hashan Roshantha Mendis Leandro Soares Indrusiak Neil C. Audsley Predictability and Utilisation Trade-off in the Dynamic Management of Multiple Video Stream Decoding on Network-on-Chip based Homogeneous Embedded Multi-cores. 161 2014 RTNS https://doi.org/10.1145/2659787.2659826 conf/rtns/2014 db/conf/rtns/rtns2014.html#MendisIA14 Jamie Garside Neil C. Audsley WCET Preserving Hardware Prefetch for Many-Core Real-Time Systems. 193 2014 RTNS https://doi.org/10.1145/2659787.2659824 conf/rtns/2014 db/conf/rtns/rtns2014.html#GarsideA14 Neil C. Audsley Yu Chan Ian Gray Andy J. Wellings Real-time big data: the Juniper approach. 2014 REACTION https://hdl.handle.net/10016/19686 conf/rtss/2014reaction db/conf/rtss/reaction2014.html#AudsleyCGW14 Neil C. Audsley Sanjoy K. Baruah Real-Time Systems - the past, the present, and the future. 1-205 CreateSpace Independent Publishing Platform 2013 978-1-482-70778-6

Gary Plumbridge Jack Whitham Neil C. Audsley Blueshell: a platform for rapid prototyping of multiprocessor NoCs and accelerators. 107-117 2013 41 SIGARCH Comput. Archit. News 5 https://doi.org/10.1145/2641361.2641379 db/journals/sigarch/sigarch41.html#PlumbridgeWA13

Jamie Garside Neil C. Audsley Prefetching across a shared memory tree within a Network-on-Chip architecture. 1-4 2013 ISSoC https://doi.org/10.1109/ISSoC.2013.6675268 conf/issoc/2013 db/conf/issoc/issoc2013.html#GarsideA13 Gary Plumbridge Neil C. Audsley Programming FPGA based NoCs with Java. 1-6 2013 ReConFig https://doi.org/10.1109/ReConFig.2013.6732323 conf/reconfig/2013 db/conf/reconfig/reconfig2013.html#PlumbridgeA13 Jack Whitham Neil C. Audsley Optimal Program Partitioning for Predictable Performance. 122-131 2012 ECRTS https://doi.org/10.1109/ECRTS.2012.18 https://doi.ieeecomputersociety.org/10.1109/ECRTS.2012.18 conf/ecrts/2012 db/conf/ecrts/ecrts2012.html#WhithamA12 Neil C. Audsley Ian Gray Andrea Acquaviva Ralph Haines ToucHMore toolchain and system software for energy and variability customisation. 148-155 2012 HLDVT https://doi.org/10.1109/HLDVT.2012.6418257 https://doi.ieeecomputersociety.org/10.1109/HLDVT.2012.6418257 conf/hldvt/2012 db/conf/hldvt/hldvt2012.html#AudsleyGAH12 Leandro Soares Indrusiak Imran Rafiq Quadri Ian Gray Neil C. Audsley Andrey Sadovykh A MARTE subset to enable application-platform co-simulation and schedulability analysis of NoC-based embedded systems. 1-7 2012 ReCoSoC https://doi.org/10.1109/ReCoSoC.2012.6322898 conf/recosoc/2012 db/conf/recosoc/ReCoSoC2012.html#IndrusiakQGAS12 Gary Plumbridge Neil C. Audsley Translating Java for resource constrained embedded systems. 1-8 2012 ReCoSoC https://doi.org/10.1109/ReCoSoC.2012.6322868 conf/recosoc/2012 db/conf/recosoc/ReCoSoC2012.html#PlumbridgeA12 Ian Gray Neil C. Audsley Challenges in software development for multicore System-on-Chip development. 115-121 2012 RSP https://doi.org/10.1109/RSP.2012.6380699 conf/rsp/2012 db/conf/rsp/rsp2012.html#GrayA12 Jack Whitham Neil C. Audsley Explicit Reservation of Local Memory in a Predictable, Preemptive Multitasking Real-Time System. 3-12 2012 IEEE Real-Time and Embedded Technology and Applications Symposium https://doi.org/10.1109/RTAS.2012.19 https://doi.ieeecomputersociety.org/10.1109/RTAS.2012.19 conf/rtas/2012 db/conf/rtas/rtas2012.html#WhithamA12 Ian Gray Neil C. Audsley Developing Predictable Real-Time Embedded Systems Using AnvilJ. 219-228 2012 IEEE Real-Time and Embedded Technology and Applications Symposium https://doi.org/10.1109/RTAS.2012.23 https://doi.ieeecomputersociety.org/10.1109/RTAS.2012.23 conf/rtas/2012 db/conf/rtas/rtas2012.html#GrayA12 Jack Whitham Robert I. Davis 0001 Neil C. Audsley Sebastian Altmeyer Claire Maiza Investigation of Scratchpad Memory for Preemptive Multitasking. 3-13 2012 RTSS https://doi.org/10.1109/RTSS.2012.54 https://doi.ieeecomputersociety.org/10.1109/RTSS.2012.54 conf/rtss/2012 db/conf/rtss/rtss2012.html#WhithamDAAM12 Ian Gray Nicholas Matragkas Neil C. Audsley Leandro Soares Indrusiak Dimitris S. Kolovos Richard F. Paige Model-Based Hardware Generation and Programming - The MADES Approach. 88-96 2011 ISORC Workshops https://doi.org/10.1109/ISORCW.2011.20 https://doi.ieeecomputersociety.org/10.1109/ISORCW.2011.20 conf/isorc/2011w db/conf/isorc/isorc2011w.html#GrayMAIKP11 Ian Gray Neil C. Audsley Targeting complex embedded architectures by combining the multicore communications API (mcapi) with compile-time virtualisation. 51-60 2011 LCTES https://doi.org/10.1145/1967677.1967685 https://doi.org/10.1145/2016603.1967685 https://www.wikidata.org/entity/Q130861758 conf/lctrts/2011 db/conf/lctrts/lctes2011.html#GrayA11 Gary Plumbridge Neil C. Audsley Extending Java for heterogeneous embedded system description. 1-6 2011 ReCoSoC https://doi.org/10.1109/ReCoSoC.2011.5981527 conf/recosoc/2011 db/conf/recosoc/ReCoSoC2011.html#PlumbridgeA11

Jack Whitham Neil C. Audsley Time-Predictable Out-of-Order Execution for Hard Real-Time Systems. 1210-1223 2010 59 IEEE Trans. Computers 9 https://doi.org/10.1109/TC.2010.109 http://doi.ieeecomputersociety.org/10.1109/TC.2010.109 db/journals/tc/tc59.html#WhithamA10

Ke Yu Neil C. Audsley Combining Behavioural Real-time Software Modelling with the OSCI TLM-2.0 Communication Standard. 1825-1832 2010 CIT https://doi.org/10.1109/CIT.2010.315 https://doi.ieeecomputersociety.org/10.1109/CIT.2010.315 conf/IEEEcit/2010 db/conf/IEEEcit/IEEEcit2010.html#YuA10 Jack Whitham Neil C. Audsley Investigating Average versus Worst-Case Timing Behavior of Data Caches and Data Scratchpads. 165-174 2010 ECRTS https://doi.org/10.1109/ECRTS.2010.21 https://doi.ieeecomputersociety.org/10.1109/ECRTS.2010.21 conf/ecrts/2010 db/conf/ecrts/ecrts2010.html#WhithamA10 Jack Whitham Neil C. Audsley Studying the Applicability of the Scratchpad Memory Management Unit. 205-214 2010 IEEE Real-Time and Embedded Technology and Applications Symposium https://doi.org/10.1109/RTAS.2010.21 https://doi.ieeecomputersociety.org/10.1109/RTAS.2010.21 conf/rtas/2010 db/conf/rtas/rtas2010.html#WhithamA10 Ian Gray Neil C. Audsley Supporting islands of coherency for highly-parallel embedded architectures using compile-time virtualisation. 8 2010 SCOPES https://doi.org/10.1145/1811212.1811223 conf/scopes/2010 db/conf/scopes/scopes2010.html#GrayA10

Michael Burke Neil C. Audsley Distributed Fault-Tolerant Avionic Systems - A Real-Time Perspective http://arxiv.org/abs/1004.1324 2010 CoRR abs/1004.1324 db/journals/corr/corr1004.html#abs-1004-1324

Ian Gray Neil C. Audsley Exposing non-standard architectures to embedded software using compile-time virtualisation. 147-156 2009 CASES https://doi.org/10.1145/1629395.1629417 https://www.wikidata.org/entity/Q130866732 conf/cases/2009 db/conf/cases/cases2009.html#GrayA09 Jack Whitham Neil C. Audsley Implementing time-predictable load and store operations. 265-274 2009 EMSOFT https://doi.org/10.1145/1629335.1629371 conf/emsoft/2009 db/conf/emsoft/emsoft2009.html#WhithamA09 Nick Gasson Neil C. Audsley Synthesis of the SR programming language for complex FPGAs. 617-621 2009 FPL https://doi.org/10.1109/FPL.2009.5272377 conf/fpl/2009 db/conf/fpl/fpl2009.html#GassonA09 Ke Yu Neil C. Audsley A Mixed Timing System-Level Embedded Software Modelling and Simulation Approach. 193-200 2009 ICESS https://doi.org/10.1109/ICESS.2009.9 https://doi.ieeecomputersociety.org/10.1109/ICESS.2009.9 conf/icess/2009 db/conf/icess/icess2009.html#YuA09 Jack Whitham Neil C. Audsley Martin Schoeberl Using hardware methods to improve time-predictable performance in real-time Java systems. 130-139 2009 JTRES https://doi.org/10.1145/1620405.1620424 conf/jtres/2009 db/conf/jtres/jtres2009.html#WhithamAS09 Jack Whitham Neil C. Audsley Using Trace Scratchpads to Reduce Execution Times in Predictable Real-Time Architectures. 305-316 2008 IEEE Real-Time and Embedded Technology and Applications Symposium https://doi.org/10.1109/RTAS.2008.11 https://doi.ieeecomputersociety.org/10.1109/RTAS.2008.11 conf/rtas/2008 db/conf/rtas/rtas2008.html#WhithamA08 Jack Whitham Neil C. Audsley Forming Virtual Traces for WCET Analysis and Reduction. 377-386 2008 RTCSA https://doi.org/10.1109/RTCSA.2008.26 https://doi.ieeecomputersociety.org/10.1109/RTCSA.2008.26 conf/rtcsa/2008 db/conf/rtcsa/rtcsa2008.html#WhithamA08 Jack Whitham Neil C. Audsley Predictable Out-of-Order Execution Using Virtual Traces. 445-455 2008 RTSS https://doi.org/10.1109/RTSS.2008.9 https://doi.ieeecomputersociety.org/10.1109/RTSS.2008.9 conf/rtss/2008 db/conf/rtss/rtss2008.html#WhithamA08 Jack Whitham Neil C. Audsley Traces as a Solution to Pessimism and Modeling Costs in WCET Analysis. 2008 WCET http://drops.dagstuhl.de/opus/volltexte/2008/1666 conf/wcet/2008 db/conf/wcet/wcet2008.html#WhithamA08 Michael Ward Neil C. Audsley Suggestions for stream based parallel systems in Ada. 82-87 2007 IRTAW https://doi.org/10.1145/1316003.1316021 conf/irtaw/2007 db/conf/irtaw/irtaw2007.html#WardA05 Paul Simon Usher Neil C. Audsley Efficiently Accessing Remote Resources in Distributed Real-Time Systems. 57-62 2007 conf/rtcsa/2007 RTCSA https://doi.org/10.1109/RTCSA.2007.36 https://doi.ieeecomputersociety.org/10.1109/RTCSA.2007.36 db/conf/rtcsa/rtcsa2007.html#UsherA07 Ameet Patil Neil C. Audsley An Efficient Page Lock/Release OS Mechanism for Out-of-Core Embedded Applications. 81-88 2007 conf/rtcsa/2007 RTCSA https://doi.org/10.1109/RTCSA.2007.20 https://doi.ieeecomputersociety.org/10.1109/RTCSA.2007.20 db/conf/rtcsa/rtcsa2007.html#PatilA07 Michael Ward Neil C. Audsley A Deterministic Implementation Process for Accurate and Traceable System Timing and Space Analysis. 432-440 2007 conf/rtcsa/2007 RTCSA https://doi.org/10.1109/RTCSA.2007.6 https://doi.ieeecomputersociety.org/10.1109/RTCSA.2007.6 db/conf/rtcsa/rtcsa2007.html#WardA07

Konstantinos Bletsas 0001 Neil C. Audsley Optimal priority assignment in the presence of blocking. 83-86 2006 99 Inf. Process. Lett. 3 https://doi.org/10.1016/j.ipl.2006.03.002 db/journals/ipl/ipl99.html#BletsasA06

Jack Whitham Neil C. Audsley Integrating Custom Instruction Specifications into C Development Processes. 431-442 2006 conf/arc/2006 ARC https://doi.org/10.1007/11802839_52 db/conf/arc/arc2006.html#WhithamA06 Neil C. Audsley Michael Ward Syntax-driven implementation of software programming language control constructs and expressions on FPGAs. 253-260 2006 conf/cases/2006 CASES https://doi.org/10.1145/1176760.1176792 db/conf/cases/cases2006.html#AudsleyW06 Neil C. Audsley Rui Gao Ameet Patil Towards a File System Interface for Mobile Resources in Networked Embedded Systems. 913-920 2006 conf/etfa/2006 ETFA https://doi.org/10.1109/ETFA.2006.355202 db/conf/etfa/etfa2006.html#AudsleyGP06 Andrew Borg Rui Gao Neil C. Audsley A co-design strategy for embedded Java applications based on a hardware interface with invocation semantics. 58-67 2006 JTRES https://doi.org/10.1145/1167999.1168010 conf/jtres/2006 db/conf/jtres/jtres2006.html#BorgGA06 Jack Whitham Neil C. Audsley MCGREP - A Predictable Architecture for Embedded Real-Time Systems. 13-24 2006 conf/rtss/2006 RTSS https://doi.org/10.1109/RTSS.2006.28 https://doi.ieeecomputersociety.org/10.1109/RTSS.2006.28 db/conf/rtss/rtss2006.html#WhithamA06 Paul Simon Usher Neil C. Audsley Efficient Access of Remote Resources in Embedded Networked Computer Systems. 632-641 2005 conf/euc/2005w EUC Workshops https://doi.org/10.1007/11596042_66 db/conf/euc/eucw2005.html#UsherA05 Ameet Patil Neil C. Audsley Implementing Application Specific RTOS Policies using Reflection. 438-447 2005 conf/rtas/2005 IEEE Real-Time and Embedded Technology and Applications Symposium https://doi.org/10.1109/RTAS.2005.27 https://doi.ieeecomputersociety.org/10.1109/RTAS.2005.27 db/conf/rtas/rtas2005.html#PatilA05 Konstantinos Bletsas 0001 Neil C. Audsley Extended Analysis with Reduced Pessimism for Systems with Limited Parallelism. 525-531 2005 conf/rtcsa/2005 RTCSA https://doi.org/10.1109/RTCSA.2005.48 https://doi.ieeecomputersociety.org/10.1109/RTCSA.2005.48 db/conf/rtcsa/rtcsa2005.html#BletsasA05 Neil C. Audsley Konstantinos Bletsas 0001 Fixed Priority Timing Analysis of Real-Time Systems with Limited Parallelism. 231-238 2004 conf/ecrts/2004 ECRTS https://doi.ieeecomputersociety.org/10.1109/ECRTS.2004.12 db/conf/ecrts/ecrts2004.html#AudsleyB04 Iain Bate Neil C. Audsley Flexible Design of Complex High-Integrity Systems Using Trade Offs. 22-31 2004 conf/hase/2004 HASE https://doi.org/10.1109/HASE.2004.1281727 https://doi.ieeecomputersociety.org/10.1109/HASE.2004.1281727 db/conf/hase/hase2004.html#BateA04 Neil C. Audsley Steven Crook-Dawkins Model driven architecture as a facilitator for automatic code generation. 505-510 2004 conf/iastedSE/2004 IASTED Conf. on Software Engineering db/conf/iastedSE/se2004.html#AudsleyC04 Neil C. Audsley Iain Bate Steven Crook-Dawkins John A. McDermid Improving certification capability through automatic code generation. 511-520 2004 conf/ifip/2004bis IFIP Congress Topical Sessions db/conf/ifip/ifip2004bis.html#AudsleyBCM04 https://doi.org/10.1007/978-1-4020-8157-6_46 Neil C. Audsley Konstantinos Bletsas 0001 Realistic Analysis of Limited Parallel Software / Hardware Implementations. 388-395 2004 conf/rtas/2004 IEEE Real-Time and Embedded Technology and Applications Symposium https://doi.org/10.1109/RTTAS.2004.1317285 https://doi.ieeecomputersociety.org/10.1109/RTTAS.2004.1317285 db/conf/rtas/rtas2004.html#AudsleyB04 Neil C. Audsley R. E. Baker A selection mechanism based upon the explicit expression of preference. 13-17 2004 conf/woss/2004 WOSS https://doi.org/10.1145/1075405.1075408 db/conf/woss/woss2004.html#AudsleyB04 Michael Ward Neil C. Audsley Language Issues of Compiling Ada to Hardware. 88-99 2002 conf/adaEurope/2002 Ada-Europe https://doi.org/10.1007/3-540-48046-3_7 db/conf/adaEurope/adaEurope2002.html#WardA02 Michael Ward Neil C. Audsley Hardware implementation of the Ravenscar Ada tasking profile. 59-68 2002 conf/cases/2002 CASES https://doi.org/10.1145/581630.581641 db/conf/cases/cases2002.html#WardA02 Michael Ward Neil C. Audsley Language issues of compiling Ada to hardware. 85-94 2002 IRTAW https://doi.org/10.1145/584418.584430 conf/irtaw/2002 db/conf/irtaw/irtaw2002.html#WardA02 Michael Ward Neil C. Audsley Hardware Implementation of Programming Languages for Real-Tim. 276-285 2002 conf/rtas/2002 IEEE Real Time Technology and Applications Symposium https://doi.org/10.1109/RTTAS.2002.1137403 https://doi.ieeecomputersociety.org/10.1109/RTTAS.2002.1137403 db/conf/rtas/rtas2002.html#WardA02

Neil C. Audsley On priority assignment in fixed priority scheduling. 39-44 2001 79 Inf. Process. Lett. 1 db/journals/ipl/ipl79.html#Audsley01 https://doi.org/10.1016/S0020-0190(00)00165-4 https://www.wikidata.org/entity/Q127976062

Michael Ward Neil C. Audsley Hardware compilation of sequential Ada. 99-107 2001 conf/cases/2001 CASES https://doi.org/10.1145/502217.502233 db/conf/cases/cases2001.html#WardA01 Alan Grigg Neil C. Audsley Reservation-Based Timing Analysis -A Practical Engineering Approach for Distributed Real-Time Systems. 103-110 2001 conf/ecbs/2001 ECBS https://doi.org/10.1109/ECBS.2001.922411 https://doi.ieeecomputersociety.org/10.1109/ECBS.2001.922411 db/conf/ecbs/ecbs2001.html#GriggA01 M. D. Bennett Neil C. Audsley Predictable and Efficient Virtual Addressing for Safety-Critical Real-Time Systems. 183-190 2001 conf/ecrts/2001 ECRTS https://doi.org/10.1109/EMRTS.2001.934028 https://doi.ieeecomputersociety.org/10.1109/EMRTS.2001.934028 db/conf/ecrts/ecrts2001.html#BennettA01 Neil C. Audsley Andy J. Wellings Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems. 33-39 2000 IRTAW https://doi.org/10.1145/374370.374378 conf/irtaw/2000 db/conf/irtaw/irtaw2000.html#AudsleyW00

Alan Grigg Neil C. Audsley Towards a scheduling and timing analysis solution for integrated modular avionic systems. 423-431 1999 22 Microprocess. Microsystems 8 https://doi.org/10.1016/S0141-9331(98)00101-X db/journals/mam/mam22.html#GriggA99

Neil C. Audsley I. J. Bate Alan Grigg Portable Code for Complex Critical Systems . 111- 1999 conf/rtcsa/1999 RTCSA https://doi.org/10.1109/RTCSA.1999.811200 https://doi.ieeecomputersociety.org/10.1109/RTCSA.1999.811200 db/conf/rtcsa/rtcsa1999.html#AudsleyBG99

Neil C. Audsley Alan Burns 0001 On Fixed Priority Scheduling, Offsets and Co-Prime Task Periods. 65-69 1998 67 Inf. Process. Lett. 2 db/journals/ipl/ipl67.html#AudsleyB98 https://doi.org/10.1016/S0020-0190(98)00087-8

Neil C. Audsley Alan Grigg Timing analysis of the ARINC 629 databus for real-time applications. 55-61 1997 21 Microprocess. Microsystems 1 https://doi.org/10.1016/S0141-9331(97)00020-3 db/journals/mam/mam21.html#AudsleyG97

Neil C. Audsley Alan Burns 0001 Robert I. Davis 0001 D. J. Scholefield Andy J. Wellings Integrating optional software components into hard real-time systems. 133-140 1996 11 Softw. Eng. J. 3 https://doi.org/10.1049/sej.1996.0019 db/journals/iee/iee-sej11.html#AudsleyBDSW96

Neil C. Audsley I. J. Bate Alan Burns 0001 Putting fixed priority scheduling theory into engineering practice for safety critical applications. 2-10 1996 conf/rtas/1996 IEEE Real Time Technology and Applications Symposium https://doi.org/10.1109/RTTAS.1996.509517 https://doi.ieeecomputersociety.org/10.1109/RTTAS.1996.509517 db/conf/rtas/rtas1996.html#AudsleyBB96 Neil C. Audsley Andy J. Wellings Analysing APEX applications. 39-44 1996 conf/rtss/1996 RTSS https://doi.org/10.1109/REAL.1996.563698 https://doi.ieeecomputersociety.org/10.1109/REAL.1996.563698 db/conf/rtss/rtss1996.html#AudsleyW96

Neil C. Audsley Alan Burns 0001 Mike F. Richardson Andy J. Wellings Data Consistency in Hard Real-Time Systems. 1995 19 Informatica (Slovenia) 2 db/journals/informaticaSI/informaticaSI19.html#AudsleyBRW95

Neil C. Audsley Alan Burns 0001 Robert I. Davis 0001 Ken Tindell Andy J. Wellings Fixed Priority Pre-emptive Scheduling: An Historical Perspective. 173-198 1995 8 Real Time Syst. 2-3 db/journals/rts/rts8.html#AudsleyBDTW95 https://doi.org/10.1007/BF01094342

Alan Burns 0001 Neil C. Audsley Andy J. Wellings Real-time distributed computing. 34-40 1995 conf/ftdcs/1995 FTDCS https://doi.org/10.1109/FTDCS.1995.524966 https://doi.ieeecomputersociety.org/10.1109/FTDCS.1995.524966 db/conf/ftdcs/ftdcs1995.html#BurnsAW95 Robert I. Davis 0001 Sasikumar Punnekkat Neil C. Audsley Alan Burns 0001 Flexible scheduling for adaptable real-time systems. 230-239 1995 conf/rtas/1995 IEEE Real Time Technology and Applications Symposium https://doi.org/10.1109/RTTAS.1995.516220 https://doi.ieeecomputersociety.org/10.1109/RTTAS.1995.516220 db/conf/rtas/rtas1995.html#DavisPAB95

Neil C. Audsley Alan Burns 0001 Mike F. Richardson Andy J. Wellings STRESS: a Simulator for Hard Real-time Systems. 543-564 1994 24 Softw. Pract. Exp. 6 db/journals/spe/spe24.html#AudsleyBRW94 https://doi.org/10.1002/spe.4380240603

Neil C. Audsley Robert I. Davis 0001 Alan Burns 0001 Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems. 12-21 1994 conf/rtss/1994 RTSS db/conf/rtss/rtss1994.html#AudsleyDB94 https://doi.org/10.1109/REAL.1994.342734 https://doi.ieeecomputersociety.org/10.1109/REAL.1994.342734

Neil C. Audsley Alan Burns 0001 Mike M. Richardson Ken Tindell Andy J. Wellings Applying new scheduling theory to static priority pre-emptive scheduling. 284-292 1993 8 Softw. Eng. J. 5 https://doi.org/10.1049/sej.1993.0034 db/journals/iee/iee-sej8.html#AudsleyBRTW93

Neil C. Audsley Ken Tindell Alan Burns 0001 The End Of The Line For Static Cyclic Scheduling? 36-41 1993 RTS https://doi.org/10.1109/EMWRT.1993.639042 conf/ecrts/1993 db/conf/ecrts/rts1993.html#AudsleyTB93 Neil C. Audsley Alan Burns 0001 Mike F. Richardson Andrew J. Wellings Absolute and relative temporal constraints in hard real-time databases. 148-153 1992 RTS https://doi.org/10.1109/EMWRT.1992.637486 conf/ecrts/1992 db/conf/ecrts/rts1992.html#AudsleyBRW92 Sahar Abbaspour Andrea Acquaviva Benny Akesson H. Almatary Sebastian Altmeyer R. E. Baker Sanjoy BaruahSanjoy K. Baruah Pablo Basanta-Val Iain BateI. J. Bate M. D. Bennett Konstantinos Bletsas 0001 Andrew Borg Björn B. Brandenburg Georg von der Brüggen Michael Burke Alan Burns 0001 Simon Burton 0001 Raffaele Capasso Yu Chan Wanli Chang 0001 Jian-Jia Chen Nan Chen Ting Chen 0002 Steven Crook-Dawkins Xiaotian Dai 0001 Robert I. Davis 0001 Pan Dong Zheng Dong 0002 Nathan Fisher Rui Gao Norberto Fernández García Jamie Garside Nick Gasson Manil Dev Gomony Kees Goossens Sven Goossens Ian Gray Alan Grigg Zonghua Gu 0001 Nan Guan Ralph Haines Scott Hansen Reinhold Heckmann Stefan Hepp Xiaobo Sharon Hu Wen-Hung Kevin HuangWen-Hung Huang 0001 Benedikt Huber Leandro Soares Indrusiak Zhe Jiang 0004 Alexander Jordan Russell Joyce Evangelia Kasapaki Jens Knoop Dimitrios S. KolovosDimitris S. Kolovos Yonghui Li 0002 Cong Liu 0005 Yunfeng Ma Claire MaïzaClaire Maiza Nicholas Drivalos MatragkasNicholas Matragkas John A. McDermid Hashan R. MendisHashan Roshantha Mendis Geoffrey Nelissen Dionisio de Niz Richard F. Paige Richard Paterson Ameet Patil Gary Plumbridge Wolfgang Puffitsch Sasikumar Punnekkat Peter P. Puschner Imran Rafiq Quadri Ragunathan RajkumarRaj Rajkumar Pascal Richard Mike F. Richardson Mike M. Richardson Frédéric Ridouard André Rocha Andrey Sadovykh Martin Schoeberl D. J. Scholefield Weisong Shi Dayu Shill Cláudio Silva 0002 Jens Sparsø Ken Tindell Alessandro Tocchi Paul Simon Usher Haitong Wang Yankai Wang Michael Ward Lifeng Wei Ran Wei Andy J. WellingsAndrew J. Wellings Jack Whitham Daniel Wiltsche-ProkeschDaniel Prokesch Dawei Yang Kecheng Yang 0001 Maolin Yang Ke Yu Qingling Zhao Shuai Zhao 0004 Dizhong Zhu Yan Zhuang 0013