Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Dependability Engineering Innovation for CPS - DEIS

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Report on use case description and technology evaluation (odnośnik otworzy się w nowym oknie)

This report provides a public summary on the use cases defined and the technology evaluation performed.

DEIS Impact Report (odnośnik otworzy się w nowym oknie)

The aim of the DEIS impact report is to summarize in one document the impact created by the technical innovations with regards to the project and work programme objectives.

A conceptual framework for the in-the-field dependability assurance (and certification) in CPS based on DDIs (odnośnik otworzy się w nowym oknie)

Concepts and specifications to enable dynamic in-the-field dependability evaluations based on an adequate runtime representation for DDIs and dedicated evaluation mechanisms (i.e. protocols and algorithms).

Specification of the Open Dependability Exchange metamodel and documentation of the fundamental concept of Digital Dependability Identities (odnośnik otworzy się w nowym oknie)

This deliverable provides the preliminary specification of the ODE Metamodel and a related description of the concept of DDIs, to be updated by D3.2 and D3.3.

Project Website and initial Dissemination Plan (odnośnik otworzy się w nowym oknie)

This deliverable provides a report on the project website set up and an overview on the dissemination activities planned for the first year of the project, representing the first innovation cycle.

Engineering Framework for the generation and integration of DDI (odnośnik otworzy się w nowym oknie)

A methodology, concepts and specifications (input for WP4) for the generation and integration of DDI at development time.

DEIS Requirements Report (odnośnik otworzy się w nowym oknie)

This deliverable provides an overview and summary on the requirements collected in the DEIS project that are shared publicly.

Publikacje

Front Matter (odnośnik otworzy się w nowym oknie)

Autorzy: Marc Zeller, Kai Höfig
Opublikowane w: Safety and Reliability – Theory and Applications, 2017, Strona(/y) i-xxxiv, ISBN 978-1-351-80973-3
Wydawca: CRC Press
DOI: 10.1201/9781315210469-1

A Conceptual Safety Supervisor Denition and Evaluation Framework for Autonomous Systems

Autorzy: Patrik Feth, Daniel Schneider, Rasmus Adler
Opublikowane w: International Conference on Computer Safety, Reliability and Security (SafeComp), Numer Lecture Notes in Computer Science 10488, 2017
Wydawca: Springer International Publishing

DEIS: Dependability Engineering Innova-tion for industrial CPS

Autorzy: E. Armengaud, G. Macher, A. Massoner, S. Frager, R. Adler, D. Schneider, S. Longo, M. Melis, R. Groppo, F. Villa, P. O’Leary, K. Bambury, A. Finnegan, M. Zeller, K. Höfig, Y. Papadopoulos, R. Hawkins, T. Kelly
Opublikowane w: 21th International Forum on Advanced Microsystems for Automotive Applications (AMAA 2017), 2017, ISBN 978-3-319-66972-4
Wydawca: Springer

A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies

Autorzy: Sohag Kabir, Yiannis Papadopoulos,Martin Walker, David Parker, Jose Ignacio Aizpurua, Jörg Lampe, Erich Rüde
Opublikowane w: 5th International Symposium on Model-Based Safety and Assessment (IMBSA), 2017
Wydawca: Springer

Model-based Reliability and Safety: Reducing the complexity of safety analyses using component fault trees

Autorzy: Kai Höfig, Marc Zeller
Opublikowane w: 2018 Annual Reliability and Maintainability Symposium (RAMS), 2018
Wydawca: IEEE

Model-Connected Safety Cases

Autorzy: Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, David Parker, Nicholas Matragkas, Septavera Sharvia
Opublikowane w: 5th International Symposium on Model-Based Safety and Assessment (IMBSA), 2017
Wydawca: Springer

3D SPAD camera for Advanced Driver Assistance (odnośnik otworzy się w nowym oknie)

Autorzy: F. Villa, R. Lussana, D. Bronzi, F. Zappa, A. Giudice
Opublikowane w: 2017 International Conference of Electrical and Electronic Technologies for Automotive, 2017, Strona(/y) 1-5, ISBN 978-88-87237-26-9
Wydawca: IEEE
DOI: 10.23919/EETA.2017.7993220

