AI-augmented automation for efficient DevOps, a model-based framework for continuous development At RunTime in cyber-physical systems

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Report on Foundations of MDE and AIOPS for DevOps

This deliverable describes the outputs of the stateoftheart studying activities performed in Task 31 with the aim to provide the scientific and technical background for WP2 WP3 and WP4 as well as for the design of the AIDOaRt integrated tool chain WP5

Dissemination Report - intermediate vers.

This deliverable is an updated version of D63 which will report changes in dissemination strategy and plans as well as provide the outline of the activities upto date

Use cases evaluation report - 2

This report will present the results of the last evaluation phase for AIDOaRt technologies. The report will validate the final release of the AIDOaRt technologies and will have a particular focus on industrial applicability as well as end-users endorsement of the overall approach.

Dissemination Report - final version

This deliverable is an updated version of D6.4, which will report the final changes in the impact strategy and plans as well as provide the outline of the activities up-to date.

AIDOaRt Integration Approach

This report will describe the overall integration approach taking into account the interfaces between tools model exchange formats and deployment peculiarities in order to provide endusers an integrated experience

Communication Plan

Communication plan for the first 12 month of the project This plan will contribute to the further reports

Dissemination Report - initial version.

This report provides an assessment of the progress towards the targeted impact objectives This deliverable reports all the activities for dissemination and community building management

Use cases evaluation report - 1

This report will present the results of the evaluation of the AIDOaRt technologies after the first use case development phase. The document will reflect the analysis of the progress towards the roadmap, requirements coverage and the improvements to be planned.

Use cases requirements and scenarios evaluation report

This report presents the result of the first evaluation of the AIDOaRt technologies on the base of the use cases requirements and defined scenarios The report will include the description of targeted testbed validation methodology experimentation plan

AIDOaRt Core Infrastructure and Framework - intermediate vers.

This deliverable is a consolidated version of D3.2, taking into account the first feedback received by the use case providers and integrating more recent technical developments as well as related new features.

AIDOaRt Core Infrastructure and Framework - initial vers.

This deliverable provides the specifications of the AIDOaRt Core Infrastructure and Framework as designed and developed in Tasks 32 33 and 34 The objective is to provide the general infrastructure modelbased framework and associated core services composing the AIDOaRt platform At this stage the specifications and some corresponding prototypes are provided to the use case providers for early experimentations

AIDOaRt Integrated framework - final vers

This deliverable is the final official release of the AIDOaRt framework.

Data collection and representation - interim. vers.

This deliverable is a consolidated version of D2.1 taking into account the feedback by the end-users and integrating the latest features.

AIDOaRt AI-Augmented toolkit - initial vers

This deliverable will provide the initial version of the AI-augmented tool set as developed in the context of WP4. Relying on the propositions from WP2 and WP4, the support offered by the provided tools will notably cover the features expected by the AIDOaRtuse cases providers in terms of AIOPS for requirements, monitoring, modelling, coding, and testing in the context of DevOps.

AIDOaRt AI-Augmented toolkit - intermediate. vers.

This deliverable describes the consolidated version of the AI-augmented tool set as developed in the context of WP4. A refinement of the previous tool set as provided by D4.2 (thanks to feedback collected from first industrial partners usages).

AIDOaRt Core Infrastructure and Framework - final vers.

This deliverable represents the final iteration of the AIDOaRt Infrastructure and Framework, as to be released for the final integration and evaluation phase of the AIDOaRt project.

AIDOaRt Integrated framework - initial vers.

This deliverable is the first official release of the AIDOaRt framework base on the results of the WP2-4.

Data collection and representation - initial vers.

This deliverable covers the provision of the initial version of the AIDOaRt Data Collection and Representation framework designed and developed in Task 21 Task 22 and Task 23 to support the management of the collected data that represents the initial input required to the AIDOaRt framework Design and prototypes are provided to the use cases owners for early experiments

Data collection and representation - final vers.

This deliverable represents the final iteration of the AIDOaRt Data Collection and Representation framework for the final integration and evaluation.

AIDOaRt AI-Augmented toolkit - final vers.

This deliverable represents the final iteration of the AI-augmented tool set developed in the context of WP4. This final version of the tool set will be the one actually deployed and used in the context of the AIDOaRt use cases.

Public Website and Social Media Presence - initial vers

This deliverable is the initial version of the public website of the AIDOaRt project and setup of the social media channels such as Twitter Linkedin and Youtube

