CORDIS - Forschungsergebnisse der EU
CORDIS

CPS Engineering Labs - expediting and accelerating the realization of cyber-physical systems

Leistungen

Collaboration plan with other Smart Anything Everywhere projects -- Year 2 update (D1.6b)

Specific plan for collaboration with other Smart Anything Everywhere projects; update for second project year.

Strategic Innovation Agenda for CPS

Strategic Innovation Agenda for CPS as a basis for the Open Calls. An updated version will be produced for the third round of open calls at M14.

Report on best practices and professional training -- Year 3 update (D4.2c)

Report on best practices and professional training; M39 refinement.

Quality Management Plan

Six-monthly quality management reports (M06, M12, M18, M24, M30, M36).

Public Materials

Summary of public materials. This includes white paper embodying the CPSE Labs Vision (Task 2.1), general presentation materials, Centre Descriptions, Experiment Descriptions.

Annual Report on Dissemination Activities

Report on dissemination and exploitation activities performed in tasks 5.2 to 5.4: Conferences and Workshops, Influencing Research Programmes, Influencing Standards Bodies, Influencing Educational Institutions, Raising Awareness and Setting up Communities, Open Access; new or improved products and services, incubation of business ideas, creation of start-up and spin-offs. Updates of the report on dissemination activities at M12, M24, M36.

Open Call Process Documents -- 2nd and 3rd call update (D3.1b)

Collection of guidelines, templates, and supporting documents; cumulative update for 2nd and 3rd Open Call.

Communication Plan

Communication Plan detailing the specific communication objectives and measures for all work packages (updated at M12, M18, M24, M30).

Call texts

Call texts for open call experiments Intermediate versions covering the first and second round of open calls will be available at M03 and M09 respectively

Market Place Report

Report on the Market Place for CPS Engineering platforms.

Report on best practices and professional training -- Year 2 update (D4.2b)

Report on best practices and professional training; M24 refinement.

Collaboration plan with other Smart Anything Everywhere projects -- Year 3 update (D1.6c)

Specific plan for collaboration with other Smart Anything Everywhere projects; update for third project year.

Report on best practices and professional training

Report on best practices and professional training and annual refinements. With initial reports on M12 and M24, with final report M36

Communication Plan -- Year 3 update (D2.2c)

Communication Plan detailing the specific communication objectives and measures for all work packages; update for third project year.

Innovation Management Report

Annual report on innovation management activities at M12, M24, M39.

Centre Handbook

Centre handbook in the form of templates, guidelines for basic processes.

Communication Plan -- Year 2 update (D2.2b)

Communication Plan detailing the specific communication objectives and measures for all work packages; update for second project year.

Design centres final report
Final Experiments Report

Final report on the outcome of the experiments

Strategic Innovation Agenda for CPS -- update (D4.4b)

Strategic Innovation Agenda for CPS as a basis for the Open Calls; update for final Open Call.

Open Call Process Documents

Collection of guidelines, templates, and supporting documents.

Dissemination and Exploitation Plan

Preliminary dissemination plan with annual updates and final exploitation plan defined in task 5.1.

Collaboration plan with other Smart Anything Everywhere projects

D1.7 Collaboration plan with other Smart Anything Everywhere projects Specific plan for collaboration with other Smart Anything Everywhere projects; in each progress report coinciding with the reporting period an update will be provided on the activities done and the plans for the next period.

Information events and coaching activities

Report on information events and coaching activities.

Data management plan

Data management plan for determining and explaining which of the data generated by the project will be made open. This data management plan is in accordance with the Open Research Data Pilot in Horizon 2020.

Contact database

Contact Database with targetgroup specific media distribution listsSnapshots at M12 M18 M24 M30 M36

Web Portal

Initial Web Portal will be continuously updated and maintained

Veröffentlichungen

Collaborative Modelling And Automated Negotiations

Autoren: Nico Plat, Peter Gorm Larsen, and Ken Pierce
Veröffentlicht in: The 14th Overture Workshop: Analytical Tool Chains, Ausgabe ECE-TR-28, September 2016, 2016, Seite(n) 108–122, ISSN 2245-2087
Herausgeber: Aarhus University, Department of Engineering (Technical Report)

Decoupling validation UIs using Publish-Subscribe binding of instance variables in Overture

Autoren: Luis Diogo Couto, Kenneth Lausdahl, Nico Plat, Peter Gorm Larsen and Ken Pierce
Veröffentlicht in: The 14th Overture Workshop: Analytical Tool Chains, Ausgabe ECE-TR-28, September 2016, 2016, Seite(n) 123–136, ISSN 2245-2087
Herausgeber: Aarhus University, Department of Engineering (Technical Report)

Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study

Autoren: Thierry Sotiropoulos, Helene Waeselynck, Jeremie Guiochet, Felix Ingrand
Veröffentlicht in: 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2017, Seite(n) 150-159, ISBN 978-1-5386-0592-9
Herausgeber: IEEE
DOI: 10.1109/QRS.2017.25

Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools

