Events

since 2005

FAACS 2018

2ND WORKSHOP ON FORMAL APPROACHES FOR ADVANCED COMPUTING SYSTEMS

Held in Conjunction with the 12th European Conference on Software Architecture (ECSA 2018)

September, 24 – 28  2018

Madrid, Spain

 

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.

More info: http://fmse.di.unimi.it/faacs2018/

 

 
Back 2018-04-05

 

SisInf Lab - Information Systems Laboratory

Research group of Politecnico di Bari
Edoardo Orabona St, 4 Bari, Italy