@book{52b02e0e474f4fe2ad673107ef35083f,
title = "Ohjelmoitavien logiikoiden reaaliaikaisten ohjelmistojen m{\"a}{\"a}rittely ja toteutus Sokrates-SA-menetelm{\"a}ll{\"a}",
abstract = "T{\"a}m{\"a}n tutkimuksen tavoitteena oli kehitt{\"a}{\"a} menetelmi{\"a}, joilla ohjelmoitavilla logiikoilla toteutettavien teollisuusautomaatioj{\"a}rjestelmien suunnittelua voidaan nopeuttaa ja suunnitteluty{\"o}n laatua parantaa. Tavoitteeseen pyrittiin soveltamalla Valtion teknillisess{\"a} tutkimuskeskuksessa (VTT) kehitetty{\"a} Sokrates-SA-suunnittelumenetelm{\"a}{\"a} automaatioj{\"a}rjestelmien suunnitteluun ja laatimalla systemaattiset ohjelmointis{\"a}{\"a}nn{\"o}t, joiden avulla yksikk{\"o}tason Sokrates-SA-malli voidaan koodata nopeasti tehokkaaksi ohjelmoitavan logiikan ohjelmaksi. Perinteinen ohjelmoitavalla logiikalla toteutettavan teollisuusautomaatioj{\"a}rjestelm{\"a}n suunnittelu koostuu toimintaselostuksen laatimisesta, yksik{\"a}sitteisen kuvauksen laatimisesta ja ohjelmoitavan logiikan ohjelman luomisesta. Ty{\"o}ss{\"a} on kuvattu n{\"a}iss{\"a} vaiheissa suoritettavia teht{\"a}vi{\"a} ja suunnittelussa k{\"a}ytettyj{\"a} kieli{\"a} ja apuv{\"a}lienit{\"a}. Yleisesti k{\"a}yt{\"o}ss{\"a} olevassa automaatioj{\"a}rjestelm{\"a}n suunnittelussa on joukko ongelmia. Ongelmat liittyv{\"a}t suunnitteluty{\"o}n heikkoon vaiheistukseen ja k{\"a}ytettyjen suunnittelukielien alhaiseen abstraktiotasoon. Suunnitelmien dokumentoinnissa ja suunnitteluty{\"o}n lopputuloksena saatavan ohjelmoitavan logiikan ohjelman laadussa on my{\"o}s selvi{\"a} puutteita. Ongelmat n{\"a}kyv{\"a}t erityisesti testausvaiheen pituutena ja j{\"a}rjestelmien yll{\"a}pidon vaikeutena. Sokrates-SA -suunnittelumenetelm{\"a}n mukainen teollisuusautomaatioj{\"a}rjestelmien suunnittelu koostuu joukosta tarkasti m{\"a}{\"a}r{\"a}ttyj{\"a} vaiheita. Ty{\"o}ss{\"a} on esitetty n{\"a}m{\"a} vaiheet suunnitteluty{\"o}n etenemisj{\"a}rjestyksess{\"a}. Samoin ty{\"o}ss{\"a} esitet{\"a}{\"a}n ohjelmointis{\"a}{\"a}nn{\"o}t, joiden avulla yksikk{\"o}tason Sokrates-SA-malli voidaan muuntaa ohjelmoitavan logiikan ohjelmaksi. Esimerkkin{\"a} ohjelmoitavan logiikan ohjelmointikielest{\"a} k{\"a}ytet{\"a}{\"a}n Siemensin valmistaman SIMATIC -logiikkaperheen Step kielt{\"a}. Sokrates-SA-menetelm{\"a}n todettiin korjaavan perinteisess{\"a} suunnittelumenetelm{\"a}ss{\"a} esiintyvi{\"a} puutteita. Menetelm{\"a} on selke{\"a}sti vaiheistettu ja suunnitelmat laaditaan ilmaisuvoimaisella korkean abstraktiotason kielell{\"a}. Suunnitelmat my{\"o}s dokumentoidaan j{\"a}rjestelm{\"a}llisesti. Ty{\"o}ss{\"a} kehitettyjen ohjelmointis{\"a}{\"a}nt{\"o}jen avulla yksikk{\"o}tason Sokrates-SA- malli voidaan ohjelmoida nopeasti Step 5 -kieliseksi ohjelmaksi. Ohjelma on modulaarinen, helposti testattava ja tavanomaisia logiikkaohjelmaa nopeampi. Ohjelmakoodin uudelleenk{\"a}ytt{\"o} on my{\"o}s mahdollista.",
keywords = "software engineering, real time, logic controllers, structured programming",
author = "Jukka Toivanen",
note = "in RawData ",
year = "1992",
language = "Finnish",
isbn = "951-38-4104-9",
series = "VTT Julkaisuja - Publikationer",
publisher = "VTT Technical Research Centre of Finland",
number = "757",
address = "Finland",
}