Veröffentlichungen

DescribeML: A dataset description tool for machine learning

Autoren: Joan Giner-Miguelez, Abel Gómez, Jordi Cabot
Veröffentlicht in: Science of Computer Programming, Ausgabe 231, 2024, Seite(n) 103030, ISSN 0167-6423
Herausgeber: Elsevier BV
DOI: 10.1016/j.scico.2023.103030

Identification and Analysis of Bluetooth Devices via Automata Learning

Autoren: Andrea Pferscher, Bernhard K. Aichernig
Veröffentlicht in: Formal Methods in System Design, 2023, ISSN 0925-9856
Herausgeber: Kluwer Academic Publishers

Software assistants in software engineering: A systematic mapping study

Autoren: Maxime Savary-Leblanc, Lola Burgueño, Jordi Cabot, Xavier Le Pallec, Sébastien Gérard
Veröffentlicht in: Softeware: practice and experience, 2022, ISSN 0038-0644
Herausgeber: John Wiley & Sons Inc.
DOI: 10.1002/spe.3170

Dealing With Jamming Attacks in Uplink Pairwise NOMA Using Outage Analysis, Smart Relaying, and Redundant Transmissions

Autoren: Van-Lan Dao, Elisabeth Uhlemann, Svetlana Girs
Veröffentlicht in: IEEE Open Journal of the Communications Society, Ausgabe 5, 2024, Seite(n) 112-126, ISSN 2644-125X
Herausgeber: IEEE
DOI: 10.1109/ojcoms.2023.3339175

Software test results exploration and visualization with continuous integration and nightly testing

Autoren: Per Erik Strandberg, Wasif Afzal, Daniel Sundmark
Veröffentlicht in: International Journal on Software Tools for Technology Transfer, Ausgabe 24, 2022, Seite(n) 261-285, ISSN 1433-2779
Herausgeber: Springer Verlag
DOI: 10.1007/s10009-022-00647-1

Early Validation and Verification of System Behaviour in Model-based Systems Engineering: A Systematic Literature Review

Autoren: Johan Cederbladh, Antonio Cicchetti, Jagadish Suryadevara
Veröffentlicht in: ACM Transactions on Software Engineering and Methodology, Ausgabe 33, 2024, Seite(n) 1-67, ISSN 1049-331X
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3631976

An architecture for model-based and intelligent automation in DevOps

Autoren: Romina Eramo, Bilal Said, Marc Oriol, Hugo Bruneliere, Sergio Morales
Veröffentlicht in: Journal of Systems and Software, Ausgabe 217, 2024, Seite(n) 112180, ISSN 0164-1212
Herausgeber: Elsevier BV
DOI: 10.1016/j.jss.2024.112180

Experiences and challenges from developing cyber‐physical systems in industry‐academia collaboration

Autoren: Johan Cederbladh, Romina Eramo, Vittoriano Muttillo, Per Erik Strandberg
Veröffentlicht in: Software: Practice and Experience, Ausgabe 54, 2024, Seite(n) 1193-1212, ISSN 0038-0644
Herausgeber: John Wiley & Sons Inc.
DOI: 10.1002/spe.3312

AIDOaRt: AI-augmented Automation for DevOps, a Model-based Framework for Continuous Development in Cyber-Physical Systems

Autoren: Hugo Bruneliere Vittoriano Muttillo, Romina Eramo, Luca Berardinelli, Abel Gomez, Alessandra Bagnato, Andrey Sadovykh, Antonio Cicchetti
Veröffentlicht in: Microprocessors and Microsystems (MICPRO) journal, 2022, ISSN 0141-9331
Herausgeber: Elsevier BV

Integrating the Support for Machine Learning of Inter-Model Relations in Model Views.

Autoren: James Pontes Miranda, Hugo Bruneliere, Massimo Tisi, Gerson Sunyé
Veröffentlicht in: The Journal of Object Technology, Ausgabe 23, 2024, Seite(n) 1, ISSN 1660-1769
Herausgeber: EtH Zurich
DOI: 10.5381/jot.2024.23.3.a4

Uncertainty management with extra-functional qualities in multi-artefact co-evolution

Autoren: Francesco Basciani, Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio
Veröffentlicht in: Journal of Object Technology, Ausgabe Volume 20, no. 3 (June 2021), 2021, Seite(n) pp. 2:1-15, ISSN 1660-1769
Herausgeber: EtH Zurich
DOI: 10.5381/jot.2021.20.3.a2

