[ecoop-info] Call for Participation: FormaliSE 2021
lucia.nasti at di.unipi.it
Fri Apr 2 10:27:52 CEST 2021
Call for Participation: FormaliSE 2021 (www.formalise.org)
On-line conference on Formal Methods in Software Engineering (May
Co-located event of ICSE 2021
FormaliSE is a yearly conference on Formal Methods in Software
FormaliSE is organized by FME (Formal Methods Europe) and is co-located
ICSE (International Conference on Software Engineering). The main goal
conference is to foster integration between the formal methods and the
engineering communities. The lack of formalization in key places makes
engineering overly sensitive to the weaknesses that are inevitable in
complex activities behind software creation. This is where formal
have a huge opportunity.
This year FormaliSE will be held on-line, with real-time presentations
authors of accepted papers, and by two keynote speakers. The Clowdr
will be used for the presentation. Social interaction with the authors
other participants will be facilitated as well.
See https://www.formalise.org/program for a detailed overview of
keynotes and the list of accepted papers.
Registration for FormaliSE is open. You can register at
handled by ICSE.
Laura Semini and Simon Bliudze (PC Chairs)
Stefania Gnesi and Nico Plat (General Chairs)
Lucia Nasti (Social Media Chair) and Larisa Safina (Virtualisation
Liliana Pasquale (University College Dublin & Lero, Ireland)
`Towards Formalising Sustainable Security'
Cyber-physical systems, such as smart buildings, cities, and industrial
systems are increasingly managed by software. As the cyber and physical
characterizing a software system operating environment are becoming more
intertwined, their attack surface has increased and they have become
targeted by attackers. Considering the critical applications of CPS,
can interrupt the functionality of critical infrastructure, also
human loss. Thus, CPS should be designed to adapt their security
in order to continuously protect valuable assets from harm and satisfy
at runtime (during execution). However, research in the adaptive
security domain has
rarely focused on mitigating unexpected security threats at runtime.
of security controls can affect satisfaction of safety-critical
properties of a
CPS and lead stakeholders (e.g., users and engineers) to lose trust in
This can even be more detrimental considering that stakeholders may need
actively monitor data, support decision making and/or execute security
in order to avoid security requirements violations.
The objective of this talk is to propose the notion of sustainable
systems. Such systems will be capable of detecting new/changing threats
identify effective security controls dynamically. Also, they will endure
engagement of the stakeholders in their operation and use. This talk
existing key research approaches that have been proposed to:
· Formalise adaptive security (cyber-physical) systems and
security threats at runtime
· Support runtime verification of large-scale (cyber-physical) systems
· Assure and explain adaptive security systems
The keynote will highlight research gaps and challenges towards
security systems and will outline a research agenda to tackle these
More information about the ecoop-info