Skip to main content

Towards Adaptively Morphing Embedded Systems

Deliverables

Dissemination Plan and Report

D61Dissemination Plan and Report FCID involving Task 61 will be regularly updated at M12 M24 and M36

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 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

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

Updated report on identified adaptation opportunities and methods

Updated report on identified adaptation opportunities and methods UNILU involving Tasks 21 23

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

Searching for OpenAIRE data...

Publications

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)

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), 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

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

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

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

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