posted by user: alexander_perucci || 6851 views || tracked by 4 users: [display]

ASYDE 2020 : Automated and verifiable Software sYstem DEvelopment

FacebookTwitterLinkedInGoogle

Link: http://asyde2020.disim.univaq.it/
 
When Sep 15, 2020 - Sep 15, 2020
Where Amsterdam, The Netherlands
Submission Deadline Jul 31, 2020
Notification Due Aug 24, 2020
Categories    software engineering   formal methods   services   machine learning
 

Call For Papers

ASYDE 2020 is the 2nd International Workshop on Automated and verifiable Software sYstem DEvelopment, co-located with the 18th International Conference on Software Engineering and Formal Methods (SEFM 2020).

ASYDE 2020 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.

The mission of the ASYDE workshop is to consolidate interest of the SEFM community and related forums on the interplay between software engineering and formal aspects of automated and verifiable software system development.

ASYDE 2020 welcomes research papers, (industrial) experience papers and case-studies, tool demonstrations and visionary papers; nevertheless, papers describing novel research contributions and innovative applications are of particular interest.

SUBMISSION GUIDELINES
======================

* Submission is electronic, through https://easychair.org/conferences/?conf=asyde2020
* Papers should must be formatted according to the guidelines for Springer LNCS papers (https://www.springer.com/it/computer-science/lncs)
* All accepted papers will be published as part of the Workshop LNCS Proceedings Volume (http://www.springer.com/lncs).

All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:

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 FM and SE 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.

TOPICS
======

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

KEYNOTES
========

Emilio Tuosto, Associate Professor at Gran Sasso Science Institute

* TITLE: Open Problems in Choreographic Development of Message-Passing Applications
* ABSTRACT: Communicating systems are ubiquitous and message-passing is gaining momentum as a suitable programming paradigm and coordination model. Design methods, tools, and programming approaches based on choreographies have attracted the attention of both academy and software industry. Important steps forward have been made thanks to the adoption of those techniques both in the realm of formal methods and for practical support to the engineering of message-passing software. Choreographies can be used at different stages of the development life-cycle of message-passing software. In fact, choreographies (i) are a suitable specification language, (ii) naturally enable model-driven development, and (iii) offer support to formal verification and to automatic code generation. Yet developing and reasoning about message-passing applications is difficult. After glossing over a few paradigmatic examples of techniques based on choreographies, this talk will highlight some of their limitations and discuss some open problems in choreographic development.


Edward A. Lee, Professor of the Graduate School Robert S. Pepper Distinguished Professor Emeritus University of California at Berkeley

* TITLE: More Deterministic Software for Cyber-Physical Systems
* ABSTRACT: The design of concurrent, real-time, and distributed software for embedded systems, robotics, and the internet of things has been evolving, moving away from low-level C code and RTOS scheduling. Increasingly promising frameworks based on publish-and-subscribe (e.g. ROS, MQTT), service-oriented architectures (e.g. gRPC, Apache Thrift), or actors (e.g. Erlang, Ray, Akka) offer higher-level abstractions with better control over concurrency. However, these technologies have been developed for or modeled after enterprise-scale information technology and have not been adapted to the unique requirements of cyber-physical systems. In particular, they have nondeterministic concurrency and weak control over timing. Moreover, these technologies are not well poised to take advantage of impending technology improvements in time-sensitive networking and precision-timed microprocessors.
In this talk, I will introduce Lingua Franca, a polyglot coordination language with an explicit model of time, more deterministic concurrency, and support for efficient, fault-tolerant, distributed applications. In Lingua Franca, components called reactors (actors revisited) execute under a deterministic, discrete-event model of computation that combines the best features of actors with the best features of synchronous languages. The functionality of a reactor is written in an unmodified target language (currently C, C++, or TypeScript). Using the C target, the Lingua Franca compiler generates extremely efficient, low footprint embedded C code that can execute on an embedded bare-iron platform or on a high-end multicore microprocessor, transparently exploiting application parallelism and realizing earliest-deadline-first scheduling. With the TypeScript target, seamless integration with the Node.js ecosystem offers a wealth of high-level IoT capabilities.
The Lingua Franca design team currently consists of Marten Lohstroh, Christian Menard, Soroush Bateni, Matt Weber, Alexander Schulz-Rosengarten, Shaokai Lin, and Edward Lee, with smaller contributions from a number of others. The language and implementation are open source with a BSD license. Many aspects of the language design are based on decades of experience with the Ptolemy II framework.

ORGANIZATION
============

Program Committee:
* Luciano Baresi - Politecnico di Milano, Italy
* Steffen Becker - University of Stuttgart, Germany
* Domenico Bianculli - University of Luxembourg, Luxembourg
* Antonio Brogi - Universita' di Pisa, Italy
* Giovanni Denaro - Universita' di Milano - Bicocca, Italy
* Antinisca Di Marco - Università dell'Aquila, Italy
* Amleto Di Salle - Università dell'Aquila, Italy
* Nikolaos Georgantas - INRIA, France
* Ehsan Khamespanah - University of Tehran, Iran
* Marina Mongiello - Politecnico di Bari, Italy
* Cristina Seceleanu - Mälardalen University, Sweden
* Meng Sun - Peking University, China
* Apostolos Zarras - University of Ioannina, Greece

Organizing committee:
* Marco Autili (main contact) - Department of Information Engineering, Computer Science and Mathematics - University of L’Aquila, L’Aquila (AQ), Italy
* Federico Ciccozzi - Division of Computer Science and Software Engineering – Mälardalen University, Västerås, Sweden
* Francesco Gallo - Department of Information Engineering, Computer Science and Mathematics - University of L’Aquila, L’Aquila (AQ), Italy
* Marjan Sirjani - Division of Computer Science and Software Engineering – Mälardalen University,Västerås, Sweden

CONTACT
=======

All questions about submissions should be emailed to marco.autili [at] univaq.it

Related Resources

IEEE- CCRIS 2025   2025 IEEE 6th International Conference on Control, Robotics and Intelligent System (CCRIS 2025)
DSA 2025   The 12th International Conference on Dependability Systems and Their Applications
AMLDS 2025   IEEE--2025 International Conference on Advanced Machine Learning and Data Science
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
ICCRD 2026   2026 IEEE 18th International Conference on Computer Research and Development (ICCRD 2026)
AIAT 2025   2025 5th International Conference on Artificial Intelligence and Application Technologies (AIAT 2025)
NLPA 2025   6th International Conference on Natural Language Processing and Applications
SAM 2025   System Analysis and Modelling conference
Ei/Scopus-IPCML 2025   2025 International Conference on Image Processing, Communications and Machine Learning (IPCML 2025)
ASE 2025   The IEEE/ACM Automated Software Engineering Conference