The aim of the FESCA workshop is to bring together junior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for software engineering.<br>Workshop Aim<br>In recent years, the growing importance of functional correctness and the increased relevance of system quality properties (e.g. performance, reliability, security) have stimulated the emergence of analytical and modelling techniques for the design and development of software systems. With the increasing complexity and utilization of today′s software systems, FESCA aims at addressing two research questions: (1) what role is played by the software design phase in the systematic addressing of the analytical and modelling challenges, and (2) how can formal and semi–formal techniques be effectively applied to make the issues easier to address automatically, with lower human intervention.<br>Workshop Topics<br>We encourage submissions on (semi–)formal techniques and their application that aid analysis, design and implementation of software applications, especially those employed in interconnected, communicating devices, devices interacting with the physical world, and cyber–physical systems. The topics include (but are not limited to):<br>Formal modelling of component–based, timed and hybrid systems<br>Algorithmic controller synthesis<br>Correctness checking<br>Safety verification<br>Temporal properties and their formal verification<br>Interface compliance and contractual use of components<br>Analysis and prediction of quality attributes<br>Formal prediction and analysis<br>Static and dynamic analysis<br>Instrumentation and monitoring approaches<br>Industrial case studies and experience reports<br>
Abbrevation
FESCA
City
Eindhoven
Country
Netherlands
Deadline Paper
Start Date
End Date
Abstract