Learning minimal automata with recurrent neural networks

Autoren: Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Martin Tappler
Veröffentlicht in: Software and Systems Modeling, Ausgabe 23, 2024, Seite(n) 625-655, ISSN 1619-1366
Herausgeber: Springer Verlag
DOI: 10.1007/s10270-024-01160-6

Early Validation of SysML Architectures by Extending MBSE with Co‐Simulation using FMI and SSP

Autoren: Johan Cederbladh, Daniel Krems
Veröffentlicht in: INCOSE International Symposium, Ausgabe 34, 2024, Seite(n) 106-121, ISSN 2334-5837
Herausgeber: INCOSE international Symposium
DOI: 10.1002/iis2.13135

An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report

Autoren: Andrey Sadovykh, Bilal Said, Dragos Truscan, Hugo Bruneliere
Veröffentlicht in: Science of Computer Programming, Ausgabe 232, 2023, Seite(n) 103047, ISSN 0167-6423
Herausgeber: Elsevier BV
DOI: 10.1016/j.scico.2023.103047

Architectural support for software performance in continuous software engineering: A systematic mapping study

Autoren: Romina Eramo, Michele Tucci, Daniele Di Pompeo, Vittorio Cortellessa, Antinisca Di Marco, Davide Taibi
Veröffentlicht in: Journal of Systems and Software, Ausgabe 207, 2024, Seite(n) 111833, ISSN 0164-1212
Herausgeber: Elsevier BV
DOI: 10.1016/j.jss.2023.111833

Towards a model-driven approach for multiexperience AI-based user interfaces

Autoren: Elena Planas, Gwendal Daniel, Marco Brambilla, Jordi Cabot
Veröffentlicht in: Software and Systems Modeling, Ausgabe 2021, Volume 20, issue 4, 2021, Seite(n) 997 - 1009, ISSN 1619-1366
Herausgeber: Springer Verlag
DOI: 10.1007/s10270-021-00904-y

Towards a Unified Architecture Methodology for Product Service Systems

Autoren: Johan Cederbladh, Jagadish Suryadevara
Veröffentlicht in: INCOSE International Symposium, Ausgabe 33, 2024, Seite(n) 154-168, ISSN 2334-5837
Herausgeber: INCOSE International Symposium
DOI: 10.1002/iis2.13121

User-driven diverse scenario exploration in model finders

Autoren: Robert Clarisó, Jordi Cabot
Veröffentlicht in: Science of Computer Programming, Ausgabe 2022, Volume 215, 2022, ISSN 0167-6423
Herausgeber: Elsevier BV
DOI: 10.1016/j.scico.2021.102745

Bridging MDE and AI: a systematic review of domain-specific languages and model-driven practices in AI software systems engineering

Autoren: Simon Rädler, Luca Berardinelli, Karolin Winter, Abbas Rahimi, Stefanie Rinderle-Ma
Veröffentlicht in: Software and Systems Modeling, 2024, ISSN 1619-1366
Herausgeber: Springer Verlag
DOI: 10.1007/s10270-024-01211-y

MORGAN: An intelligent modeling assistant based on kernel similarity and graph neural networks

Autoren: Claudio Di Sipio, Juri Di Rocco, Davide Di Ruscio, Phuong T. Nguyen
Veröffentlicht in: International Journal on Software and Systems Modeling, 2023, ISSN 1619-1374
Herausgeber: Springer
DOI: 10.1007/s10270-023-01102-8

Synergizing Transfer Learning and Multi-Agent Systems for Thermal Parametrization in Induction Traction Motors

Autoren: Fozia Mehboob, Anas Fattouh, Smruti Sahoo
Veröffentlicht in: Control and Systems Engineering, 2024, ISSN 2529-7759
Herausgeber: MDPI AG
DOI: 10.20944/preprints202403.0051.v1

A domain-specific language for describing machine learning datasets

Autoren: Joan Giner-Miguelez, Abel Gómez, Jordi Cabot
Veröffentlicht in: Journal of Computer Languages, Ausgabe 76, 2024, Seite(n) 101209, ISSN 2590-1184
Herausgeber: ELSEVIER
DOI: 10.1016/j.cola.2023.101209

Evaluating System Identification Methods for Predicting Thermal Dissipation of Heterogeneous SoCs

