Deliverables Documents, reports (15) Report on analysis techniques for adaptive systems and second release of analysis tools D33 M38 Final report on analysis techniques for adaptive systems and second release of analysis tools ULUND involving Tasks 31 37 Dissemination Plan and Report D61Dissemination Plan and Report FCID involving Task 61 will be regularly updated at M12 M24 and M36 Report on adaptation methods D22 M29 Second report on adaptation methods summarizing the achievements of Tasks 21 23 24 and 25 and providing a description of initial developments in Tasks 22 and 26 UNILU Report on and first software prototype release of a coordination language for robust, adaptive systems D12 M22 Second report on and first software prototype release of a coordination language for robust adaptive systems UvA involving Tasks 11 12 13 and 14 Report on ADMORPH adaptation methods and their integration with the coordination language and runtime system D23 M38 Final report on ADMORPH adaptation methods and their integration with the coordination language and runtime system UNILU involving Tasks 21 26 Report on analysis techniques for adaptive systems and first release of prototype analysis tools D32 M18 Second report on analysis techniques for adaptive systems and first release of prototype analysis tools ULUND involving Tasks 31 37 Report on identified adaptation opportunities and methods D21 M12 First report on identified adaptation opportunities and methods UNILU involving Tasks 21 23 Data management plan (final version) D75 M41 Data management plan final version UvA involving Task 75 The DMP describes the data management life cycle for all datasets to be collected processed or generated by the project This deliverable will be updated in time to be evaluated as part of the final project review Report on analysis techniques for adaptive systems D31 M09 First report on analysis techniques for adaptive systems ULUND involving Tasks 31 33 and 34 Data management plan (updated version) D74 M18 Data management plan updated version UvA involving Task 75 The DMP describes the data management life cycle for all datasets to be collected processed or generated by the project This deliverable will be updated in time to be evaluated as part of the midterm project review Progress Report for Technical Review D73 M10 Progress Report for Technical Review UvA involving Task 73 is to assess the work carried out under the project over a certain period and provide recommendations to the Commission Such technical review report evaluates the project reports and deliverables the proper use of resources the management of the project and the expected impact Online Project Handbook Online Project Handbook UvA involving Tasks 7174 To ensure a consistent implementation of the management of the project UvA will produce a project procedure handbook that will be easily accessible to all partners which will describe internal reporting communication and management procedures as well as a Quality Assurance Plan to monitor all deliverables before their finalisation The deliverable will also contain a detailed risk analysis and contingency planning Report on a coordination language for robust, adaptive systems D11 M09 First report on a coordination language for robust adaptive systems UvA involving Tasks 11 13 and 14 Report on and second software prototype release of a coordination language D13 M35 Final report on and second software prototype release of a coordination language for robust adaptive systems UvA involving Tasks 11 12 13 and 14 Updated report on identified adaptation opportunities and methods Updated report on identified adaptation opportunities and methods UNILU involving Tasks 21 23 Open Research Data Pilot (1) Data management plan (first version) D72 M6 Data management plan first version UvA involving Task 75 In order to provide an analysis of the main elements of the data management policy that will be used with regard to all the datasets that will be generated by the project a DMP will be produced It will describe the data management life cycle for all datasets to be collected processed or generated by the project and it will evolve during the lifetime of the project in order to present the status of the projects reflections on data management Publications Conference proceedings (21) Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics Author(s): Claudio Mandrioli, Martina Maggio Published in: 2020 Publisher: ESEC/FSE 2020 research papers Randomization as Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Real-Time Systems with Task Replication Author(s): Krüger, K., Vreman, N., Pates, R., Maggio, M., Volp, M., & Fohler, G. Published in: Special Issue on Embedded System Security, 2021, Page(s) 01:1–01:29 Publisher: Leibniz Transactions on Embedded Systems DOI: 10.4230/lites.7.1.1 Towards Transparent Control-Flow Integrity in Safety-Critical Systems Author(s): Don Kuzhiyelil, Philipp Zeiris, Marine Kader, Sergey Tverdyshev, Gerhard Fohler Published in: 2020 Publisher: 23rd Information Security Conference (ISC 2020) TrustedExecutionofPeriodicTasksfor EmbeddedSystems Author(s): Gunnarsson, Martin; Vreman, Nils; Maggio, Martina Published in: IFAC Proceedings Volumes (IFAC-PapersOnline), 2023 Publisher: IFAC-PapersOnline Experimenting with networked control software subject to faults Author(s): B. J. Josephrexon and M. Maggio Published in: IEEE 61st Conference on Decision and Control (CDC), 2022, Page(s) pp. 1547-1552 Publisher: IEEE DOI: 10.1109/cdc51059.2022.9992523 Certification Cycles of Train Cyber Gateway Author(s): Jan Procházka, Petr Novobilský, Dana Procházková Published in: 2020 Publisher: ESREL2020 PSAM15 T-TSP: Transient-Temperature Based Safe Power Budgeting in Multi-/Many-Core Processors Author(s): Sobhan Niknam, Anuj Pathania, Andy Pimentel Published in: IEEE International Conference on Computer Design, 2021 Publisher: ICCD 2021 Control System Stability under Consecutive Deadline Misses Constraints Author(s): Martina Maggio, Arne Hamann, Eckart Mayer-John, Dirk Ziegenbein Published in: 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), Issue Vol. 165, 2020, 2020, ISBN 978-3-95977-152-8 Publisher: Schloss Dagstuhl--Leibniz-Zentrum für Informatik DOI: 10.4230/lipics.ecrts.2020.21 WeaklyHard.jl: Scalable Analysis of Weakly-Hard Constraints Author(s): N. Vreman, R. Pates and M. Maggio Published in: IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2022, Page(s) pp. 228-240 Publisher: IEEE DOI: 10.1109/rtas54340.2022.00026 Towards facilitating resilience in cyber-physical systems using coordination languages Author(s): Wouter Loeve, Clemens Grelck Published in: 2020 Publisher: SATToSE 2020 Adaptive Design of Real-Time Control Systems subject to Sporadic Overruns Author(s): Paolo Pazzaglia, Arne Hamann, Dirk Ziegenbein, Martina Maggio Published in: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021, Page(s) 1887-1892, ISBN 978-3-9819263-5-4 Publisher: IEEE DOI: 10.23919/date51398.2021.9473913 Stability of Control Systems under Extended Weakly-Hard Constraints Author(s): Nils Vreman, Paolo Pazzaglia, Jie Wang, Victor Magron, Martina Maggio Published in: 2021 Publisher: TRANSACTION ON AUTOMATIC CONTROL 2021 Stability of Linear Systems under Extended Weakly-Hard Constraints Author(s): Nils Vreman, Paolo Pazzaglia, Victor Magron, Jie Wang, Martina Maggio Published in: IEEE Control Systems Letters, Issue VOL. 6, 2022, Page(s) pp. 2900-2905 Publisher: IEEE DOI: 10.1109/lcsys.2022.3179960 Standardization of communication security train-control centre Author(s): Jan Procházka, Petr Novobilský, Dana Procházková Published in: 2020 Publisher: CRISCON2020 Mobile Cyber Gateway Security Control Author(s): Jan Prochazka, Petr Novobilsky, Dana Prochazkova Published in: Proceedings of the 31st European Safety and Reliability Conference (ESREL 2021), 2021, Page(s) 3199-3206, ISBN 978-981-18-2016-8 Publisher: Research Publishing Services DOI: 10.3850/978-981-18-2016-8_173-cd Task-level Redundancy vs Instruction-level Redundancy against Single Event Upsets in Real-time DAG Scheduling Author(s): L. Miedema, B. Rouxel, C. Grelck Published in: 14th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2021 Publisher: MCSoC 2021 SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions Author(s): Jie Wang, Martina Maggio, Victor Magron Published in: 2021 American Control Conference (ACC), 2021, Page(s) 2254-2259, ISBN 978-1-6654-4197-1 Publisher: IEEE DOI: 10.23919/acc50511.2021.9483347 YASMIN: a Real-time Middleware for COTS Heterogeneous Platforms Author(s): B. Rouxel, S. Altmeyer, C. Grelck Published in: 22nd ACM/IFIP International Middleware Conference, 2021 Publisher: MIDDLEWARE 2021 Modeling Single Event Upsets in UPPAAL SMC for Real-time DAG Scheduling Author(s): Lukas Miedema, Benjamin Rouxel and Clemens Grelck Published in: Proceedings of the 14th Junior Research Workshop on Real-Time Computing, 2021 Publisher: JRWRTC 2021 Segmentation of Train Control Systems Author(s): Jan Procházka, Petr Novobilský, Dana Procházková Published in: 2020 Publisher: IRICon2020 Modeling Single Event Upsets in UPPAALSMC for Real-time DAG Scheduling Author(s): Lukas Miedema, Benjamin Rouxel, Clemens Grelck Published in: JRWRTC 2021, 2021 Publisher: JRWRTC 2021 Thesis dissertations (2) Towards integrating fault-tolerance in the TeamPlay coordination language Author(s): Wouter Loeve Published in: 2020 Publisher: University of Amsterdam System-level simulation and exploration of adaptive systems using genetic algorithms and reinforcement learning Author(s): Siard Keulen Published in: 2020 Publisher: University of Amsterdam Peer reviewed articles (4) Stability and Performance Analysis of Control Systems Subject to Bursts of Deadline Misses Author(s): Vreman, Nils and Cervin, Anton and Maggio, Martina Published in: 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021), 2021, ISSN 1868-8969 Publisher: ECRTS 2021 DOI: 10.4230/lipics.ecrts.2021.15 Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics: Extended and Comparative Results Author(s): Claudio Mandrioli, Martina Maggio Published in: IEEE Transactions on Software Engineering, 2021, Page(s) 1-1, ISSN 0098-5589 Publisher: Institute of Electrical and Electronics Engineers DOI: 10.1109/tse.2021.3101130 Characterizing the Effect of Deadline Misses on Time-Triggered Task Chains Author(s): Paolo Pazzaglia; Martina Maggio Published in: EEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Issue 11, 2022, Page(s) 3957-3968, ISSN 1937-4151 Publisher: IEEE Explore DOI: 10.1109/tcad.2022.3199146 Zero-Jitter Chains of Periodic LET Tasks via Algebraic Rings Author(s): E. Bini, P. Pazzaglia and M. Maggio Published in: IEEE Transactions on Computers, 2023, ISSN 0018-9340 Publisher: Institute of Electrical and Electronics Engineers DOI: 10.1109/tc.2023.3283707 Searching for OpenAIRE data... There was an error trying to search data from OpenAIRE No results available
