haku: @keyword plc / yhteensä: 22
hakutulos-lista
viite: 9 / 22
« edellinen | seuraava »
Tekijä:Koukka, Henri
Työn nimi:PLC-ohjelmien verifiointi 3D-simulointimallien avulla
Using 3D simulation models for verification of PLC-programs
Julkaisutyyppi:Diplomityö
Julkaisuvuosi:2010
Sivut:79 + [10]      Kieli:   fin
Koulu/Laitos/Osasto:Informaatio- ja luonnontieteiden tiedekunta
Oppiaine:Automaation tietotekniikka   (AS-116)
Valvoja:Koskinen, Kari O.
Ohjaaja:Lahtinen, Teijo
OEVS:
Sähköinen arkistokappale on luettavissa Aalto Thesis Databasen kautta.
Ohje
sulje

Digitaalisten opinnäytteiden lukeminen Aalto-yliopiston Harald Herlin -oppimiskeskuksen suljetussa verkossa

Oppimiskeskuksen suljetussa verkossa voi lukea sellaisia digitaalisia ja digitoituja opinnäytteitä, joille ei ole saatu julkaisulupaa avoimessa verkossa.

Oppimiskeskuksen yhteystiedot ja aukioloajat: https://learningcentre.aalto.fi/fi/harald-herlin-oppimiskeskus/

Opinnäytteitä voi lukea Oppimiskeskuksen asiakaskoneilla, joita löytyy kaikista kerroksista.

Kirjautuminen asiakaskoneille

  • Aalto-yliopistolaiset kirjautuvat asiakaskoneille Aalto-tunnuksella ja salasanalla.
  • Muut asiakkaat kirjautuvat asiakaskoneille yhteistunnuksilla.

Opinnäytteen avaaminen

  • Asiakaskoneiden työpöydältä löytyy kuvake:

    Aalto Thesis Database

  • Kuvaketta klikkaamalla pääset hakemaan ja avaamaan etsimäsi opinnäytteen Aaltodoc-tietokannasta. Opinnäytetiedosto löytyy klikkaamalla viitetietojen OEV- tai OEVS-kentän linkkiä.

Opinnäytteen lukeminen

  • Opinnäytettä voi lukea asiakaskoneen ruudulta tai sen voi tulostaa paperille.
  • Opinnäytetiedostoa ei voi tallentaa muistitikulle tai lähettää sähköpostilla.
  • Opinnäytetiedoston sisältöä ei voi kopioida.
  • Opinnäytetiedostoa ei voi muokata.

Opinnäytteen tulostus

  • Opinnäytteen voi tulostaa itselleen henkilökohtaiseen opiskelu- ja tutkimuskäyttöön.
  • Aalto-yliopiston opiskelijat ja henkilökunta voivat tulostaa mustavalkotulosteita Oppimiskeskuksen SecurePrint-laitteille, kun tietokoneelle kirjaudutaan omilla Aalto-tunnuksilla. Väritulostus on mahdollista asiakaspalvelupisteen tulostimelle u90203-psc3. Väritulostaminen on maksullista Aalto-yliopiston opiskelijoille ja henkilökunnalle.
  • Ulkopuoliset asiakkaat voivat tulostaa mustavalko- ja väritulosteita Oppimiskeskuksen asiakaspalvelupisteen tulostimelle u90203-psc3. Tulostaminen on maksullista.
Sijainti:P1 Ark Aalto     | Arkisto
Avainsanat:simulation
PLC
PLC-testing
formal methods
modeling
simulointi
PLC
PLC-testaus
formaalit menetelmät
mallinnus
Tiivistelmä (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.
Tiivistelmä (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.
ED:2010-07-09
INSSI tietueen numero: 39876
+ lisää koriin
« edellinen | seuraava »
INSSI