Autoren: Joel Öhrling, Sébastien Lafond and Dragos Truscan
Veröffentlicht in: International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS XXI), Ausgabe XXI, 2021
Herausgeber: Spinger LNCS

Applying Model-based Requirements Engineering in Three Large European Collaborative Projects: An Experience Report

Autoren: Andrey Sadovykh, Dragos Truscan, Hugo Bruneliere
Veröffentlicht in: 29th IEEE International Requirements Engineering Conference (RE 2021), 2021, Seite(n) 367-377, ISBN 978-1-6654-2856-9
Herausgeber: IEEE Computer Society
DOI: 10.1109/re51729.2021.00040

Verifying Neural Networks with SMT: An Experimental Evaluation

Autoren: Dario Guidotti, Laura Pandolfo, Luca Pulina
Veröffentlicht in: 2023 IEEE 19th International Conference on e-Science (e-Science), Ausgabe 3345, 2023, Seite(n) 1-2
Herausgeber: IEEE
DOI: 10.1109/e-science58273.2023.10254877

Towards an In-Context LLM-Based Approach for Automating the Definition of Model Views

Autoren: James Pontes Miranda, Hugo Bruneliere, Massimo Tisi ,Gerson Sunyé
Veröffentlicht in: 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE’24), 2024
Herausgeber: IEEE
DOI: 10.1145/3687997.3695650

Adaptive test generation for unmanned aerial vehicles using WOGAN-UAV

Autoren: Jesper Winsten, Valentin Soloviev, Jarkko Peltomäki,Ivan Porres
Veröffentlicht in: IEEE/ACM International Workshop on Search-Based and Fuzz Testing, 2024
Herausgeber: IEEE

Towards blended modeling and simulation of DevOps processes: the Keptn case study

Autoren: Alessandro Colantoni, Luca Berardinelli, Antonio Garmendia, Johannes Bräuer
Veröffentlicht in: 2022
Herausgeber: ACM/IEEE

Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning

Autoren: Andrea Pferscher, Bernhard K. Aichernig
Veröffentlicht in: 2022
Herausgeber: Springer LNCS

Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering

Autoren: Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Hans Vangheluwe
Veröffentlicht in: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Ausgabe 7, 2024, Seite(n) 721-725
Herausgeber: IEEE
DOI: 10.1109/models-c59198.2023.00117

Automating Bias Testing of LLMs

Autoren: Sergio Morales, Robert Clarisó, Jordi Cabot
Veröffentlicht in: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Ausgabe 29, 2023, Seite(n) 1705-1707
Herausgeber: IEEE
DOI: 10.1109/ase56229.2023.00018

From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling

Autoren: Stefan F Marksteiner, Christoph Schmittner, Korbinian Christl, Dejan Nickovic, Mikael Sjödin, Marjan Sirjani
Veröffentlicht in: Proceedings of the 7th ACM Computer Science in Cars Symposium, Ausgabe 15408, 2024, Seite(n) 1-10
Herausgeber: ACM
DOI: 10.1145/3631204.3631864

Online GANs for Automatic Performance Testing

Autoren: Ivan Porres, Hergys Rexha, Sebastien Lafond,
Veröffentlicht in: 2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Ausgabe 2021, Volume: 1, 2021, Seite(n) 95-100, ISBN 978-1-6654-4456-9
Herausgeber: IEEE Computer Society

Smart Assistants for Enhancing System Security and Resilience

Autoren: Andrey Sadovykh, Dragos Truscan, Martin Schneider, Wissam Mallouli, Cristina Seceleanu, Tanwir Ahmad and Ana Cavalli
Veröffentlicht in: 2024
Herausgeber: IEEE

Towards AIDOaRt Objectives via Joint Model-based Architectural Effort

Autoren: Bilal SAID, Andrey SADOVYKH, Etienne BROSSE and Alessandra BAGNATO
Veröffentlicht in: 2022
Herausgeber: CEUR

Towards continuous consistency checking of DevOps artefacts

Autoren: Colantoni, Alessandro ; Horváth, Benedek ; Horváth, Ákos ; Berardinelli, Luca ; Wimmer, Manuel
Veröffentlicht in: MODELS '21 Companion, Ausgabe 24rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2021, ISBN 978-1-6654-2484-4
Herausgeber: ACM/IEEE

Classifying Ambiguous Requirements: An Explainable Approach in Railway Industry

