FAACS 2018: 2nd Workshop on Formal Approaches for Advanced Computing Systems Madrid, Spain, September 25, 2018 |
Conference website | http://fmse.di.unimi.it/faacs2018/ |
Submission link | https://easychair.org/conferences/?conf=faacs2018 |
Abstract registration deadline | June 11, 2018 |
Submission deadline | June 11, 2018 |
The way services and information are currently delivered to a multitude of end-users is changing impressively thanks to the availability of advanced software systems built on new technologies and infrastructures (such as IoT connectivity and smart devices), and exposing complex computational models (such as mobile, cloud, autonomic, and adaptive computing).
The development of these Advanced Computing Systems requires advanced architectural design exploiting the integration of heterogeneous architecture description languages, architectural patterns, qualitative and quantitative assessment of architectures, and solutions already individually tested in specific contexts. Moreover, the employment of the emerging technologies and computational models may unexpectedly expose the user to undesired consequences, such as threats to confidentiality and even financial or health danger; therefore, assuring the correct behavior and dependability of such systems is a very challenging issue that requires rigorous modeling and formal analysis techniques.
The main goal of the workshop is to foster integration between the formal methods and the software architecture communities with the purpose to promote the connection between the two more carefully than is currently. After the first edition as a satellite workshop of Software Engineering and Formal Methods (SEFM) 2017, this year FAACS will be co-located with ECSA 2018.
Submission Guidelines
Workshop papers must be written in English and prepared following the ACM sigconf format: http://www.acm.org/publications/proceedings-template. Note that the new authoring template must be used (2017 ACM Master article template).
We solicit the following contribution types:
- Full papers about original research and/or case studies (7 pages max, ACM sigconf format).
- Short papers (up to 4 pages, ACM sigconf format) describing: new ideas/work-in-progress, or techniques and/or newly-developed tools or extensions not fully validated yet, or an industry paper reporting on work or experiences on the application of formal methods and software architectures in industry.
List of Topics
Specific topics include, but are not limited to:
- Application of formal/semi-formal methods in:
- Linking requirements engineering and software architectures
- Architecture design, validation and verification, quality analysis and evaluation
- Architecture description languages and meta-models
- Architecture-centric model driven engineering
- Architecture-centric process models and frameworks
- Architectural patterns, styles and tactics, viewpoints and views
- Architecture transformation and refinement, architecture-based synthesis
- Architecture-based evolution
- Integrating formal/semi-formal methods and architecture-centric software engineering for:
- Service-Oriented Architectures (SOA), Web services, and Microservices
- reconfigurable and self-adaptive systems
- mobile applications
- cloud applications
- mobile cloud applications
- IoT applications
- smart systems
- ultra-large scale, long-lived systems and systems-of-systems
- cyber-Physical Systems
- etc.
- Formal/semi-formal analisys and architecture-centric software engineering provided as a service on the Cloud or in an IoT infrastructure.
- Case studies and experience reports in using formal approaches in software architecture design and analysis.
Committees
Program Committee
- Yamine Ait Ameur, IRIT, France
- Alessandro Bianchi, University of Bari, Italy
- Silvia Bonfanti, University of Bergamo, Italy
- Chiara Braghin, University of Milan, Italy
- Antonio Bucchiarone, Bruno Kessler Foundation of Trento, Italy
- Georg Buchgeher, SCCH, Austria
- Matteo Camilli, University of Milan, Italy
- Antonio Filieri, Imperial College London, UK
- Stefan Hallerstede, Aarhus University, Denmark
- Roxana Holom, RISC Software GmbH, Austria
- Fuyuki Ishikawa, National Institute of Informatics, Japan
- Sungwon Kang, Korea Advanced Institute of Science and Technology, Korea
- Jan Kofroň, Charles University, Czech Republic
- Elizabeth Leonard, Center for High Assurance Computer Systems, NRL, USA
- Dominique Méry, LORIA, France
- Francesco Nocera, Politecnico di Bari, Italy
- Diego Pérez-Palacin, Linnaeus University, Sweden
- Andreas Prinz, University of Agder, Norway
- Alexander Raschke, Universität Ulm, Germany
- Neeraj Kumar Singh, INPT-ENSEEIHT/IRIT, France
- Colin Snook, University of Southampton, UK
- Romina Spalazzese, Malmö University, Sweden
- Paola Spoletini, Kennesaw State University, USA
Organizing committee
- Paolo Arcaini, National Institute of Informatics, Japan
- Marina Mongiello, Politecnico di Bari, Italy
- Elvinia Riccobene, Università degli Studi di Milano, Italy
- Patrizia Scandurra, Università degli Studi di Bergamo, Italy
Publication
FAACS 2018 proceedings will be published in the ECSA 2018 Companion Proceedings by ACM Digital Library.
Venue
The workshop will be held in Madrid, Spain, on September 25th, 2018. Check the ECSA website for information about the venue.
Contact
All questions about submissions should be emailed to workshop organizers.