| 1. |
|
|
| 2. |
|
|
| 3. |
|
|
| 4. |
- Vyatkin, Valeriy
(författare)
-
Event-driven traversal of logic circuits for re-evaluation of Boolean functions in reactive systems
- 2003
-
Ingår i: Perspectives of system informatics. - Berlin : Encyclopedia of Global Archaeology/Springer Verlag. - 3540208135 ; , s. 319-328
-
Konferensbidrag (refereegranskat)abstract
- This paper presents an efficient algorithm for re-evaluation of a Boolean function represented as a logic circuit. The algorithm consists of pre-computation and re-evaluation parts. For a given logic circuit and initial input bits, the pre-computation constructs the data structure for the re-computation. The re-evaluation accepts a list of changed input bits and updates the output of the circuit. The pre-computation runs in time linear to size of the circuit and the re-computation performs in time linear to the number of triggered input bits
|
|
| 5. |
- Vyatkin, Valeriy, et al.
(författare)
-
Formal modeling and verification in the software engineering framework of IEC61499 : A way to self-verifying systems
- 2001
-
Ingår i: Proceedings. - Piscataway, NJ : IEEE Communications Society. - 780372417 ; , s. 113-118
-
Konferensbidrag (refereegranskat)abstract
- This paper discusses the issues related to the correctness of agile manufacturing systems with distributed architectures. The corresponding development of software engineering methods targets the goal of easy-re-configurable software self-organized similar to that of the hardware. However, the existing methods of software validation (manual testing or computer-aided simulation) are too slow to keep up with a pace of reconfigurations. In this paper we present an approach and a software tools to incorporate the formal verification to the practice of control engineering. The software package "Verification Environment for Distributed Applications" (VEDA) has been developed for model-based simulation and verification united by a homogeneous graphical user interface. Net Condition Event Systems (NCES) are used for modeling. VEDA deals with distributed controllers as defined in IEC61499 and automatically generates the formal model of the controller given its source code.
|
|
| 6. |
- Vyatkin, Valeriy, et al.
(författare)
-
How does the IEC61499 architecture fit the requirements of intelligent automation systems?
- 2004
-
Ingår i: Collaborative automation - one key for intelligent industrial environments. - Piscataway, NJ : IEEE Communications Society. - 780385136 ; , s. 575-580
-
Konferensbidrag (refereegranskat)abstract
- This paper attempts to illustrate the development of software for intelligent automation systems using the reference architecture of new international standard IEC61499. In particular, it is shown how to encapsulate the code that determines the agent-based behavior of autonomous automated machines into IEC61499 function blocks and how to connect the corresponding software capsules to each other via the underlying communication media
|
|
| 7. |
|
|
| 8. |
|
|
| 9. |
- Vyatkin, Valeriy, et al.
(författare)
-
Verification of distributed control systems in intelligent manufacturing
- 2003
-
Ingår i: Journal of Intelligent Manufacturing. - 0956-5515 .- 1572-8145. ; 14:1, s. 123-136
-
Tidskriftsartikel (refereegranskat)abstract
- This paper presents an application of formal methods for validation of flexible manufacturing systems controlled by distributed controllers. A software tool verification environment for distributed applications (VEDA) is developed for modeling and verification of distributed control systems. The tool provides an integrated environment for formal, model-based verification of the execution control of function blocks following the new international standard IEC61499. The modeling is performed in a closed-loop way using manually developed models of plants and automatically generated models of controllers.
|
|