Autoren: Lodiana Beqiri, Calkin Suero Montero, Antonio Cicchetti, Andrey Kruglyak
Veröffentlicht in: 2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW), Ausgabe 22, 2024, Seite(n) 12-21
Herausgeber: IEEE
DOI: 10.1109/rew61692.2024.00007

AI-based estimation of embedded software execution cycles in host-compiled simulation

Autoren: Raúl Gómez-Varela, David Aledo, Héctor Posadas and Eugenio Villar
Veröffentlicht in: Proceedings of the Design of Circuits and Integrated Systems (DCIS 2024), Ausgabe 2024, 2024
Herausgeber: IEEE

Providing Upgrade Plans for Third-party Libraries: A Recommender System using Migration Graphs

Autoren: Riccardo Rubei. Davide Di Ruscio, Claudio Di Sipio, Juri Di Rocco, Phuong T. Nguyen
Veröffentlicht in: Applied Intelligence: The International Journal of Research on Intelligent Systems for Real Life Complex Problems, 2022
Herausgeber: Springer
DOI: 10.1007/s10489-021-02911-4

Automation Support for System Simulation and Architecture Layout Design in Cyber-Physical Systems Engineering

Autoren: Johan Cederbladh, Martin Eisenberg, Luca Berardinelli, Damir Bilic
Veröffentlicht in: MODELS 2024 SAM Conference, 2024
Herausgeber: IEEE

Towards the Integration Support for Machine Learning of Inter-Model Relations in Model Views

Autoren: James Pontes Miranda, Hugo Bruneliere, Massimo Tisi, Gerson Sunyé
Veröffentlicht in: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024, Seite(n) 1304-1306
Herausgeber: ACM
DOI: 10.1145/3605098.3636143

Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents

Autoren: Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin
Veröffentlicht in: ACM International Conference Proceeding Series, Association for Computing Machinery , 2024, 2024
Herausgeber: Association for Computing Machinery

Automated quality assessment of interrelated modeling artifacts

Autoren: Francesco Basciani, Davide Di Ruscio, Ludovico Iovino and Alfonso Pierantonio
Veröffentlicht in: Euromicro DSD/SEAA 2021 Conference, 2021, Seite(n) 234-243, ISBN 978-1-6654-2705-0
Herausgeber: IEEE Conference Publishing Services (CPS)
DOI: 10.1109/seaa53835.2021.00037

Towards a DSL for AI Engineering Process Modeling

Autoren: Sergio Morales, Robert Clarisó, Jordi Cabot
Veröffentlicht in: 2022
Herausgeber: Springer

A DSL for Testing LLMs for Fairness and Bias

Autoren: Sergio Morales, Robert Clarisó, Jordi Cabot
Veröffentlicht in: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Ausgabe 21, 2024, Seite(n) 203-213
Herausgeber: ACM
DOI: 10.1145/3640310.3674093

A Road-Map for Transferring Software Engineering methods for Model-Based Early V&V of Behaviour to Systems Engineering

Autoren: Johan Cederbladh, Antonio Cicchetti
Veröffentlicht in: 2024
Herausgeber: ACM

SBFT Tool Competition 2023 - Cyber-Physical Systems Track

Autoren: Matteo Biagiola, Stefan Klikovits, Jarkko Peltomäki, Vincenzo Riccio
Veröffentlicht in: 2023 IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT), 2023
Herausgeber: IEEE
DOI: 10.1109/sbft59156.2023.00010

Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents

Autoren: Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin
Veröffentlicht in: Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024, Seite(n) 1-8
Herausgeber: ACM
DOI: 10.1145/3664476.3670454

Industrial Requirements for Supporting AI-Enhanced Model-Driven Engineering

Autoren: Johan Bergelin, Per Erik Strandberg
Veröffentlicht in: 2022
Herausgeber: ACM/IEEE

Towards continuous modelling to enable DevOps: a preliminary study with practitioners

Autoren: Johan Bergelin, Antonio Cicchetti
Veröffentlicht in: 2022
Herausgeber: ACM/IEEE

Using NLP tools to detect ambiguities in system requirements - A comparison study

Autoren: Aleksandar Bajceta, Miguel Leon,Wasif Afzal, Pernilla Lindberg, and Markus Bohlin
Veröffentlicht in: 2022
Herausgeber: CEUR-WS.org

Light-Weight MBSE Approach for Construction Equipment Domain - An Experience Report

