The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security-Reference-Cited by-同舟云学术

The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security

Published:2020-08 Issue: Volume: Page:
ISSN:
Container-title:2020 23rd Euromicro Conference on Digital System Design (DSD)
language:
Short-container-title:

Author:

Barbosa R.¹,Basagiannis S.²,Giantamidis G.²,Becker H.³,Ferrari E.⁴,Jahic J.⁵,Kanak A.⁶,Esnaola M. Labayen⁷,Orani V.⁸,Pereira D.⁹,Pomante L.¹⁰,Schlick R.¹¹,Smrcka A.¹²,Yazici A.¹³,Folkesson P.¹⁴,Sangchoolie B.¹⁴

Affiliation:

1. University of Coimbra

2. United Technologies Research Centre,Ireland

3. NXP Semiconductor

4. Rulex Innovation Labs

5. Fraunhofer IESE

6. ERARGE

7. CAF SIGNALLING

8. CNR-IEIIT

9. CISTER/ISEP - Polytechnic Institute of Porto

10. University of L’Aquila

11. AIT Austrian Institute of Technology

12. Brno University of Technology

13. Eskisehir Osmangazi University

14. RISE Research Institutes of Sweden

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/9210504/9217606/09217663.pdf?arnumber=9217663

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Review and Strategic Approach for the Transition towards Third-Wave Trustworthy and Explainable AI in Connected, Cooperative and Automated Mobility (CCAM);2022 27th Asia Pacific Conference on Communications (APCC);2022-10-19

2. Foreseeing the Impact of the Proposed AI Act on the Sustainability and Safety of Critical Infrastructures;15th International Conference on Theory and Practice of Electronic Governance;2022-10-04

3. Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S;Lecture Notes in Computer Science;2022

4. FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller;Requirements Engineering: Foundation for Software Quality;2022

5. A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems;Communications in Computer and Information Science;2021