| 1. |
- Bagnato, Alessandra, et al.
(författare)
-
European Project Space Papers for the PROFES 2019 : Summary
- 2019
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Cham : Springer. - 9783030353322 ; , s. 573-576
-
Konferensbidrag (refereegranskat)abstract
- The European Project Space at PROFES 2019 provides an opportunity for researchers involved in ongoing and recently completed research projects (national, European, and international) related to the topics of the conference to present their projects and disseminate the objectives, deliverables, or outcome. © Springer Nature Switzerland AG 2019.
|
|
| 2. |
- Eramo, Romina, et al.
(författare)
-
AIDOaRt : AI-augmented Automation for DevOps, a Model-based Framework for Continuous Development in Cyber-Physical Systems
- 2021
-
Ingår i: 2021 24th Euromicro Conference on Digital System Design (DSD). - 9781665427036 ; , s. 303-310
-
Konferensbidrag (refereegranskat)abstract
- With the emergence of Cyber-Physical Systems (CPS), the increasing complexity in development and operation demands for an efficient engineering process. In the recent years DevOps promotes closer continuous integration of system development and its operational deployment perspectives. In this context, the use of Artificial Intelligence (AI) is beneficial to improve the system design and integration activities, however, it is still limited despite its high potential. AIDOaRT is a 3 years long H2020-ECSEL European project involving 32 organizations, grouped in clusters from 7 different countries, focusing on AI-augmented automation supporting modelling, coding, testing, monitoring and continuous development of Cyber-Physical Systems (CPS). The project proposes to apply Model-Driven Engineering (MDE) principles and techniques to provide a framework offering proper AI-enhanced methods and related tooling for building trustable CPSs. The framework is intended to work within the DevOps practices combining software development and information technology (IT) operations. In this regard, the project points at enabling AI for IT operations (AIOps) to auto-mate decision making process and complete system development tasks. This paper presents an overview of the project with the aim to discuss context, objectives and the proposed approach.
|
|
| 3. |
- Sadovykh, Andrey, et al.
(författare)
-
Model-Based System Engineering in Practice : Document Generation - MegaM@Rt2 Project Experience
- 2018
-
Ingår i: CEE-SECR '18 Proceedings of the 14th Central and Eastern European Software Engineering Conference Russia. - New York, NY, USA : ACM. - 9781450361767
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- MegaM@Rt2 project is a collaborative initiative of the ECSEL Joint Undertaking under Horizon 2020 EU programme. The project regroups 26 partners from 6 different European countries who jointly address challenges of engineering modern cyber-physical systems by using model-based engineering methods. Since it is a model-based project, we adopted a similar approach for dealing with requirements analysis, architecture, design, roadmap planning and development status checking. In these tasks, document generation methods were particularly useful to create a set of "live" reference specifications and contractual reports. We believe that these methods perfectly demonstrate relevant benefits of the model-based approach and are applicable to many other contexts. Document generation has several challenges, since the produced documents should address several goals and target different audience. Hence, we describe this approach in detail in this paper in the form of an experience report.In essence, the MegaM@Rt2 project had a rather trivial task to document inception phase of the project. The challenge arises from the scale of the project, we had to deal with hundreds of requirements from completely different users, hundreds of features of 29 tools, which had to be mapped to those requirements in order to analyze a gap and devise a roadmap for a consistent tool chain. With limited resource on technical coordination we had to be extremely efficient and thus we adopted a model-based approach that we describe in this paper. The paper should be helpful to project managers and architects who wish to discuss on model-based approaches from a practical side.
|
|
| 4. |
- Sadovykh, Andrey, et al.
(författare)
-
REVaMP2 Project: Towards Round-Trip Engineering of Software Product Lines - Approach, Intermediate Results and Challenges
- 2019
-
Ingår i: TOOLS 2019. - Cham : Springer. - 0302-9743 .- 1611-3349.
-
Konferensbidrag (refereegranskat)abstract
- © 2019, Springer Nature Switzerland AG. The REVaMP2 Project is a major European effort towards Round-Trip Engineering of Software Product Lines for software intensive systems. Indeed, software is predominant in almost every modern industry. The importance of time-to-market has grown tremendously in many business domains. Organizations are in a constant search for approaches for mass production of highly customizable systems. The software product lines engineering approach promises to provide up to 10× speed increase benefits in time-to-market. Traditionally, automated tools proposed a top-down approach, i.e., variants were generated from a model of the product line. However, the industry used a bottom-up approach that helped to re-create a product line out of various clones of a system. This operation is very costly and error prone. The goal of REVaMP2 is to automate the process of extracting a product line from various system artifacts and help with verification and the co-evolution of the product line. The project involves 27 partners that contribute with diverse research and industrial practices to address case study challenges stemming from 11 application domains. In this paper, we would like to present the motivation for the project, the current approach, the intermediate results and challenges.
|
|
| 5. |
- Sadovykh, Andrey, et al.
(författare)
-
VeriDevOps : Automated Protection and Prevention to Meet Security Requirements in DevOps
- 2021
-
Ingår i: Design, Automation and Test in Europe Conference, DATE, 2021. - 9783981926354 ; , s. 1330-1333
-
Konferensbidrag (refereegranskat)abstract
- Current software development practices are increasingly based on using both COTS and legacy components which make such systems prone to security vulnerabilities. The modern practice addressing ever changing conditions, DevOps, promotes frequent software deliveries, however, verification methods artifacts should be updated in a timely fashion to cope with the pace of the process. VeriDevOps, Horizon 2020 project, aims at providing a faster feedback loop for verifying the security requirements and other quality attributes of large scale cyber-physical systems. VeriDevOps focuses on optimizing the security verification activities, by automatically creating verifiable models directly from security requirements formulated in natural language, using these models to check security properties on design models and then generating artefacts such as, tests or monitors that can be used later in the DevOps process. The main drivers for these advances are: Natural Language Processing, a combined formal verification and model-based testing approach, and machine-learning-based security monitors. VeriDevOps is in its initial stage - the project started on 1.10.2020 and it will run for three years. In this paper we will present the major conceptual ideas behind the project approach as well as the organizational settings.
|
|