Autoren: Johan Cederbladh, Jagadish Suryadevara
Veröffentlicht in: 2023 30th Asia-Pacific Software Engineering Conference (APSEC), Ausgabe 176, 2024, Seite(n) 51-60
Herausgeber: IEEE
DOI: 10.1109/apsec60848.2023.00015

AsyncSLA: Towards a Service Level Agreement for Asynchronous Services

Autoren: Marc Oriol, Abel Gómez, Jordi Cabot
Veröffentlicht in: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, Ausgabe 3, 2024, Seite(n) 1781-1788
Herausgeber: ACM
DOI: 10.1145/3605098.3636074

Resource Constrained Test Case Prioritization with Simulated Annealing in an Industrial Context

Autoren: Eric Felding, Per Erik Strandberg, Nils-Hassan Quttineh, Wasif Afzal
Veröffentlicht in: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, Ausgabe 42, 2024, Seite(n) 1694-1701
Herausgeber: ACM
DOI: 10.1145/3605098.3635971

Enabling Fast Exploration and Validation of Thermal Dissipation Requirements for Heterogeneous SoCs

Autoren: Joel Ohrling, Dragos Truscan, Sebastien Lafond
Veröffentlicht in: 2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Ausgabe 2021, Volume: 1, 2021, Seite(n) 114-123, ISBN 978-1-6654-4456-9
Herausgeber: IEEE Computer Society
DOI: 10.1109/icstw52544.2021.00030

Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems

Autoren: Jarkko Peltomäki, Frankie Spencer, Ivan Porres
Veröffentlicht in: 2022
Herausgeber: IEEE

Performance Comparison of IEEE 802.11p and LTE-V2X Through Field-Tests and Simulations

Autoren: Joseba Gorospe, Daniel Garcia, Erislandy Mozo, Shahriar Hasan, Arrate Alonso Gómez, Elisabeth Uhlemann
Veröffentlicht in: 2024 IEEE Vehicular Networking Conference (VNC), 2024, Seite(n) 81-88
Herausgeber: IEEE
DOI: 10.1109/vnc61989.2024.10576013

Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project

Autoren: Romina Eramo, Tiziana Fanni, Dario Guidotti, Laura Pandolfo, Luca Pulina, Katiuscia Zedda
Veröffentlicht in: 2022
Herausgeber: ceur-ws.org

WOGAN at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track

Autoren: Jesper Winsten, Ivan Porres
Veröffentlicht in: 2023 IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT), 2023
Herausgeber: IEEE
DOI: 10.1109/sbft59156.2023.00009

Data-driven reinforcement learning-based parametrization of a thermal model in induction traction motors

Autoren: Anas Fattouh, Smrutirekha Sahoob
Veröffentlicht in: Linköping Electronic Conference Proceedings, Proceedings of the 64th International Conference of Scandinavian Simulation Society, SIMS 2023 Västerås, Sweden, September 25-28, 2023, Ausgabe 200, 2023, Seite(n) 310-317
Herausgeber: Linköping University Electronic Press
DOI: 10.3384/ecp200040

WOGAN at the SBST 2022 CPS Tool Competition

Autoren: Jarkko Peltomäki, Frankie Spencer, Ivan Porres
Veröffentlicht in: 2022
Herausgeber: IEEE

Requirement or not, that is the question:A case from the railway industry

Autoren: Sarmad Bashir, Muhammad Abbas, Mehrdad Saadatmand, Eduard Paul Enoiu, Markus Bohlin, Pernilla Lindberg
Veröffentlicht in: 2023
Herausgeber: Springer
DOI: 10.1007/978-3-031-29786-1_8

AIDOaRt: AI-augmented Automation for DevOps, a Model-based Framework for Continuous Development in Cyber-Physical Systems

Autoren: Romina Eramo, Vittoriano Muttillo, Luca Berardinelli, Hugo Bruneliere, Abel Gomez, Alessandra Bagnato, Andrey Sadovykh, Antonio Cicchetti
Veröffentlicht in: Euromicro DSD/SEAA 2021 Conference, 2021, Seite(n) 303-310, ISBN 978-1-6654-2703-6
Herausgeber: IEEE Conference Publishing Services (CPS)
DOI: 10.1109/dsd53832.2021.00053

ARCH-COMP23 Category Report: Falsification

Autoren: Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang
Veröffentlicht in: EPiC Series in Computing, Ausgabe 96, 2023, Seite(n) 151-131
Herausgeber: EasyChair
DOI: 10.29007/6nqs

