The following journal-track papers were presented at the 2022 Conference and included in a Special Issue of the Journal of Systems Architecture. The papers marked [Open Access] are already available to all viewers, courtesy of Ada-Europe. Others will be in the near future and will be marked accordingly in this page.

J. Hugues
Special issue on Reliable Software Technologies (AEiC 2022), Foreword Editorial
Journal of Systems Architecture, 135, 2023, 102809, DOI: 10.1016/j.sysarc.2022.102809.

• A. Amurrio, J. J. Gutiérrez, M. Aldea, E. Azket
  Partition window assignment in hierarchically scheduled time-partitioned distributed real-time systems with multipath flows
  Journal of Systems Architecture, 130, 2022, 102671, doi:10.1016/j.sysarc.2022.102671. [Open Access]
• H. Pérez, J. J. Gutiérrez
  EDF scheduling for distributed systems built upon the ieee 802.1as clock - a theoretical-practical comparison
  Journal of Systems Architecture, 132, 2022, 102742, doi: j.sysarc.2022.102742. [Open Access]
• S. Rubini, V.-A. Nicolas, F. Singhoff, A. Plantec, H. N. Tran, P. Dissaux
  Specification of schedulability assumptions to leverage multiprocessor analysis
  Journal of Systems Architecture, 133, 2022, 102761. doi:10.1016/j.sysarc.2022.102761.
• D. García Villaescusa, M. Aldea Rivas, M. González Harbour
  Response-time analysis of mesh-based many-core systems
  Journal of Systems Architecture, Volume 134, 2023, 102762, doi: 10.1016/j.sysarc.2022.102762.
• F. U. Muram, M. A. Javed
  ATTEST: Automating the review and update of assurance case arguments
  Journal of Systems Architecture, 134, 2023 102781. doi:10.1016/j.sysarc.2022.102781. [Open Access]
• M. Cui, A. Kritikakou, L. Mo, E. Casseau
  Near-optimal energy- efficient partial-duplication task mapping of real-time parallel applications
  Journal of Systems Architecture, 134, 2023, 102790. doi:10.1016/j.sysarc.2022.102790.
• J. Belt, J. Hatcliff, Robby, J. Shackleton, J. Carciofini, T. Carpenter, E. Mercer, I. Amundson, J. Babar, D. Cofer, D. Hardin, K. Hoech, K. Slind, I. Kuz, K. Mcleod
  Model-driven development for the sel4 microkernel using the HAMR framework
  Journal of Systems Architecture 134, 2023, 102789. doi:10.1016/j.sysarc.2022.102789.
• O. Gilles, D. Gracia Perez, P.-A. Brameret, V. Lacroix
  Securing IIOT communications using OPC UA PubSub and trusted platform modules
  Journal of Systems Architecture, 134, 2023, 102797. doi:10.1016/j.sysarc.2022.102797.

The following journal-track papers were presented at the Conference and included in a Special Issue of the Journal of Systems Architecture. The papers marked [Open Access] are available to all viewers, courtesy of Ada-Europe.

J. Javier Gutiérrez and Mario Aldea Rivas (University of Cantabria, Spain)
Special Issue on Reliable Software Technologies (AEiC2021)
Journal of Systems Architecture, Volume 124, 2022, 102439, doi: 10.1016/j.sysarc.2022.102439

• Daniel R. Torres, Cristian Martín, Bartolomé Rubio, Manuel Díaz
  An open source framework based on Kafka-ML for Distributed DNN inference over the Cloud-to-Things continuum
  JSA, 118 (2021), Article 102214, DOI: 10.1016/j.sysarc.2021.102214 [Open Access]
• Laurent Pautet, Thomas Robert, Samuel Tardieu
  Litmus-RT plugins for global static scheduling of mixed criticality systems
  JSA, 118 (2021), Article 102221, DOI: 10.1016/j.sysarc.2021.102221
• D. Perale, T. Vardanega
  Removing bias from the judgment day: A Ravenscar-based toolbox for quantitative comparison of EDF-to-RM uniprocessor scheduling
  JSA, 119 (2021), Article 102236, DOI: 10.1016/j.sysarc.2021.102236
• Soheila Sheikh Bahaei, Barbara Gallina, Marko Vidović
  A case study for risk assessment in AR-equipped socio-technical systems
  JSA, 119 (2021), Article 102250, DOI: 10.1016/j.sysarc.2021.102250 [Open Access]
• Javier Fernández, Jon Perez, Irune Agirre, Imanol Allende, Jaume Abella, Francisco J. Cazorla
  Towards functional safety compliance of matrix–matrix multiplication for machine learning-based autonomous systems
  JSA, 121 (2021), Article 102298, DOI: 10.1016/j.sysarc.2021.102298
• Muhammad Atif Javed, Faiz Ul Muram, Sasikumar Punnekkat, Hans Hansson
  Safe and secure platooning of Automated Guided Vehicles in Industry 4.0
  JSA, 121 (2021), Article 102309, DOI: 10.1016/j.sysarc.2021.102309 [Open Access]
• Jerome Hugues
  A correct-by-construction AADL runtime for the Ravenscar profile using SPARK2014
  JSA, 123 (2022), Article 102376, DOI: 10.1016/j.sysarc.2021.102376 [Open Access]

