ASYDE 2021

6th December 2021Virtual Event

3^rd International Workshop on Automated and verifiable Software sYstem DEvelopment

Co-located with the 19th International Conference on Software Engineering and Formal Methods (SEFM 2021)

News

Invited speaker: Patrizio Pelliccione (12:30 GMT - 13:30 CET)

Zoom Link: https://nu-edu-kz.zoom.us/j/95918344553

Registration is now open at: https://sefm-conference.github.io/registration/

Call for Papers

During the last three decades, automation in software development has gone mainstream. Software development teams strive to automate as much of the software development activities as possible. Automation helps, in fact, to reduce development time and cost, as well as to concentrate knowledge by bringing quality into every step of the development process.
Realizing high-quality software systems requires producing software that is efficient, error-free, cost-effective, and that satisfies customer requirements. Thus, one of the most crucial factors impacting software quality concerns not only the automation of the development process but also the ability to verify the outcomes of each process activity and the goodness of the resulting software product as well. Realizing high-quality software systems requires producing software that is efficient, error-free, cost-effective, and that satisfies evolving requirements. Thus, one the most crucial factors impacting software quality concerns not only the automation of the development process but also the ability to verify the outcomes of each process activity and the goodness of the resulting software product as well.
This becomes particularly true these days when we are, and will be, increasingly surrounded by a virtually infinite number of software artifacts - often underspecified - that can be composed to build new applications. This situation radically changes the way software will produced and used:

software is increasingly produced according to a certain goal, that can change during the system's execution, and by integrating existing software;
the focus of software production is then on the ability to perform automated reasoning to achieve software integration and development that can be kept always correct-by-construction via static and dynamic verification.

ASYDE 2021 provides a forum for researchers and practitioners to propose and discuss on automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms.

Topics of interest include, but are not limited to, the following:

Automated software development, verification and integration, for example, Automated synthesis of software integration code, Formal methods for automated software development, Automated and verifiable software development, Software quality assurance for automated software development
Specification, architecture, and design of software and verification models
Description and validation of Non-functional properties of software
Dynamic verification and testing
Correct-by-construction software development
Compositional theories for software development and its (dynamic) verification
Service-oriented and Component-based software development
Serverless-based systems development
Model-driven software development
Microservices, for example, Formal specification of (micro)services, Formal models for microservices, Methods and tools for (semi)-automatically migrating monolithic systems to component-based or microservice-based systems
Automated planning methods
Machine learning and AI techniques
Automatic methods for the development and verification of smart contracts

Important Dates

Abstract Submission

~~1st October, 2021~~ 15th October, 2021

Paper Submission

~~8th October, 2021~~ 22nd October, 2021

Notification

26th November, 2021

Pre-proceedings

TBA

Post-proceedings

TBA

Submission guidelines

ASYDE 2021 welcomes research papers (both long and short), (industrial) experience papers and case-studies, tool demonstrations and visionary papers; nevertheless, papers describing novel research contributions and innovative applications are of particular interest.
Contribution can be:

Regular papers (from 10 to 15 pages): in this category fall contributions that propose novel research work, address challenging problems with innovative ideas, or offer practical contributions (e.g., industrial experiences and case-studies) in the application of Formal Methods and Software Engineering approaches for building software systems via automated development and verification. Regular papers should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested and the potential benefits of the contribution. Authors of papers reporting industrial experiences are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case-study papers should describe significant case-studies and the complete development should be made available for use by reviewers.

Short papers (from 6 to 8 pages): this category includes tool demonstrations, position papers, well-pondered and sufficiently documented visionary papers. Tool demonstration papers should explain enhancements made in comparison to previously published work. Authors of demonstration papers should make their tool available for use by reviewers.

All papers must:

be written in English;
be formatted according to the guidelines for Springer LNCS papers;
be at least 10 pages long (regular papers) or 6 pages long (short papers);
not exceed 8 pages (short papers) or 15 pages (regular papers) for the submission and pre-proceedings (up to 2 additional pages will be given for the post-proceedings, only to address reviewers’ comments and feedback from the workshop)

Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere (IFIP's Author Code of Conduct). Accepted papers will be included in the Springer LNCS post-proceedings of SEFM. Condition for inclusion in the post-proceedings is that at least one of the co-authors has presented the paper at the Symposium.

Each submitted paper will undergo a formal peer review process by at least 3 Program Committee members.

Paper submission is done via EasyChair.

Publication

Accepted papers will be included in the Symposium programme and will appear in the symposium pre-proceedings. Pre-proceedings will be available online before the Symposium. Condition for inclusion in the pre-proceedings is that at least one of the co-authors has registered for the Symposium. Revised versions of accepted papers will be published after the Symposium in a LNCS volume published by Springer. Condition for inclusion in the post-proceedings is that at least one of the co-authors has presented the paper at the Symposium.

Previous editions

ASYDE 2020 (at SEFM)

ASYDE 2019 (at SEFM)

Registration

Registration is now open. Participation is free, but registration is required in order to receive the Zoom link for the conference. To register follow the instructions on the SEFM website.

Invited Speakers

Patrizio Pelliccione (12:30 GMT - 13:30 CET)

Title

Software certification: Lessons Learned from the Development of a Mechanical Ventilator for COVID-19

Abstract

During the COVID-19 pandemic, around the middle of March 2020, a group of physicists, engineers, and physicians offered their time and competencies to develop a simplified mechanical lung ventilator, called MVM (Mechanical Ventilator Milano), to answer the high request of ventilators for Acute Respiratory Distress Syndrome (ARDS) in intensive care units. A prototype was ready in around one month. Since medical software malfunctions can lead to injuries or death of patients, before marketing MVM ventilators and distributing them in hospitals, software certification in accordance with the IEC 62304 standard was mandatory to guarantee system reliability. The team was then complemented by computer scientists specifically devoted to this task. The software re-engineering process, which lasted around two months from the end of the prototype, brought to a strong re-implementation of the device software components, which involved all the stakeholders in a continuous integration setting. In this talk, I will report the experience of the MVM control SW re-engineering necessary to show evidence that the SW adheres to the standards and to consequently obtain the certification. I will share results and lessons learned from this social project, where more than 100 volunteer researchers worked towards software certification at the extreme of their strength to get a real device finished in a rush since strongly required to support physicians in treating COVID-19 patients.

Further information: MVM (Mechanical Ventilator Milano)

Paper describing the overall ventilator: Abba A, et al. The novel Mechanical Ventilator Milano for the COVID-19 pandemic. Phys Fluids (2021).Mar;33(3):037122. doi: 10.1063/5.0044445. Epub 2021 Mar 23. PMID: 33897243; PMCID: PMC8060010.

Paper describing the software certification: Silvia Bonfanti, Andrea Bombarda, Angelo Gargantini, Elvinia Riccobene, Patrizio Pelliccione, Cristiano Galbiati, Masayuki Wada (2021) Lessons Learned from the Development of a Mechanical Ventilator for COVID-19 In: The 32nd International Symposium on Software Reliability Engineering (ISSRE 2021).