Application de l'Ingénierie des Exigences basée sur les Modèles dans Trois Grands Projets Collaboratifs Européens: Un Rapport d'Expérience

Autoren: Andrey Sadovykh, Hugo Bruneliere, Dragos Truscan
Veröffentlicht in: 2022
Herausgeber: Hal open science

ARCH-COMP 2024 Category Report: Falsification

Autoren: Tanmay Khandait, Federico Formica, Paolo Arcaini, Surdeep Chotaliya, Georgios Fainekos, Abdelrahman Hekal, Atanu Kundu, Ethan Lew, Michele Loreti, Claudio Menghi, Laura Nenzi, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Valentin Soloviev, Ennio Visconti, Masaki Waga, Zhenya Zhang
Veröffentlicht in: EPiC Series in Computing, Ausgabe 103, 2024, Seite(n) 122-98
Herausgeber: EasyChair
DOI: 10.29007/hgfv

Leveraging model-driven technologies for JSON artefacts : the shipyard case study

Autoren: Colantoni, Alessandro ; Garmendia, Antonio ; Berardinelli, Luca ; Wimmer, Manuel ; Bräuer, Johannes
Veröffentlicht in: MODELS '21, Ausgabe 24rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2021
Herausgeber: ACM/IEEE

Dynamic Test Case Prioritization in Industrial Test Result Datasets

Autoren: Alina Torbunova, Per Erik Strandberg, Ivan Porres
Veröffentlicht in: Proceedings of the 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024), 2024, Seite(n) 154-158
Herausgeber: ACM
DOI: 10.1145/3644032.3644452

Teaching and Training in Formalisation with B

Autoren: Thierry Lecomte
Veröffentlicht in: Formal Methods Teaching Workshop, 2023
Herausgeber: Springer
DOI: 10.1007/978-3-031-27534-0_6

Enabling Content Management Systems as an Information Source in Model-Driven Projects

Autoren: Joan Giner-Miguelez, Abel Gómez, Jordi Cabot
Veröffentlicht in: 2022
Herausgeber: Springer

AI-augmented Model-Based Capabilities in the AIDOaRt Project: Continuous Development of Cyber-Physical Systems

Autoren: Alessandra Bagnato, Antonio Cicchetti, Luca Berardinelli, Hugo Bruneliere, Romina Eramo
Veröffentlicht in: 2022
Herausgeber: Ada Europe

(Not) Yet Another Metamodel For Traceability

Autoren: Edouard R. Batot, Jordi Cabot, Sebastien Gerard
Veröffentlicht in: The 13th System Analysis and Modelling Conference (SAM 2021), collocated with the 24th International Conference on Model-Driven Engineering and Systems (MODELS 2021), Ausgabe 13th, 2021, Seite(n) 787-796, ISBN 978-1-6654-2484-4
Herausgeber: IEEE

Testing cyber-physical systems with explicit output coverage

Autoren: Jarkko Peltomäki, Jesper Winsten, Maxime Methais, Ivan Porres
Veröffentlicht in: 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2024
Herausgeber: IEEE

Towards Interoperable Digital Twins: Integrating SysML into AAS with Higher-Order Transformations

Autoren: Enxhi Ferko, Luca Berardinelli, Alessio Bucaioni, Moris Behnam, Manuel Wimmer
Veröffentlicht in: 2024 IEEE 21st International Conference on Software Architecture Companion (ICSA-C), Ausgabe 57, 2024, Seite(n) 342-349
Herausgeber: IEEE
DOI: 10.1109/icsa-c63560.2024.00063

Correlating Logical and Physical Models for Early Performance Validation - An Experience Report

Autoren: Johan Cederbladh, Marcel Gottschall, Jagadish Suryadevara, Khaled Alekeish
Veröffentlicht in: 2024 IEEE International Systems Conference (SysCon), Ausgabe 25, 2024, Seite(n) 1-8
Herausgeber: IEEE
DOI: 10.1109/syscon61195.2024.10553493

Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data

Autoren: Martin Tappler, Andrea Pferscher, Bernhard K. Aichernig, Bettina Könighofer
Veröffentlicht in: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, Ausgabe 123, 2024, Seite(n) 1-13
Herausgeber: ACM
DOI: 10.1145/3597503.3623311

Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report

