Verification of event-driven software systems using the specification language of cooperating automata objects

Verification of event-driven software systems using the specification language of cooperating automata objects

The CIAO (Cooperative Interaction Automata Objects) specification language is intended to describe the behavior of distributed and parallel event-driven systems. This class of systems includes various software and hardware systems for control, monitoring, data collection, and processing. The ability...

Full description

Bibliographic Details
Main Authors: Irina V. Afanasieva, Fedor A. Novikov, Ludmila N. Fedorchenko
Format: Article
Language:English
Published: Saint Petersburg National Research University of Information Technologies, Mechanics and Optics (ITMO University) 2023-08-01
Series:Naučno-tehničeskij Vestnik Informacionnyh Tehnologij, Mehaniki i Optiki
Subjects:
verification
event-driven programs
critical system development
regular expressions
elevator control system
Online Access:https://ntv.ifmo.ru/file/article/22199.pdf

Internet

https://ntv.ifmo.ru/file/article/22199.pdf

Similar Items