search query: @instructor Lahtinen, Teijo / total: 1
reference: 1 / 1
« previous | next »
Author: | Koukka, Henri |
Title: | PLC-ohjelmien verifiointi 3D-simulointimallien avulla |
Using 3D simulation models for verification of PLC-programs | |
Publication type: | Master's thesis |
Publication year: | 2010 |
Pages: | 79 + [10] Language: fin |
Department/School: | Informaatio- ja luonnontieteiden tiedekunta |
Main subject: | Automaation tietotekniikka (AS-116) |
Supervisor: | Koskinen, Kari O. |
Instructor: | Lahtinen, Teijo |
OEVS: | Electronic archive copy is available via Aalto Thesis Database.
Instructions Reading digital theses in the closed network of the Aalto University Harald Herlin Learning CentreIn the closed network of Learning Centre you can read digital and digitized theses not available in the open network. The Learning Centre contact details and opening hours: https://learningcentre.aalto.fi/en/harald-herlin-learning-centre/ You can read theses on the Learning Centre customer computers, which are available on all floors.
Logging on to the customer computers
Opening a thesis
Reading the thesis
Printing the thesis
|
Location: | P1 Ark Aalto | Archive |
Keywords: | simulation PLC PLC-testing formal methods modeling simulointi PLC PLC-testaus formaalit menetelmät mallinnus |
Abstract (eng): | Modern automation systems are complicated structures. Designing the control of these systems has similarities with traditional software development. Successful control design is based on a high-quality design process and strict testing policy. This thesis deals with the use of formal methods in PLC program development. A reason for using the formal methods is the need for good quality PLC programs with fewer errors. Advantages of simulation have a big role in the thesis. Simulation is a powerful tool for many different cases. In this thesis simulation is introduced as a discrete event model. Discrete event simulation has been widely used to describe production processes. In many cases simulation tools have shown their strength by solving production problems. A successful simulation project is co-operation of simulation experts and people who know the process of the company. The thesis describes the basic structure of a simulation project step by step. Verification and validation (V&V) are discussed from the software development point of view. It is also described how the terms V&V are associated with PLC programs and simulation models. The connection between PLC-programs and 3D simulation modes is shown in practice. A practical case of the thesis is a system in which students can practice and test their PLC-programs with a virtual (simulated) model of a real system. The system was designed for Lahti University of Applied Sciences, Faculty of Technology. |
Abstract (fin): | Nykyaikaiset automaatiojärjestelmät ovat monimutkaisia kokonaisuuksia, joiden ohjaussuunnittelussa on samoja piirteitä kuin perinteisessä ohjelmistosuunnittelussa. Onnistuneen ohjaussuunnittelun perustana on laadukas tuotantoprosessi ja hyvin suunniteltu testauskäytäntö. Työssä tutustutaan formaalien menetelmien käyttöön PLC-ohjelmistojen kehityksessä. Formaalien menetelmien tavoitteena on tuottaa laadukkaampia ohjelmia, joissa virheiden määrä on karsittu minimiin. Oma tärkeä roolinsa työssä on simuloinnin hyödyntämisellä. Simulointi on menetelmä, jolla on monia käyttötarkoituksia. Tässä työssä simulointi esitetään tapahtumapohjaisen mallin mukaisena työkaluna. Tapahtumapohjaista simulointia on totuttu käyttämään tuotannollisten prosessien kuvaamiseen. Simulointityökaluja on hyödynnetty järjestelmien kehittämisessä ja prosessien ongelmakohtien löytämiseen. Onnistunut simulointiprojekti on asiaan vihkiytyneiden ammattilaisten ja yrityksen prosessin tuntevien ihmisten yhteistoimintana syntynyt lopputulos. Simulointiprojekti on monivaiheinen tehtävä ja työssä käydään simulointiprojektin toteutus läpi vaihe vaiheelta. Työssä käsitellään lyhyesti verifiointia ja validointia ohjelmistotuotannon näkökulmasta, mutta kuvataan myös kuinka kyseiset termit liittyvät PLC-ohjelmien ja simulointimallien testaukseen ja hyväksymiseen. Simuloinnin ja PLC-ohjelmoinnin yhteyttä käsitellään työn käytännön osiossa, jossa raportoidaan Lahden ammattikorkeakoulun Tekniikan alalle toteutetun 3D-simulointia hyödyntävän PLC-ohjelmoinnin testaus- ja kehitysympäristön kehitysvaiheita. |
ED: | 2010-07-09 |
INSSI record number: 39876
+ add basket
« previous | next »
INSSI