Autoren: Dario Guidotti, Laura Pandolfo, Luca Pulina
Veröffentlicht in: 2023 IEEE 35th International Conference on Tools with Artificial Intelligence (ICTAI), Ausgabe 2495, 2024, Seite(n) 423-428
Herausgeber: IEEE
DOI: 10.1109/ictai59109.2023.00068

Endowing third-party libraries recommender systems with explicit user feedback mechanisms

Autoren: Riccardo Rubei, Claudio Di Sipio, Juri Di Rocco, Davide Di Ruscio and Phuong T. Nguyen
Veröffentlicht in: 2022
Herausgeber: IEEE

Barriers for Adopting FMI-Based Co-Simulation in Industrial MBSE Processes

Autoren: Johan Cederbladh, Anna Reale, Andreas Bergsten, Richard Mikelöv, Antonio Cicchetti
Veröffentlicht in: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Ausgabe 33, 2024, Seite(n) 510-519
Herausgeber: IEEE
DOI: 10.1109/models-c59198.2023.00088

Towards Automating Model-Based Systems Engineering in Industry - An Experience Report

Autoren: Johan Cederbladh, Luca Berardinelli, Hugo Bruneliere, Antonio Cicchetti, MohammadHadi Dehghani, Claudio Di Sipio, James Miranda, Abbas Rahimi, Riccardo Rubei, Jagadish Suryadevara
Veröffentlicht in: 2024 IEEE International Systems Conference (SysCon), Ausgabe 12, 2024, Seite(n) 1-8
Herausgeber: IEEE
DOI: 10.1109/syscon61195.2024.10553610

On the impact of Performance Antipatterns in multi-objective software model refactoring optimization

Autoren: Vittorio Cortellessa, Daniele Di Pompeo, Vincenzo Stoico, Michele Tucci
Veröffentlicht in: 47th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2021, Ausgabe 47th, 2021, 2021, Seite(n) 224--233
Herausgeber: IEEE Conference Publishing Services (CPS)
DOI: 10.1109/seaa53835.2021.00036

Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits

Autoren: Jarkko Peltomäki, Ivan Porres
Veröffentlicht in: 2022
Herausgeber: IEEE

DescribeML: a tool for describing machine-learning datasets

Autoren: Joan Giner, Abel Gómez, Jordi Cabot
Veröffentlicht in: MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
Herausgeber: ACM

Engineering data-sharing practices for a fair and trustworthy AI

Autoren: Joan Giner Miguélez
Veröffentlicht in: 2024
Herausgeber: Universitat Oberta de Catalunya

Model-Driven Security Test Case Generation Using Threat Modeling and Automata Learning

Autoren: Stefan Marksteiner
Veröffentlicht in: 2024
Herausgeber: Mälardalen University

Automata Learning for Security Testing and Analysis in Networked Environments

Autoren: Andrea Pferscher
Veröffentlicht in: 2023
Herausgeber: Graz University of Technology

Towards Early Validation and Verification of System Behaviour with Heterogenous Models in Systems Engineering

Autoren: Johan Cederbladh
Veröffentlicht in: 2024, ISSN 1651-9256
Herausgeber: Mälardalen University

Towards Adopting a Digital Twin Framework (ISO 23247) for Battery Systems

Autoren: Johan Cederbladh, Enxhi Ferko, Emil Lundin
Veröffentlicht in: Advances in Intelligent Systems and Computing, ITNG 2024: 21st International Conference on Information Technology-New Generations, 2024, Seite(n) 397-404
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-56599-1_51

Toward Formalizing a Systems of Systems Core Ontology for Capability Configuration: A SysML Approach

Autoren: Joyce Martin, Johan Cederbladh
Veröffentlicht in: Conference on Systems Engineering Research Series, The Proceedings of the 2024 Conference on Systems Engineering Research, 2024, Seite(n) 27-34
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-62554-1_3

Making Sense of Failure Logs in an Industrial DevOps Environment

Autoren: Muhammad Abbas, Ali Hamayouni, Mahshid H. Moghadam, Mehrdad Saadatmand, Per E. Strandberg
Veröffentlicht in: Advances in Intelligent Systems and Computing, ITNG 2023 20th International Conference on Information Technology-New Generations, 2023, Seite(n) 217-226
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-031-28332-1_25

The Westermo test results data set

Autoren: Per Erik Strandberg
Veröffentlicht in: GitHub, 2022
Herausgeber: GitHub

Suche nach OpenAIRE-Daten ...

Leistungen

Veröffentlichungen

Diese Seite teilen

Herunterladen