European Commission logo
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Towards Adaptively Morphing Embedded Systems

Rezultaty

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

Publikacje

Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics

Autorzy: Claudio Mandrioli, Martina Maggio
Opublikowane w: 2020
Wydawca: ESEC/FSE 2020 research papers

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

Autorzy: Krüger, K., Vreman, N., Pates, R., Maggio, M., Volp, M., & Fohler, G.
Opublikowane w: Special Numer on Embedded System Security, 2021, Strona(/y) 01:1–01:29
Wydawca: Leibniz Transactions on Embedded Systems
DOI: 10.4230/lites.7.1.1

Towards Transparent Control-Flow Integrity in Safety-Critical Systems

Autorzy: Don Kuzhiyelil, Philipp Zeiris, Marine Kader, Sergey Tverdyshev, Gerhard Fohler
Opublikowane w: 2020
Wydawca: 23rd Information Security Conference (ISC 2020)

TrustedExecutionofPeriodicTasksfor EmbeddedSystems

Autorzy: Gunnarsson, Martin; Vreman, Nils; Maggio, Martina
Opublikowane w: IFAC Proceedings Volumes (IFAC-PapersOnline), 2023
Wydawca: IFAC-PapersOnline

Experimenting with networked control software subject to faults

Autorzy: B. J. Josephrexon and M. Maggio
Opublikowane w: IEEE 61st Conference on Decision and Control (CDC), 2022, Strona(/y) pp. 1547-1552
Wydawca: IEEE
DOI: 10.1109/cdc51059.2022.9992523

Certification Cycles of Train Cyber Gateway

Autorzy: Jan Procházka, Petr Novobilský, Dana Procházková
Opublikowane w: 2020
Wydawca: ESREL2020 PSAM15

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

Autorzy: Sobhan Niknam, Anuj Pathania, Andy Pimentel
Opublikowane w: IEEE International Conference on Computer Design, 2021
Wydawca: ICCD 2021

Control System Stability under Consecutive Deadline Misses Constraints

Autorzy: Martina Maggio, Arne Hamann, Eckart Mayer-John, Dirk Ziegenbein
Opublikowane w: 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), Numer Vol. 165, 2020, 2020, ISBN 978-3-95977-152-8
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.ecrts.2020.21

WeaklyHard.jl: Scalable Analysis of Weakly-Hard Constraints

Autorzy: N. Vreman, R. Pates and M. Maggio
Opublikowane w: IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2022, Strona(/y) pp. 228-240
Wydawca: IEEE
DOI: 10.1109/rtas54340.2022.00026

Towards facilitating resilience in cyber-physical systems using coordination languages

Autorzy: Wouter Loeve, Clemens Grelck
Opublikowane w: 2020
Wydawca: SATToSE 2020

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

Autorzy: Paolo Pazzaglia, Arne Hamann, Dirk Ziegenbein, Martina Maggio
Opublikowane w: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021, Strona(/y) 1887-1892, ISBN 978-3-9819263-5-4
Wydawca: IEEE
DOI: 10.23919/date51398.2021.9473913

Stability of Control Systems under Extended Weakly-Hard Constraints

Autorzy: Nils Vreman, Paolo Pazzaglia, Jie Wang, Victor Magron, Martina Maggio
Opublikowane w: 2021
Wydawca: TRANSACTION ON AUTOMATIC CONTROL 2021

Stability of Linear Systems under Extended Weakly-Hard Constraints

Autorzy: Nils Vreman, Paolo Pazzaglia, Victor Magron, Jie Wang, Martina Maggio
Opublikowane w: IEEE Control Systems Letters, Numer VOL. 6, 2022, Strona(/y) pp. 2900-2905
Wydawca: IEEE
DOI: 10.1109/lcsys.2022.3179960

Standardization of communication security train-control centre

Autorzy: Jan Procházka, Petr Novobilský, Dana Procházková
Opublikowane w: 2020
Wydawca: CRISCON2020

Mobile Cyber Gateway Security Control

Autorzy: Jan Prochazka, Petr Novobilsky, Dana Prochazkova
Opublikowane w: Proceedings of the 31st European Safety and Reliability Conference (ESREL 2021), 2021, Strona(/y) 3199-3206, ISBN 978-981-18-2016-8
Wydawca: 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

Autorzy: L. Miedema, B. Rouxel, C. Grelck
Opublikowane w: 14th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2021
Wydawca: MCSoC 2021

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

Autorzy: Jie Wang, Martina Maggio, Victor Magron
Opublikowane w: 2021 American Control Conference (ACC), 2021, Strona(/y) 2254-2259, ISBN 978-1-6654-4197-1
Wydawca: IEEE
DOI: 10.23919/acc50511.2021.9483347

YASMIN: a Real-time Middleware for COTS Heterogeneous Platforms

Autorzy: B. Rouxel, S. Altmeyer, C. Grelck
Opublikowane w: 22nd ACM/IFIP International Middleware Conference, 2021
Wydawca: MIDDLEWARE 2021

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

Autorzy: Lukas Miedema, Benjamin Rouxel and Clemens Grelck
Opublikowane w: Proceedings of the 14th Junior Research Workshop on Real-Time Computing, 2021
Wydawca: JRWRTC 2021

Segmentation of Train Control Systems

Autorzy: Jan Procházka, Petr Novobilský, Dana Procházková
Opublikowane w: 2020
Wydawca: IRICon2020

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

Autorzy: Lukas Miedema, Benjamin Rouxel, Clemens Grelck
Opublikowane w: JRWRTC 2021, 2021
Wydawca: JRWRTC 2021

Towards integrating fault-tolerance in the TeamPlay coordination language

Autorzy: Wouter Loeve
Opublikowane w: 2020
Wydawca: University of Amsterdam

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

Autorzy: Siard Keulen
Opublikowane w: 2020
Wydawca: University of Amsterdam

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

Autorzy: Vreman, Nils and Cervin, Anton and Maggio, Martina
Opublikowane w: 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021), 2021, ISSN 1868-8969
Wydawca: ECRTS 2021
DOI: 10.4230/lipics.ecrts.2021.15

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

Autorzy: Claudio Mandrioli, Martina Maggio
Opublikowane w: IEEE Transactions on Software Engineering, 2021, Strona(/y) 1-1, ISSN 0098-5589
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tse.2021.3101130

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

Autorzy: Paolo Pazzaglia; Martina Maggio
Opublikowane w: EEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Numer 11, 2022, Strona(/y) 3957-3968, ISSN 1937-4151
Wydawca: IEEE Explore
DOI: 10.1109/tcad.2022.3199146

Zero-Jitter Chains of Periodic LET Tasks via Algebraic Rings

Autorzy: E. Bini, P. Pazzaglia and M. Maggio
Opublikowane w: IEEE Transactions on Computers, 2023, ISSN 0018-9340
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tc.2023.3283707

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników