Papers published in 2019

Semi-Clairvoyance in Mixed-Criticality Scheduling
Kunal Agrawa, Sanjoy Baruah and Alan Burns

The AirTight Protocol for Mixed Criticality Wireless CPS
Alan Burns, Harbin James Robert, Davis Robert Ian, Soares Indrusiak Leandro, Bate Iain John and Griffin David Jack

Latency and Lifetime Enhancements in IWSN: a Q-Learning Approach for Graph Routing
Gustavo Künzel, Soares Indrusiak Leandro and Pereira Carlos Eduardo

Extensive Analysis of a Real-Time Dense Wired Sensor Network Based on Traffic Shaping
Joao Loureiro, Raghuraman Rangarajan, Borislav Nikolic, Soares Indrusiak Leandro and Eduardo Tovar

Fault-tolerant Transmission of Messages of Differing Criticalities Across a Shared Communication Media
Kunal Agrawa, Sanjoy Baruah and Alan Burns

Validating High Level Simulation Results against Experimental Data and Low Level Simulation: A Case Study
Griffin David Jack, Harbin James Robert, Alan Burns, Bate Iain John, Davis Robert Ian and Soares Indrusiak Leandro

From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain (Invited Paper): From Java to Real-Time Java: A Model-Driven Methodology
Wanli Chang, Shuai Zhao, Ran Wei, Wellings Andrew John and Alan Burns

Incorporating Robustness and Resilience into Mixed-Criticality Scheduling Theory
Sanjoy Baruah and Alan Burns

Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems
Law Stephen Andrew, Bate Iain John and Lesage Benjamin Michael Jean-Rene

An XML-based Factory Description Language for Smart Manufacturing Plants in Industry 4.0: Factory Description Language
Shuai Zhao, Piotr Dziurzanski and Soares Indrusiak Leandro

Integrated Process Planning and Scheduling in Commercial Smart Kitchens
Piotr Dziurzanski, Shuai Zhao and Soares Indrusiak Leandro

A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems
Claire Maiza, Hamza Rihani, Juan Rivas, joel goossens, Sebastian Altmeyer and Davis Robert Ian

Cloud-based Integrated Process Planning and Scheduling Optimisation via Asynchronous Islands
Shuai Zhao, Haitao Mei, Piotr Dziurzanski, Przewozniczek Michal Witold and Soares Indrusiak Leandro

Side-Channel Protected MPSoC through Secure Real-Time Networks-on-Chip
Soares Indrusiak Leandro, Harbin James Robert, Cezar Reinbrecht and Sepulveda Martha Johanna

Tools and workloads for many-core computing
Amit Singh, Piotr Dziurzanski, Geoff Merrett and Bashir Al-Hashimi

From Java to real-time Java: a model-driven methodology with automated toolchain
Wanli Chang, Shuai Zhao, Ran Wei, Wellings Andrew John and Alan Burns

A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems
Davis Robert Ian and Liliana Cucu-Grosjean

A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems
Davis Robert Ian and Liliana Cucu-Grosjean

Deriving specifications of control programs for cyber physical systems
Alan Burns, Ian Hayes and Cliff Jones

Solving the Multi-Objective Flexible Job-Shop Scheduling Problem with Alternative Recipes for a Chemical Production Process
Piotr Dziurzanski, Shuai Zhao, Jerry Swan, Soares Indrusiak Leandro, Sebastian Scholze and Karl Krone

Value-driven Manufacturing Planning using Cloud-based Evolutionary Optimisation
Shuai Zhao, Piotr Dziurzanski and Soares Indrusiak Leandro

A Semi-Partitioned Model for Mixed Criticality Systems
Hao Xu and Alan Burns

Cloud-based Dynamic Distributed Optimisation of Integrated Process Planning and Scheduling in Smart Factories
Shuai Zhao, Piotr Dziurzanski, Michal Przewozniczek, Marcin Komarnicki and Soares Indrusiak Leandro

Multi-core cyclic executives for safety-critical systems
Calvin Deutschbein, Fleming Thomas David, Alan Burns and Sanjoy Baruah

Probabilistic Analysis
Dorin Maxim, Liliana Cucu-Grosjean and Davis Robert Ian

Real-Time Analysis of Priority-Preemptive NoCs with Arbitrary Buffer Sizes and Router Delays
Borislav Nikolic, Sebastian Tobuschat, Soares Indrusiak Leandro, Rolf Ernst and Alan Burns

SCJ-Circus: specification and refinement of Safety-Critical Java programs
Miyazawa Alvaro Heiji, Cavalcanti Ana Lucia Caneca and Wellings Andrew John

BlueIO: A Scalable Real-Time Hardware I/O Virtualization System for Many-core Embedded Systems
Zhe Jiang and Audsley Neil Cameron