Towards Automatic Generation of UML Profile Graphical Editors for Papyrus (odnośnik otworzy się w nowym oknie)

Autorzy: Athanasios Zolotas, Ran Wei, Simos Gerasimou, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige
Opublikowane w: 2018, Strona(/y) 12-27
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-92997-2_2

Combination of Component Fault Trees and Markov Chains to Analyze Complex, Software-Controlled Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Marc Zeller, Francesco Montrone
Opublikowane w: 2018 3rd International Conference on System Reliability and Safety (ICSRS), 2018, Strona(/y) 13-20, ISBN 978-1-7281-0238-2
Wydawca: IEEE
DOI: 10.1109/icsrs.2018.8688854

Fault Trees vs. Component Fault Trees: An Empirical Study

Autorzy: Tim Gonschorek, Marc Zeller, Frank Ortmeier, Kai Höfig
Opublikowane w: 2018
Wydawca: Springer

Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities

Autorzy: Jan Reich, Marc Zeller, Daniel Schneider
Opublikowane w: International Conference on Computer Safety, Reliability and Security - SafeComp, 2019
Wydawca: Springer

Towards Standardizing the Generation of Component Fault Trees through the Engineering Life Cycle

Autorzy: Axel Berres, Tim Bittner, Marc Zeller
Opublikowane w: European Safety and Reliability Conference (ESREL), 2019
Wydawca: Taylor & Francis

Iterative and Incremental Development of Reliable Systems

Autorzy: Marc Zeller, Sebastian Klabes
Opublikowane w: European Safety and Reliability Conference (ESREL), 2019
Wydawca: Taylor & Francis

Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines

Autorzy: Christof Kaukewitsch, Henrik Papist, Marc Zeller, Martin Rothfelder
Opublikowane w: Reliability & Maintainability Symposium (RAMS), 2020
Wydawca: IEEE

DPN – Dependability Priority Numbers

Autorzy: Joe Guo, Marc Zeller
Opublikowane w: International Symposium on Model-Based Safety and Assessment (IMBSA), 2019
Wydawca: Springer

On the Transition from Design Time to Runtime Model-Based Assurance Cases

Autorzy: Wei, Ran; Reich, Jan; Kelly, Tim; Gerasimou, Simos
Opublikowane w: Proceedings of 13th International Workshop on Models@run.time at 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), 2019
Wydawca: CEUR-WS

Safety in Cooperative Automated Systems

Autorzy: Daniel Schneider, Rasmus Adler, Patrik Feth, Jan Reich, Tobias Braun
Opublikowane w: Proceedings of the Embedded World Conference 2019., 2019
Wydawca: Weka Fachmedien

Systematic Identification of Functional Deficiencies by means of Component Fault Trees

Autorzy: Dr. Rasmus Adler und Dr. Daniel Schneider
Opublikowane w: safetronic, 2019
Wydawca: Hanser

Predictive Runtime Simulation for Building Trust in Cooperative Autonomous Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Emilia Cioroaica, Daniel Schneider, Hanna AlZughbi, Jan Reich, Rasmus Adler, Tobias Braun
Opublikowane w: 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2019, Strona(/y) 86-89, ISBN 978-1-7281-3030-9
Wydawca: IEEE
DOI: 10.1109/dsn-w.2019.00024

Remote PhotoPlethysmoGraphy Using SPAD Camera for Automotive Health Monitoring Application (odnośnik otworzy się w nowym oknie)

Autorzy: Marco Paracchini, Lorenzo Marchesi, Klaus Pasquinelli, Marco Marcon, Giulio Fontana, Alessandro Gabrielli, Federica Villa
Opublikowane w: 2019 AEIT International Conference of Electrical and Electronic Technologies for Automotive (AEIT AUTOMOTIVE), 2019, Strona(/y) 1-6, ISBN 978-8-8872-3743-6
Wydawca: IEEE
DOI: 10.23919/eeta.2019.8804516

