Formal modelling of distributed automation CPS with CP-agnostic software

Dmitrii Drozdov, Sandeep Patil*, Valeriy Vyatkin

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaChapterScientificvertaisarvioitu

3 Sitaatiot (Scopus)

Abstrakti

This paper introduces the application of formal modelling to cyber-physical systems for the purpose of formal verification of cyber-physical agnosticism properties of decentralised automation software. Service-oriented cyberphysical systems are modelled using the IEC 61499 function block architecture. Then, the IEC 61499 model is represented in terms of SMV formal language, which is verified using the nuXmv model checker. The timestamped events mechanism is implemented in IEC 61499 using the existing syntax of the standard. The impact of jitter on the behaviour of physical system is demonstrated in both simulation within IEC 61499 execution environment and in counter-examples extracted from nuXmv. The methodology presented in this paper creates the premise for automatic verification of the cyber-physical agnosticism of systems.

AlkuperäiskieliEnglanti
OtsikkoStudies in Computational Intelligence
JulkaisupaikkaCham, Switzerland
Sivut35-46
Sivumäärä12
ISBN (elektroninen)978-3-319-51100-9
DOI - pysyväislinkit
TilaJulkaistu - 2017
OKM-julkaisutyyppiA3 Kirjan osa tai toinen tutkimuskirja
TapahtumaInternational Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing - New University of Lisbon, Lisbon, Portugali
Kesto: 6 lokakuuta 20167 lokakuuta 2016

Julkaisusarja

NimiStudies in Computational Intelligence
KustantajaSpringer
Vuosikerta694
ISSN (painettu)1860-949X

Workshop

WorkshopInternational Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing
LyhennettäSOHOMA
Maa/AluePortugali
KaupunkiLisbon
Ajanjakso06/10/201607/10/2016

Sormenjälki

Sukella tutkimusaiheisiin 'Formal modelling of distributed automation CPS with CP-agnostic software'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Siteeraa tätä