Reijo Tuokko

Learn More
Abstrocr This paper addresses formal vslidatian of distributed logic c~ntrollers represented in Visusl Flowchart Language (VFL) that is B high-level programming language used in industrial automstion. Traditional validatioo approaches based on simulation become obsolete in recanfigurable manufacturing systems where complex machines have decentralized(More)
This paper introduces a framework for formal modelling and validation of automation systems destined to be used directly by control engineers. The framework is based on a modelling formalism of Net Condition/Event Systems (NCES), which is graphical, modular and typed. This allows for the modelling of realistic hierarchically organised automation systems in(More)
The Industrial Activity Board (IAB) has a mission to strengthen the presence of industry and commercial sectors in the IEEE Robotics and Automation Society (RAS) and increase the cross-fertilization and synergy between research and practice by promoting the activities relevant to industry and commercial sectors. To carry out this mission, IAB has launched(More)
So far the desktop manufacturing is mainly done as islands of process modules or in some seldom cases the desktop factory is created in form of manufacturing line. Tampere University of Technology has been working on such desktop factory concepts for years and come out a microFactory concept (TUT-μF). The paper discusses architectural aspects and proposes(More)
Distributed simulation has the potential to become widely applicable for geographically-dispersed manufacturing environments, as is the case with desktop manufacturing or rapidly deployable micro-assembly stations. The work presented here discusses in detail the theory of the distributed manufacturing simulation infrastructure based on the IEEE HLA standard(More)
The acceptance of formal methods in industry is a challenging task mainly due to difficult learning process and the lack of the tools and methods helping control engineer to interpret the results of formal verification procedure. We model existing source code of the controller and controller related information (controller model) along with controlled(More)