Keynote: Industrial-Grade DevOps - Balancing Speed with Extreme Quality

Autorzy: Frank Buschmann, Marc Zeller
Opublikowane w: 2018 ACM/IEEE 40th International Conference on Software Engineering, 2018
Wydawca: IEEE/ACM

Enabling Smart Safe Behaviour through Cooperative Risk Management

Autorzy: Rasmus Adler (Fraunhofer IESE) and Patrik Feth (SICK AG)
Opublikowane w: ERCIM News 119, 2019
Wydawca: ERCIM

Uncertainty-Aware Dynamic Reliability Analysis Framework for Complex Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Sohag Kabir, Mohammad Yazdi, Jose Ignacio Aizpurua, Yiannis Papadopoulos
Opublikowane w: IEEE Access, Numer 6, 2018, Strona(/y) 29499-29515, ISSN 2169-3536
Wydawca: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/ACCESS.2018.2843166

A review of applications of fuzzy sets to safety and reliability engineering (odnośnik otworzy się w nowym oknie)

Autorzy: Sohag Kabir, Yiannis Papadopoulos
Opublikowane w: International Journal of Approximate Reasoning, Numer 100, 2018, Strona(/y) 29-55, ISSN 0888-613X
Wydawca: Elsevier BV
DOI: 10.1016/j.ijar.2018.05.005

Dynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networks (odnośnik otworzy się w nowym oknie)

Autorzy: Sohag Kabir, Martin Walker, Yiannis Papadopoulos
Opublikowane w: Safety Science, Numer 105, 2018, Strona(/y) 55-70, ISSN 0925-7535
Wydawca: Elsevier BV
DOI: 10.1016/j.ssci.2018.02.001

Applications of Bayesian networks and Petri nets in safety, reliability, and risk assessments: A review (odnośnik otworzy się w nowym oknie)

Autorzy: Sohag Kabir, Yiannis Papadopoulos
Opublikowane w: Safety Science, Numer 115, 2019, Strona(/y) 154-175, ISSN 0925-7535
Wydawca: Elsevier BV
DOI: 10.1016/j.ssci.2019.02.009

Safety + AI: A Novel Approach to Update Safety Models Using Artificial Intelligence (odnośnik otworzy się w nowym oknie)

Autorzy: Youcef Gheraibia, Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos
Opublikowane w: IEEE Access, Numer 7, 2019, Strona(/y) 135855-135869, ISSN 2169-3536
Wydawca: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2019.2941566

Model transformation for analyzing dependability of AADL model by using HiP-HOPS (odnośnik otworzy się w nowym oknie)

Autorzy: Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Nidhal Mahmud
Opublikowane w: Journal of Systems and Software, Numer 151, 2019, Strona(/y) 258-282, ISSN 0164-1212
Wydawca: Elsevier BV
DOI: 10.1016/j.jss.2019.02.019

Explicit Modelling and Treatment of Repair in Prediction of Dependability (odnośnik otworzy się w nowym oknie)

Autorzy: Jose Ignacio Aizpurua Unanue, Yiannis Papadopoulos, Guillaume Merle
Opublikowane w: IEEE Transactions on Dependable and Secure Computing, 2018, Strona(/y) 1-1, ISSN 1545-5971
Wydawca: IEEE Computer Society
DOI: 10.1109/tdsc.2018.2857810

A Method for Temporal Fault Tree Analysis Using Intuitionistic Fuzzy Set and Expert Elicitation (odnośnik otworzy się w nowym oknie)

Autorzy: Sohag Kabir, Tan Kim Geok, Mohit Kumar, Mohammad Yazdi, Ferdous Hossain
Opublikowane w: IEEE Access, Numer 8, 2020, Strona(/y) 980-996, ISSN 2169-3536
Wydawca: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2019.2961953

Fuzzy evidence theory and Bayesian networks for process systems risk analysis (odnośnik otworzy się w nowym oknie)