The conference was cancelled owing to the COVID-19 pandemic. The journal-track of the conference, however, was supported, with submissions, peer reviews, acceptance and publication in a Special Issue of the Journal of Systems Architecture dedicated to the conference.

The following papers were included in said Special Issue. All of them have been granted Open Access status, with sponsorship from Ada-Europe.

Mario Aldea Rivas (University of Cantabria, Spain),
Special Issue on Advances in Reliable Software Technologies
Journal of Systems Architecture, Volume 119, October 2021, 102269, DOI: 10.1016/j.sysarc.2021.102269.

• Muhammad Atif Javed, Faiz Ul Muram, Hans Hansson, Sasikumar Punnekkat, Henrik Thane
  Towards dynamic safety assurance for Industry 4.0
  JSA, 114 (2021), Article 101914, 10.1016/j.sysarc.2020.101914/
• Oscar R. Polo, Jonatan Sanchez, Antonio da Silva, Pablo Parra, Agusto Martinez HellÃin, Alberto Carrasco, Sebastian Sanchez
  Reliability-oriented design of on-board satellite boot software against single event effects
  JSA, 114 (2021), Article 101920, 10.1016/j.sysarc.2020.101920
• Mourad Dridi, Frank Singhoff, Stephane Rubini, Jean-Philippe Diguet
  ECTM: A network-on-chip communication model to combine task and message schedulability analysis
  JSA, 114 (2021), Article 101931, 10.1016/j.sysarc.2020.101931
• Hai Nam Tran, Stephane Rubini, Jalil Boukhobza, Frank Singhoff
  Feasibility interval and sustainable scheduling simulation with CRPD on uniprocessor platform
  JSA, 115 (2021), Article 102007, 10.1016/j.sysarc.2021.102007
• Imanol Allende, Nicholas Mc Guire, Jon Perez, Lisandro G. Monsalve, Roman Obermaisser
  Towards Linux based safety systems: ”A statistical approach for software execution path coverage
  JSA, 116 (2021), Article 102047, 10.1016/j.sysarc.2021.102047
• Alejandro R. Mosteo, Maria-Teresa Lorente
  Exploring the boundaries of Ada syntax with functional-style iterators
  JSA, 116 (2021), Article 102039, 10.1016/j.sysarc.2021.102039
• Quentin Rouland, Brahim Hamid, Jason Jaskolka
  Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support
  JSA, 117 (2021), Article 102073, 10.1016/j.sysarc.2021.102073
• Matheus Ladeira, Yassine Ouhammou, Emmanuel Grolleau
  RoBMEX: ROS-based modelling framework for end-users and experts
  JSA, 117 (2021), Article 102089, 10.1016/j.sysarc.2021.102089

Papers presented at the Conference that have be published with open access.

Tullio Vardanega (University of Padova, Italy),
A new start: Introducing the journal-track proceedings of the 24th Ada-Europe conference on reliable software technologies,
Journal of Systems Architecture, Volume 111, 2020, DOI: 10.1016/j.sysarc.2020.101852.

• Sara Royuela (BSC, Spain), Luís Miguel Pinho (ISEP, Portugal), Eduardo Quiñones (BSC, Spain)
  Enabling Ada and OpenMP runtimes interoperability through template-based execution.
  Journal of Systems Architecture, May 2020. DOI: 10.1016/j.sysarc.2019.101702.
• Xiaotian Dai (University of York, UK), Alan Burns (University of York, UK)
  Period adaptation of real-time control tasks with fixed-priority scheduling in cyber-physical systems.
  Journal of Systems Architecture, February 2020. DOI: 10.1016/j.sysarc.2019.101691
• Jorge Real (Universitat Politecnica de Valencia, Spain), Sergio Sáez (Universitat Politecnica de Valencia, Spain), Alfons Crespo (Universitat Politecnica de Valencia, Spain)
  A hierarchical architecture for time- and event-triggered real-time systems.
  Journal of Systems Architecture, December 2019. DOI: 10.1016/j.sysarc.2019.101652.
• Alejandro R.Mosteo (CUDZ, Spain)
  Reactive programming in Ada 2012 with RxAda.
  Journal of Systems Architecture, November 2020. DOI: 10.1016/j.sysarc.2020.101784.
• Irfan Šljivo (MDH, Sweden), Garazi Juez Uriagereka (Tecnalia, Spain), Stefano Puri (Intecs, Italy), Barbara Gallina (MDH, Sweden)
  Guiding assurance of architectural design patterns for critical applications.
  Journal of Systems Architecture, November 2020. DOI: 10.1016/j.sysarc.2020.101765.
• Shinhyung Yang (YU, Korea), Seongho Jeong (YU, Korea), Byunguk Min (YU, Korea), Yeonsoo Kim (YU, Korea), Bernd Burgstaller (YU, Korea), Johann Blieberger (TUW, Austria),
  Design-space evaluation for non-blocking synchronization in Ada: lock elision of protected objects, concurrent objects, and low-level atomics.
  Journal of Systems Architecture, November 2020. DOI: 10.1016/j.sysarc.2020.101764.