Autoren: Mohammed Foughali
Veröffentlicht in: 2017 17th International Conference on Application of Concurrency to System Design (ACSD), 2017, Seite(n) 29-38, ISBN 978-1-5386-2867-6
Herausgeber: IEEE
DOI: 10.1109/ACSD.2017.10

Synthesis of Safety Rules for Active Monitoring: Application to an Airport Light Measurement Robot

Autoren: Lola Masson, Jeremie Guiochet, Helene Waeselynck, Augustin Desfosses, Marc Laval
Veröffentlicht in: 2017 First IEEE International Conference on Robotic Computing (IRC), 2017, Seite(n) 263-270, ISBN 978-1-5090-6724-4
Herausgeber: IEEE
DOI: 10.1109/IRC.2017.11

Tuning permissiveness of active safety monitors for autonomous systems

Autoren: Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, Martin Törngren
Veröffentlicht in: 2018, Seite(n) 333-348
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-77935-5_23

Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms

Autoren: Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
Veröffentlicht in: FormaliSE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden. 2018, 2018
Herausgeber: FormaliSE

Asynchronous Coordination Under Preferences and Constraints

Autoren: Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
Veröffentlicht in: 2016, Seite(n) 111-126
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-48314-6_8

An Open Tool for Assisting in Technical Debt Management

Autoren: Carlos Fernandez-Sanchez, Hector Humanes, Juan Garbajosa, Jessica Diaz
Veröffentlicht in: 2017 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2017, Seite(n) 400-403, ISBN 978-1-5386-2141-7
Herausgeber: IEEE
DOI: 10.1109/seaa.2017.60

Behavioral type-based monitoring for IEC 61499

Autoren: Monika Wenger, Alois Zoitl, Jan Olaf Blech
Veröffentlicht in: 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), 2015, Seite(n) 1-8, ISBN 978-1-4673-7929-8
Herausgeber: IEEE
DOI: 10.1109/ETFA.2015.7301447

Modelling support for a Linked Data Approach to Tool Interoperability

Autoren: J. El-khoury, D. Gurdur, D. Zhang, F. Loiret, M. Törngren, M. Nyberg
Veröffentlicht in: 2nd International Conference on Big Data, Small Data, Linked Data and Open Data - ALLDATA 2016, 2016, ISBN 978-1-61208-457-2
Herausgeber: IARIA (http://www.iaria.org/conferences.html)

Education and training challenges in the era of Cyber-Physical Systems - beyond traditional engineering

Autoren: Martin Törngren, Saddek Bensalem, John McDermid, Roberto Passerone, Alberto Sangiovanni-Vincentelli, Bernhard Schätz
Veröffentlicht in: Proceedings of the WESE'15: Workshop on Embedded and Cyber-Physical Systems Education - WESE'15, 2015, Seite(n) 1-5, ISBN 9781-450338974
Herausgeber: ACM Press
DOI: 10.1145/2832920.2832928

Cloud Based Monitoring of Timed Events for Industrial Automation

Autoren: Monika Wenger, Alois Zoitl, Jan Olaf Blech, Ian Peake, Lasith Fernando
Veröffentlicht in: 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS), 2015, Seite(n) 827-830, ISBN 978-0-7695-5785-4
Herausgeber: IEEE
DOI: 10.1109/ICPADS.2015.111

Semantic Data Exchange in e-Navigation

Autoren: Mazen Salous, André Bolles, Daniela Nicklas, Henning Mextorf
Veröffentlicht in: Datenbanksysteme für Business, Technologie und Web (BTW), Ausgabe GI Proceedings Band 241, 2015
Herausgeber: Köllen

Two Convergence Problems for Robots on Graphs

Autoren: Armando Castaneda, Sergio Rajsbaum, Matthieu Roy
Veröffentlicht in: 2016 Seventh Latin-American Symposium on Dependable Computing (LADC), 2016, Seite(n) 81-90, ISBN 978-1-5090-5120-5
Herausgeber: IEEE
DOI: 10.1109/LADC.2016.21

A domain-specific architecture framework for the maritime domain

Autoren: Benjamin Weinert, Axel Hahn, Oliver Norkus
Veröffentlicht in: Informatik, 2016
Herausgeber: Heinrich C. Mayr, Martin Pinzger

SMOF: A Safety Monitoring Framework for Autonomous Systems. To appear in IEEE Transactions on Systems, Man, and Cybernetics: Systems

Autoren: Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, Lola Masson
Veröffentlicht in: 2016
Herausgeber: TSMC
DOI: 10.1109/TSMC.2016.2633291

Virtual Worlds for Testing Robot Navigation: A Study on the Difficulty Level

Autoren: Thierry Sotiropoulos, Jeremie Guiochet, Felix Ingrand, Helene Waeselynck
Veröffentlicht in: 2016 12th European Dependable Computing Conference (EDCC), 2016, Seite(n) 153-160, ISBN 978-1-5090-1582-5
Herausgeber: IEEE
DOI: 10.1109/EDCC.2016.14

