search query: @keyword plc / total: 22
reference: 8 / 22
« 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 Centre

In 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

  • Aalto University staff members log on to the customer computer using the Aalto username and password.
  • Other customers log on using a shared username and password.

Opening a thesis

  • On the desktop of the customer computers, you will find an icon titled:

    Aalto Thesis Database

  • Click on the icon to search for and open the thesis you are looking for from Aaltodoc database. You can find the thesis file by clicking the link on the OEV or OEVS field.

Reading the thesis

  • You can either print the thesis or read it on the customer computer screen.
  • You cannot save the thesis file on a flash drive or email it.
  • You cannot copy text or images from the file.
  • You cannot edit the file.

Printing the thesis

  • You can print the thesis for your personal study or research use.
  • Aalto University students and staff members may print black-and-white prints on the PrintingPoint devices when using the computer with personal Aalto username and password. Color printing is possible using the printer u90203-psc3, which is located near the customer service. Color printing is subject to a charge to Aalto University students and staff members.
  • Other customers can use the printer u90203-psc3. All printing is subject to a charge to non-University members.
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