Logo des Repositoriums

Auflistung nach Autor:in "Ghezzi, Carlo"

1 - 2 von 2
  • Konferenzbeitrag
    Modeling and Verification of Evolving Cyber-Physical Spaces
    (Software Engineering und Software Management 2018, 2018) Tsigkanos, Christos; Kehrer, Timo; Ghezzi, Carlo
    In this work, we report about recent research results on the Modeling and Verification of Evolving Cyber-Physical Spaces, published in ESEC/FSE17. We increasingly live in cyber-physical spaces – spaces that are both physical and digital, and where the two aspects are intertwined. Such spaces are highly dynamic and typically undergo continuous change. Software engineering can have a profound impact in this domain, by defining suitable modeling and specification notations as well as supporting design-time formal verification. In this paper, we present a methodology and a technical framework which support modeling of evolving cyber-physical spaces and reasoning about their spatio-temporal properties. We utilize a discrete, graph-based formalism for modeling cyber-physical spaces as well as primitives of change, giving rise to a reactive system consisting of rewriting rules with both local and global application conditions. Formal reasoning facilities are implemented adopting logic-based specification of properties and according model checking procedures, in both spatial and temporal fragments. We evaluate our approach using a case study of a disaster scenario in a smart city.
  • Konferenzbeitrag
    Specification patterns from research to industry: A case study in service-based applications
    (Software Engineering 2014, 2014) Bianculli, Domenico; Ghezzi, Carlo; Pautasso, Cesare; Senti, Patrick