Contributions to Books:
M. Askarpour, C. Ghezzi, D. Mandrioli, M. Rossi, C. Tsigkanos:
"Formal Methods in Designing Critical Cyber-Physical Systems";
in: "From Software Engineering to Formal Methods and Tools, and Back",
M. ter Beek, A. Fantechi, L. Semini (ed.);
Springer Nature Switzerland AG 2021,
Cyber-Physical Systems (CPS) are increasingly applied in critical contexts, where they have to support safe and secure operations, often subject to stringent timing requirements. Typical examples are scenarios involving automated living or working spaces in which humans operate, or human-robot collaborations (HRC) in modern manufacturing. Formal methods have been traditionally investigated to support modeling and verification of critical systems. In this paper, we review some of the main new challenges arising in the application of formal methods to modeling and verification of CPS. We do that by presenting two case studies (emergency response in a smart city and a smart manufacturing system), reflecting past work of the authors, from which some general lessons are distilled.
Cyber-Physical Systems (CPS) · Formal model · Formal verification · Model-based design
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.