Testbeds for Verification and Validation of Maritime Safety

Autoren: Marius Brinkmann, Arne Stasch, Axel Hahn
Veröffentlicht in: Proceedings of the 12th Marine Traffic Engineering Conference and International Symposium Information on Ships MTE-ISIS 2016, 2016
Herausgeber: Elsevier B.V.

Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots

Autoren: Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Félix Ingrand, Anthony Mallet
Veröffentlicht in: 2016
Herausgeber: ICFEM
DOI: 10.1007/978-3-319-47846-3_24

Conceptualizing a framework for cyber-physical systems of systems development and deployment

Autoren: Jessica Díaz, Jennifer Pérez, Jorge Pérez, Juan Garbajosa
Veröffentlicht in: Proceeding ECSAW '16 Proccedings of the 10th European Conference on Software Architecture Workshops, Ausgabe Article No. 1, 2016, ISBN 978-1-4503-4781-5
Herausgeber: ACM New York, NY, USA ©2016
DOI: 10.1145/2993412.3004852

Towards integration of CPS and Systems engineering in education

Autoren: Martin Törngren and Erik Herzog
Veröffentlicht in: Proc. 2016 Workshop on Embedded and Cyber-Physical Systems Education, 12th Embedded system week, 2016, ISBN 9780-128038741
Herausgeber: ACM digital library

Multi-Paradigm Discrete-Event Modelling and Co-simulation of Cyber-Physical Systems

Autoren: Mihai Neghina, Constantin-Bala Zamrescu, Peter Gorm Larsen, Kenneth Lausdahl, and Ken Pierce
Veröffentlicht in: Studies in Informatics and Control, Ausgabe 27 (1), March 2018, 2018, Seite(n) 33–42, ISSN 1220-1766
Herausgeber: National Institute for R & D in Informatics

Safety-critical advanced robots: A survey

Autoren: Jérémie Guiochet, Mathilde Machin, Hélène Waeselynck
Veröffentlicht in: Robotics and Autonomous Systems, Ausgabe 94, 2017, Seite(n) 43-52, ISSN 0921-8890
Herausgeber: Elsevier BV
DOI: 10.1016/j.robot.2017.04.004

Adaptable Capability-Based Planning

Autoren: Nadine Keddis, Alois Zoitl, Alois Knoll
Veröffentlicht in: IFAC-PapersOnLine, Ausgabe 48/3, 2015, Seite(n) 1204-1209, ISSN 2405-8963
Herausgeber: Elsevier
DOI: 10.1016/j.ifacol.2015.06.248

Virtual test bed for maritime safety assessment

Autoren: Axel Hahn, Volker Gollücke, Carsten Buschmann, Sören Schweiger
Veröffentlicht in: Scientific Journals of the Maritime University in Szczecin, Ausgabe "Book ""44 (116) / 2015", Seite(n) 116–122, ISSN 1733-8670
Herausgeber: Maritime University of Szczecin
DOI: 10.17402/065

Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety

Autoren: Bernhard Kaiser, Raphael Weber, Markus Oertel, Eckard Böde, Behrang Monajemi Nejad, Justyna Zander
Veröffentlicht in: Complex Systems Informatics and Modeling Quarterly, Ausgabe 4, 2015, Seite(n) 66-91, ISSN 2255-9922
Herausgeber: RTU Press
DOI: 10.7250/csimq.2015-4.05

Improving Maritime Traffic Safety by Applying Routes Exchange and Automatic Relevant Radar Data Exchange

Autoren: Salous, M.; Müller, H.; Bolles, A. & Hahn, A
Veröffentlicht in: Scientific Journals of the Maritime University in Szczecin, Ausgabe 44 (116) / 2015, 2015, Seite(n) 90-98, ISSN 2392-0378
Herausgeber: Maritime University of Szczecin
DOI: 10.17402/062

Strategies and considerations in shaping Cyber-Physical Systems education

Autoren: Martin Törngren, Martin Grimheden, Jonas Gustafsson and Wolfgang Birk
Veröffentlicht in: ACM SIGBED Review, Ausgabe Volume 14 Ausgabe 1, 2016, ISSN 1551-3688
Herausgeber: ACM digital library

Software architectures for health care cyber-physical systems: A systematic literature review

Autoren: Andrea M. Plaza, Jessica Díaz, Jennifer Pérez
Veröffentlicht in: Journal of Software: Evolution and Process, 2018, Seite(n) e1930, ISSN 2047-7473
Herausgeber: E.T.S.I. de Sistemas Informáticos (UPM)
DOI: 10.1002/smr.1930

Requirements for e-Navigation Achitectures

Autoren: Axel Hahn, Andre Bolles, Martin Fränzle, Sibylle Fröschle, Jin Park
Veröffentlicht in: International Journal of e-Navigation and Maritime Economy, Ausgabe Volume 5, 2016, Seite(n) 1-20, ISSN 2405-5352
Herausgeber: Elsevier B.V.

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor