Next Ada-Europe Conference
-
29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025)
10-13 June 2024, Paris, France.
Previous Ada-Europe conferences
-
28th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2024)
11-14 June 2024, Barcelona, Spain.
-
27th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2023)
13-16 June 2023, Lisbon, Portugal.
-
26th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2022)
Ghent, Belgium, 14-17 June 2022
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.
-
25th International Conference on Reliable Software Technologies (AEiC 2021)
Virtual Event, 7-10 June 2021
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]
-
25th International Conference on Reliable Software Technologies (AEiC 2020) - CANCELLED
Santander, Spain, 8-12 June 2020
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
-
24th International Conference on Reliable Software Technologies - Ada-Europe 2019
Warsaw, Poland, 10-14 June 2019
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.
-
23rd International Conference on Reliable Software Technologies - Ada-Europe 2018
Lisbon, Portugal, 18-22 June 2018
-
22nd International Conference on Reliable Software Technologies - Ada-Europe 2017
Vienna, Austria, 12-16 June 2017
Conference Proceedings: Springer LNCS vol. 10300
-
21st International Conference on Reliable Software Technologies - Ada-Europe 2016
Pisa, Italy, June 13-17, 2016
Conference Proceedings: Springer LNCS vol. 9695
-
20th International Conference on Reliable Software Technologies - Ada-Europe 2015
Madrid, Spain, June 22-26, 2015
Conference Proceedings: Springer LNCS vol. 9111
-
19th International Conference on Reliable Software Technologies - Ada-Europe 2014
Paris, France, June 23-27, 2014
Conference Proceedings: Springer LNCS vol. 8454
-
18th International Conference on Reliable Software Technologies - Ada-Europe 2013
Berlin, Germany, June 10-14, 2013
Conference Proceedings: Springer LNCS vol. 7896
-
17th International Conference on Reliable Software Technologies -
Ada-Europe 2012
Stockholm, Sweden, June 11-15, 2012
Conference Proceedings: Springer LNCS vol. 7308
-
16th International Conference on Reliable Software Technologies - Ada-Europe 2011
Edinburgh, UK, June 20-24, 2011
Conference Proceedings: Springer LNCS vol. 6652
-
15th International Conference on Reliable Software Technologies - Ada-Europe 2010
Valencia, Spain, June 14-18, 2010
Conference Proceedings: Springer LNCS vol. 6106
-
14th International Conference on Reliable Software Technologies - Ada-Europe 2009
Brest, France, June 8-12, 2009
Conference Proceedings: Springer LNCS vol. 5570
-
13th International Conference on Reliable Software Technologies - Ada-Europe 2008
Venice, Italy, June 16-20, 2008
Conference Proceedings: Springer LNCS vol. 5026
-
12th International Conference on Reliable Software Technologies - Ada-Europe 2007
Geneva, Switzerland, June 25-29, 2007
Conference Proceedings: Springer LNCS vol. 4498
-
11th International Conference on Reliable Software Technologies - Ada-Europe 2006
Porto, Portugal, June 5-9, 2006
Conference Proceedings: Springer LNCS vol. 4006
-
10th International Conference on Reliable Software Technologies - Ada-Europe 2005
York, United Kingdom, June 20-24, 2005
Conference Proceedings: Springer LNCS vol. 3555
-
9th International Conference on Reliable Software Technologies - Ada-Europe 2004
Palma de Mallorca, Spain, June 14-18, 2004
Conference Proceedings: Springer LNCS vol. 3063
-
8th International Conference on Reliable Software Technologies - Ada-Europe 2003
Toulouse, France, June 16-20, 2003
Conference Proceedings: Springer LNCS vol. 2655
-
7th International Conference on Reliable Software Technologies - Ada-Europe 2002
Austria, Vienna, June 17-21, 2002
Conference Proceedings: Springer LNCS vol. 2361
-
6th International Conference on Reliable Software Technologies - Ada-Europe 2001
Belgium, Leuven, May 14-18, 2001
Conference Proceedings: Springer LNCS vol. 2043
-
5th International Conference on Reliable Software Technologies - Ada-Europe 2000
Germany, Potsdam (Berlin), June 26-30, 2000
Conference Proceedings: Springer LNCS vol. 1845
-
4th International Conference on Reliable Software Technologies - Ada-Europe 1999
Spain, Santander, June 7-11, 1999
Conference Proceedings: Springer LNCS vol. 1622
-
3rd International Conference on Reliable Software Technologies - Ada-Europe 1998
Sweden, Uppsala, June 8-12, 1998
Conference Proceedings: Springer LNCS vol. 1411
-
2nd International Conference on Reliable Software Technologies - Ada-Europe 1997
United Kingdom, London, June 2-6, 1997
Conference Proceedings: Springer LNCS vol. 1251
-
1st International Conference on Reliable Software Technologies - Ada-Europe 1996
Switzerland, Montreux, June 10-14, 1996
Conference Proceedings: Springer LNCS vol. 1088
|