Autorzy: Mohammad Yazdi, Sohag Kabir
Opublikowane w: Human and Ecological Risk Assessment: An International Journal, Numer 26/1, 2020, Strona(/y) 57-86, ISSN 1080-7039
Wydawca: Taylor & Francis
DOI: 10.1080/10807039.2018.1493679

Deep skin detection on low resolution grayscale images (odnośnik otworzy się w nowym oknie)

Autorzy: Marco Paracchini, Marco Marcon, Federica Villa, Stefano Tubaro
Opublikowane w: Pattern Recognition Letters, Numer 131, 2020, Strona(/y) 322-328, ISSN 0167-8655
Wydawca: Elsevier BV
DOI: 10.1016/j.patrec.2019.12.021

Model based system assurance using the structured assurance case metamodel (odnośnik otworzy się w nowym oknie)

Autorzy: Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins
Opublikowane w: Journal of Systems and Software, Numer 154, 2019, Strona(/y) 211-233, ISSN 0164-1212
Wydawca: Elsevier BV
DOI: 10.1016/j.jss.2019.05.013

Evaluation of a Dependability Mechanism for Cyber Physical Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Gilbert Regan, Fergal McCaffery, Jan Reich, Eric Armengaud, Cem Kaypmaz, Joe Zhensheng Guo, Simone Longo, Eoin O. Carroll
Opublikowane w: Systems, Software and Services Process Improvement - 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings, Numer 1060, 2019, Strona(/y) 427-438, ISBN 978-3-030-28004-8
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-28005-5_33

Towards (Semi-)Automated Synthesis of Runtime Safety Models: A Safety-Oriented Design Approach for Service Architectures of Cooperative Autonomous Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Jan Reich, Daniel Schneider
Opublikowane w: Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, Numer 11088, 2018, Strona(/y) 139-150, ISBN 978-3-319-98653-1
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-99229-7_13

Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities (odnośnik otworzy się w nowym oknie)

Autorzy: Jan Reich, Marc Zeller, Daniel Schneider
Opublikowane w: Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings, Numer 11698, 2019, Strona(/y) 254-268, ISBN 978-3-030-26600-4
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-26601-1_18

A Runtime Safety Analysis Concept for Open Adaptive Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Sohag Kabir, Ioannis Sorokos, Koorosh Aslansefat, Yiannis Papadopoulos, Youcef Gheraibia, Jan Reich, Merve Saimler, Ran Wei
Opublikowane w: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Numer 11842, 2019, Strona(/y) 332-346, ISBN 978-3-030-32871-9
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-32872-6_22

Automated Model-Based Attack Tree Analysis Using HiP-HOPS (odnośnik otworzy się w nowym oknie)

Autorzy: Declan Whiting, Ioannis Sorokos, Yiannis Papadopoulos, Gilbert Regan, Eoin O’Carroll
Opublikowane w: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Numer 11842, 2019, Strona(/y) 255-269, ISBN 978-3-030-32871-9
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-32872-6_17

A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS (odnośnik otworzy się w nowym oknie)

Autorzy: Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Youcef Gheraibia
Opublikowane w: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Numer 11842, 2019, Strona(/y) 109-124, ISBN 978-3-030-32871-9
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-32872-6_8

Analysis of Attacks and Security Requirements for Wireless Body Area Networks - A Systematic Literature Review (odnośnik otworzy się w nowym oknie)

Autorzy: Pangkaj Chandra Paul, John Loane, Gilbert Regan, Fergal McCaffery
Opublikowane w: Systems, Software and Services Process Improvement - 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings, Numer 1060, 2019, Strona(/y) 439-452, ISBN 978-3-030-28004-8
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-28005-5_34

A Serverless Architecture for Wireless Body Area Network Applications (odnośnik otworzy się w nowym oknie)

Autorzy: Pangkaj Chandra Paul, John Loane, Fergal McCaffery, Gilbert Regan
Opublikowane w: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings, Numer 11842, 2019, Strona(/y) 239-254, ISBN 978-3-030-32871-9
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-32872-6_16

Wyszukiwanie danych OpenAIRE...

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

Brak wyników

Moja broszura 0 0