A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems

Tutkimustuotos: Lehtiartikkeli

Tutkijat

Organisaatiot

  • Auckland University of Technology
  • Luleå University of Technology
  • NOVA University Lisbon
  • St. Petersburg National Research University of Information Technologies, Mechanics and Optics (ITMO)
  • Instituto de Desenvolvimento de Novas Tecnologias - UNINOVA

Kuvaus

Industrial automation systems (IAS) need to be highly dependable; they should not merely function as expected but also do so in a reliable, safe, and secure manner. Formal methods are mathematical techniques that can greatly aid in developing dependable systems and can be used across all phases of the system development life cycle (SDLC), including requirements engineering, system design and implementation, verification and validation (testing), maintenance, and even documentation. This state-of-the-art survey reports existing formal approaches for creating more dependable IAS, focusing on static formal methods that are used before a system is completely implemented. We categorize surveyed works based on the phases of the SDLC, allowing us to identify research gaps and promising future directions for each phase.

Yksityiskohdat

AlkuperäiskieliEnglanti
Artikkeli8678839
Sivut3772-3783
Sivumäärä12
JulkaisuIEEE Transactions on Industrial Informatics
Vuosikerta15
Numero7
TilaJulkaistu - 1 heinäkuuta 2019
OKM-julkaisutyyppiA2 Arvio tiedejulkaisuussa (artikkeli)

ID: 35441159