** Motivation and scope **<br>Nowadays, services and information are owned by multiple interacting sources and delivered to an unprecedented amount of end–users thanks to the availability of advanced distributed software systems. These systems are built upon new technologies/infrastructures (e.g., cloud infrastructures, IoT connectivity, AI–powered and smart devices, wearable technology) and expose multi–paradigm computing models (e.g., mobile cloud computing, Cloud of Things, autonomic and cognitive computing, social computing). As a consequence, the development of these Advanced Computing Systems requires advanced architectural design exploiting the integration of heterogeneous architecture description languages and styles. Moreover, the employment of 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 trustworthiness or other important quality attributes of such systems represents a very challenging issue that requires rigorous or formal approaches to design, development and validation and verification. Goal of the workshop is to foster integration between formal methods and software architecture promoting new connections and synergies between the two communities in order to strengthen links between them, and to stimulate researchers to share novel ideas, techniques, and lessons learned, from both industrial and academic experts.<br>** Topics **<br>Specific topics include, but are not limited to:<br>– Application of formal/semi–formal methods in:<br>– Linking requirements engineering and software architectures<br>– Architecture design, validation and verification, quality analysis and evaluation<br>– Architecture description languages and meta–models<br>– Architecture–centric model driven engineering<br>– Architecture–centric process models and frameworks<br>– Architectural patterns, styles and tactics, viewpoints and views<br>– Architecture transformation and refinement, architecture–based synthesis<br>– Architecture–based evolution<br>– Integrating formal/semi–formal methods and architecture–centric software engineering for:<br>– Service–Oriented Architectures (SOA), Web services, and Microservices<br>– reconfigurable and self–adaptive systems<br>– mobile applications<br>– cloud applications<br>– mobile cloud applications<br>– IoT applications<br>– smart systems<br>– ultra–large scale, long–lived systems and systems–of–systems<br>– Cyber–Physical Systems<br>– Formal/semi–formal analysis and architecture–centric software engineering provided as a service on the Cloud or in an IoT infrastructure.<br>– Case studies and experience reports in using formal approaches in software architecture design and analysis.<br><div><br></div>
Abbrevation
FAACS
City
Paris
Country
France
Deadline Paper
Start Date
End Date
Abstract