A5022622972- Flexible and Reconfigurable Manufacturing Systems
- Manufacturing Process and Optimization
- Model-Driven Software Engineering Techniques
- Formal Methods in Verification
- Product Development and Customization
- Petri Nets in System Modeling
- Service-Oriented Architecture and Web Services
- Advanced Software Engineering Methodologies
Boston University
2023
ITMO University
2022
With increase in use formal verification tools and methods distributed systems, it is becoming more challenging to analyse the execution traces generated by tools. This paper presents a method for unification of industrial automation based on IEC 61499 standard. Execution trace system sequence events, where each event represents change state system. allow developers explore safely behavior control software. can be obtained several ways, including monitoring real (or its simulator), or as...
This paper presents an example of a systematic approach based on domain-specific languages to implement Function Blocks Modelling Environment (FBME): integrated development environment (IDE) for the international standard IEC 61499. The new open growing importance in Industry 4.0 realm would contribute broader adoption standard-based practices and facilitate efficient automation software development.
With the increase in use of distributed control systems industrial automation, it is becoming more challenging to analyze behavior system evaluate its quality. The lack data coming from during operation also complicates debugging and error finding software. paper presents a quality method IEC 61499 proposed based on combination several techniques: monitoring behavior, recovering missing with simulator, explanation recovered traces by highlighting sequence events that led explored state...