Neutralizing semantic ambiguities of function block architecture by modeling with ASM

DOI10.1007/978-3-662-46823-4_7MaRDI QIDQ3455059zbMATH OpenOpenAlexFDO

Authors Sandeep P. Patil, Victor Dubinin, Cheng Pang, Valeriy Vyatkin

Publication date 3 December 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-46823-4_7

zbMATH Keywords

abstract state machinesformal semanticsformal verificationIEC 61499model checking

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Distributed systems (68M14) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal modelling of IEC 61499 function blocks with integer-valued data types
• scientific article; zbMATH DE number 1497764
• scientific article; zbMATH DE number 1836375
• Component-based formal modeling of PLC systems
• The ASM workbench. A tool environment for computer-aided analysis and validation of abstract state machine models

Cites work

• A high-level modular definition of the semantics of C\(_{\sharp}\)
• A mathematical definition of full Prolog
• Evolving Algebras 1993: Lipari Guide
• scientific article; zbMATH DE number 1650458 (Why is no real title available?)
• scientific article; zbMATH DE number 1555194 (Why is no real title available?)

Cited in

(3)

• scientific article; zbMATH DE number 1497764 (Why is no real title available?)
• scientific article; zbMATH DE number 1836375 (Why is no real title available?)
• Formal modelling of IEC 61499 function blocks with integer-valued data types

This page was built for publication: Neutralizing semantic ambiguities of function block architecture by modeling with ASM

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3455059)