European Commission logo
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

Towards Adaptively Morphing Embedded Systems

Livrables

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

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

Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics

Auteurs: Claudio Mandrioli, Martina Maggio
Publié dans: 2020
Éditeur: ESEC/FSE 2020 research papers

Randomization as Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Real-Time Systems with Task Replication

Auteurs: Krüger, K., Vreman, N., Pates, R., Maggio, M., Volp, M., & Fohler, G.
Publié dans: Special Numéro on Embedded System Security, 2021, Page(s) 01:1–01:29
Éditeur: Leibniz Transactions on Embedded Systems
DOI: 10.4230/lites.7.1.1

Towards Transparent Control-Flow Integrity in Safety-Critical Systems

Auteurs: Don Kuzhiyelil, Philipp Zeiris, Marine Kader, Sergey Tverdyshev, Gerhard Fohler
Publié dans: 2020
Éditeur: 23rd Information Security Conference (ISC 2020)

TrustedExecutionofPeriodicTasksfor EmbeddedSystems

Auteurs: Gunnarsson, Martin; Vreman, Nils; Maggio, Martina
Publié dans: IFAC Proceedings Volumes (IFAC-PapersOnline), 2023
Éditeur: IFAC-PapersOnline

Experimenting with networked control software subject to faults

Auteurs: B. J. Josephrexon and M. Maggio
Publié dans: IEEE 61st Conference on Decision and Control (CDC), 2022, Page(s) pp. 1547-1552
Éditeur: IEEE
DOI: 10.1109/cdc51059.2022.9992523

Certification Cycles of Train Cyber Gateway

Auteurs: Jan Procházka, Petr Novobilský, Dana Procházková
Publié dans: 2020
Éditeur: ESREL2020 PSAM15

T-TSP: Transient-Temperature Based Safe Power Budgeting in Multi-/Many-Core Processors

Auteurs: Sobhan Niknam, Anuj Pathania, Andy Pimentel
Publié dans: IEEE International Conference on Computer Design, 2021
Éditeur: ICCD 2021

Control System Stability under Consecutive Deadline Misses Constraints

Auteurs: Martina Maggio, Arne Hamann, Eckart Mayer-John, Dirk Ziegenbein
Publié dans: 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), Numéro Vol. 165, 2020, 2020, ISBN 978-3-95977-152-8
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.ecrts.2020.21

WeaklyHard.jl: Scalable Analysis of Weakly-Hard Constraints

Auteurs: N. Vreman, R. Pates and M. Maggio
Publié dans: IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2022, Page(s) pp. 228-240
Éditeur: IEEE
DOI: 10.1109/rtas54340.2022.00026

Towards facilitating resilience in cyber-physical systems using coordination languages

Auteurs: Wouter Loeve, Clemens Grelck
Publié dans: 2020
Éditeur: SATToSE 2020

Adaptive Design of Real-Time Control Systems subject to Sporadic Overruns

Auteurs: Paolo Pazzaglia, Arne Hamann, Dirk Ziegenbein, Martina Maggio
Publié dans: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021, Page(s) 1887-1892, ISBN 978-3-9819263-5-4
Éditeur: IEEE
DOI: 10.23919/date51398.2021.9473913

Stability of Control Systems under Extended Weakly-Hard Constraints

Auteurs: Nils Vreman, Paolo Pazzaglia, Jie Wang, Victor Magron, Martina Maggio
Publié dans: 2021
Éditeur: TRANSACTION ON AUTOMATIC CONTROL 2021

Stability of Linear Systems under Extended Weakly-Hard Constraints

Auteurs: Nils Vreman, Paolo Pazzaglia, Victor Magron, Jie Wang, Martina Maggio
Publié dans: IEEE Control Systems Letters, Numéro VOL. 6, 2022, Page(s) pp. 2900-2905
Éditeur: IEEE
DOI: 10.1109/lcsys.2022.3179960

Standardization of communication security train-control centre

Auteurs: Jan Procházka, Petr Novobilský, Dana Procházková
Publié dans: 2020
Éditeur: CRISCON2020

Mobile Cyber Gateway Security Control

Auteurs: Jan Prochazka, Petr Novobilsky, Dana Prochazkova
Publié dans: Proceedings of the 31st European Safety and Reliability Conference (ESREL 2021), 2021, Page(s) 3199-3206, ISBN 978-981-18-2016-8
Éditeur: 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

Auteurs: L. Miedema, B. Rouxel, C. Grelck
Publié dans: 14th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2021
Éditeur: MCSoC 2021

SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions

Auteurs: Jie Wang, Martina Maggio, Victor Magron
Publié dans: 2021 American Control Conference (ACC), 2021, Page(s) 2254-2259, ISBN 978-1-6654-4197-1
Éditeur: IEEE
DOI: 10.23919/acc50511.2021.9483347

YASMIN: a Real-time Middleware for COTS Heterogeneous Platforms

Auteurs: B. Rouxel, S. Altmeyer, C. Grelck
Publié dans: 22nd ACM/IFIP International Middleware Conference, 2021
Éditeur: MIDDLEWARE 2021

Modeling Single Event Upsets in UPPAAL SMC for Real-time DAG Scheduling

Auteurs: Lukas Miedema, Benjamin Rouxel and Clemens Grelck
Publié dans: Proceedings of the 14th Junior Research Workshop on Real-Time Computing, 2021
Éditeur: JRWRTC 2021

Segmentation of Train Control Systems

Auteurs: Jan Procházka, Petr Novobilský, Dana Procházková
Publié dans: 2020
Éditeur: IRICon2020

Modeling Single Event Upsets in UPPAALSMC for Real-time DAG Scheduling

Auteurs: Lukas Miedema, Benjamin Rouxel, Clemens Grelck
Publié dans: JRWRTC 2021, 2021
Éditeur: JRWRTC 2021

Towards integrating fault-tolerance in the TeamPlay coordination language

Auteurs: Wouter Loeve
Publié dans: 2020
Éditeur: University of Amsterdam

System-level simulation and exploration of adaptive systems using genetic algorithms and reinforcement learning

Auteurs: Siard Keulen
Publié dans: 2020
Éditeur: University of Amsterdam

Stability and Performance Analysis of Control Systems Subject to Bursts of Deadline Misses

Auteurs: Vreman, Nils and Cervin, Anton and Maggio, Martina
Publié dans: 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021), 2021, ISSN 1868-8969
Éditeur: ECRTS 2021
DOI: 10.4230/lipics.ecrts.2021.15

Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics: Extended and Comparative Results

Auteurs: Claudio Mandrioli, Martina Maggio
Publié dans: IEEE Transactions on Software Engineering, 2021, Page(s) 1-1, ISSN 0098-5589
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tse.2021.3101130

Characterizing the Effect of Deadline Misses on Time-Triggered Task Chains

Auteurs: Paolo Pazzaglia; Martina Maggio
Publié dans: EEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Numéro 11, 2022, Page(s) 3957-3968, ISSN 1937-4151
Éditeur: IEEE Explore
DOI: 10.1109/tcad.2022.3199146

Zero-Jitter Chains of Periodic LET Tasks via Algebraic Rings

Auteurs: E. Bini, P. Pazzaglia and M. Maggio
Publié dans: IEEE Transactions on Computers, 2023, ISSN 0018-9340
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tc.2023.3283707

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible