Kriittisten järjestelmien ohjelmointi

Kriittiset järjestelmät teho-osastoilla, ydinvoimaloissa, avaruudessa ja muissa, jopa vihamielisissä ympäristöissä, suunnitellaan selviytymään yllättävistäkin tilanteista. Laitteet tai ohjelmat eivät tällaisissa paikoissa voi kaatua ongelmatapauksissa, tai siitä voi seurata hengenvaarallisia ketjure...

Full description

Bibliographic Details
Main Author: Jolkkonen, Tomi
Other Authors: Informaatioteknologian tiedekunta, Faculty of Information Technology, Informaatioteknologia, Information Technology, Jyväskylän yliopisto, University of Jyväskylä
Format: Bachelor's thesis
Language:fin
Published: 2019
Subjects:
Online Access: https://jyx.jyu.fi/handle/123456789/66800
_version_ 1826225797709430784
author Jolkkonen, Tomi
author2 Informaatioteknologian tiedekunta Faculty of Information Technology Informaatioteknologia Information Technology Jyväskylän yliopisto University of Jyväskylä
author_facet Jolkkonen, Tomi Informaatioteknologian tiedekunta Faculty of Information Technology Informaatioteknologia Information Technology Jyväskylän yliopisto University of Jyväskylä Jolkkonen, Tomi Informaatioteknologian tiedekunta Faculty of Information Technology Informaatioteknologia Information Technology Jyväskylän yliopisto University of Jyväskylä
author_sort Jolkkonen, Tomi
datasource_str_mv jyx
description Kriittiset järjestelmät teho-osastoilla, ydinvoimaloissa, avaruudessa ja muissa, jopa vihamielisissä ympäristöissä, suunnitellaan selviytymään yllättävistäkin tilanteista. Laitteet tai ohjelmat eivät tällaisissa paikoissa voi kaatua ongelmatapauksissa, tai siitä voi seurata hengenvaarallisia ketjureaktioita. Tällaisten järjestelmien, laitteiden ja ohjelmien suunnittelu on eittämättä tarkkaa työtä ja sisältää monia hyväksi todettuja käytäntöjä, joita voisi hyödyntää muissakin asiayhteyksissä. Tämä tutkielma ottaa kantaa tähän laajaan aihepiiriin rajatun kirjallisuuskatsauksen avulla. Tavoitteena on ymmärtää paremmin ohjelmistoja ja ohjelmointia kriittisissä järjestelmissä sekä niihin liittyviä yleisimpiä käytäntöjä, virheitä ja ohjeistuksia. Tuloksena on yhteenveto pääkohdista, joilla ohjelmointityötä voi kehittää paremmaksi kaikilla toimialoilla. Lisää tutkimusta voisi tehdä toimialakohtaisesta ohjelmoinnista, koska eri aloilla (vrt. lääketiede vs. pelit) on omat hyväksi todetut käytäntönsä, jotka eroavat toisistaan.
first_indexed 2019-12-13T21:06:48Z
format Kandityö
free_online_boolean 1
fullrecord [{"key": "dc.contributor.advisor", "value": "M\u00f6nk\u00f6l\u00e4, Sanna", "language": "", "element": "contributor", "qualifier": "advisor", "schema": "dc"}, {"key": "dc.contributor.author", "value": "Jolkkonen, Tomi", "language": "", "element": "contributor", "qualifier": "author", "schema": "dc"}, {"key": "dc.date.accessioned", "value": "2019-12-13T13:13:09Z", "language": null, "element": "date", "qualifier": "accessioned", "schema": "dc"}, {"key": "dc.date.available", "value": "2019-12-13T13:13:09Z", "language": null, "element": "date", "qualifier": "available", "schema": "dc"}, {"key": "dc.date.issued", "value": "2019", "language": "", "element": "date", "qualifier": "issued", "schema": "dc"}, {"key": "dc.identifier.uri", "value": "https://jyx.jyu.fi/handle/123456789/66800", "language": null, "element": "identifier", "qualifier": "uri", "schema": "dc"}, {"key": "dc.description.abstract", "value": "Kriittiset j\u00e4rjestelm\u00e4t teho-osastoilla, ydinvoimaloissa, avaruudessa ja muissa, jopa vihamielisiss\u00e4 ymp\u00e4rist\u00f6iss\u00e4, suunnitellaan selviytym\u00e4\u00e4n yll\u00e4tt\u00e4vist\u00e4kin tilanteista. Laitteet tai ohjelmat eiv\u00e4t t\u00e4llaisissa paikoissa voi kaatua ongelmatapauksissa, tai siit\u00e4 voi seurata hengenvaarallisia ketjureaktioita. T\u00e4llaisten j\u00e4rjestelmien, laitteiden ja ohjelmien suunnittelu on eitt\u00e4m\u00e4tt\u00e4 tarkkaa ty\u00f6t\u00e4 ja sis\u00e4lt\u00e4\u00e4 monia hyv\u00e4ksi todettuja k\u00e4yt\u00e4nt\u00f6j\u00e4, joita voisi hy\u00f6dynt\u00e4\u00e4 muissakin asiayhteyksiss\u00e4. T\u00e4m\u00e4 tutkielma ottaa kantaa t\u00e4h\u00e4n laajaan aihepiiriin rajatun kirjallisuuskatsauksen avulla. Tavoitteena on ymm\u00e4rt\u00e4\u00e4 paremmin ohjelmistoja ja ohjelmointia kriittisiss\u00e4 j\u00e4rjestelmiss\u00e4 sek\u00e4 niihin liittyvi\u00e4 yleisimpi\u00e4 k\u00e4yt\u00e4nt\u00f6j\u00e4, virheit\u00e4 ja ohjeistuksia. Tuloksena on yhteenveto p\u00e4\u00e4kohdista, joilla ohjelmointity\u00f6t\u00e4 voi kehitt\u00e4\u00e4 paremmaksi kaikilla toimialoilla. Lis\u00e4\u00e4 tutkimusta voisi tehd\u00e4 toimialakohtaisesta ohjelmoinnista, koska eri aloilla (vrt. l\u00e4\u00e4ketiede vs. pelit) on omat hyv\u00e4ksi todetut k\u00e4yt\u00e4nt\u00f6ns\u00e4, jotka eroavat toisistaan.", "language": "fi", "element": "description", "qualifier": "abstract", "schema": "dc"}, {"key": "dc.description.provenance", "value": "Submitted by Miia Hakanen (mihakane@jyu.fi) on 2019-12-13T13:13:09Z\nNo. of bitstreams: 0", "language": "en", "element": "description", "qualifier": "provenance", "schema": "dc"}, {"key": "dc.description.provenance", "value": "Made available in DSpace on 2019-12-13T13:13:09Z (GMT). No. of bitstreams: 0\n Previous issue date: 2019", "language": "en", "element": "description", "qualifier": "provenance", "schema": "dc"}, {"key": "dc.format.extent", "value": "27", "language": "", "element": "format", "qualifier": "extent", "schema": "dc"}, {"key": "dc.language.iso", "value": "fin", "language": null, "element": "language", "qualifier": "iso", "schema": "dc"}, {"key": "dc.rights", "value": "In Copyright", "language": "en", "element": "rights", "qualifier": null, "schema": "dc"}, {"key": "dc.subject.other", "value": "kriittiset j\u00e4rjestelm\u00e4t", "language": "", "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.subject.other", "value": "parhaat k\u00e4yt\u00e4nn\u00f6t", "language": "", "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.title", "value": "Kriittisten j\u00e4rjestelmien ohjelmointi", "language": "", "element": "title", "qualifier": null, "schema": "dc"}, {"key": "dc.type", "value": "bachelor thesis", "language": null, "element": "type", "qualifier": null, "schema": "dc"}, {"key": "dc.identifier.urn", "value": "URN:NBN:fi:jyu-201912135273", "language": "", "element": "identifier", "qualifier": "urn", "schema": "dc"}, {"key": "dc.type.ontasot", "value": "Bachelor's thesis", "language": "en", "element": "type", "qualifier": "ontasot", "schema": "dc"}, {"key": "dc.type.ontasot", "value": "Kandidaatinty\u00f6", "language": "fi", "element": "type", "qualifier": "ontasot", "schema": "dc"}, {"key": "dc.contributor.faculty", "value": "Informaatioteknologian tiedekunta", "language": "fi", "element": "contributor", "qualifier": "faculty", "schema": "dc"}, {"key": "dc.contributor.faculty", "value": "Faculty of Information Technology", "language": "en", "element": "contributor", "qualifier": "faculty", "schema": "dc"}, {"key": "dc.contributor.department", "value": "Informaatioteknologia", "language": "fi", "element": "contributor", "qualifier": "department", "schema": "dc"}, {"key": "dc.contributor.department", "value": "Information Technology", "language": "en", "element": "contributor", "qualifier": "department", "schema": "dc"}, {"key": "dc.contributor.organization", "value": "Jyv\u00e4skyl\u00e4n yliopisto", "language": "fi", "element": "contributor", "qualifier": "organization", "schema": "dc"}, {"key": "dc.contributor.organization", "value": "University of Jyv\u00e4skyl\u00e4", "language": "en", "element": "contributor", "qualifier": "organization", "schema": "dc"}, {"key": "dc.subject.discipline", "value": "Tietotekniikka", "language": "fi", "element": "subject", "qualifier": "discipline", "schema": "dc"}, {"key": "dc.subject.discipline", "value": "Mathematical Information Technology", "language": "en", "element": "subject", "qualifier": "discipline", "schema": "dc"}, {"key": "yvv.contractresearch.funding", "value": "0", "language": "", "element": "contractresearch", "qualifier": "funding", "schema": "yvv"}, {"key": "dc.type.coar", "value": "http://purl.org/coar/resource_type/c_7a1f", "language": null, "element": "type", "qualifier": "coar", "schema": "dc"}, {"key": "dc.rights.accesslevel", "value": "openAccess", "language": null, "element": "rights", "qualifier": "accesslevel", "schema": "dc"}, {"key": "dc.type.publication", "value": "bachelorThesis", "language": null, "element": "type", "qualifier": "publication", "schema": "dc"}, {"key": "dc.subject.oppiainekoodi", "value": "602", "language": "", "element": "subject", "qualifier": "oppiainekoodi", "schema": "dc"}, {"key": "dc.subject.yso", "value": "ohjelmointi", "language": null, "element": "subject", "qualifier": "yso", "schema": "dc"}, {"key": "dc.subject.yso", "value": "j\u00e4rjestelm\u00e4t", "language": null, "element": "subject", "qualifier": "yso", "schema": "dc"}, {"key": "dc.subject.yso", "value": "koodit", "language": null, "element": "subject", "qualifier": "yso", "schema": "dc"}, {"key": "dc.subject.yso", "value": "virheet", "language": null, "element": "subject", "qualifier": "yso", "schema": "dc"}, {"key": "dc.rights.url", "value": "https://rightsstatements.org/page/InC/1.0/", "language": null, "element": "rights", "qualifier": "url", "schema": "dc"}]
id jyx.123456789_66800
language fin
last_indexed 2025-02-18T10:54:36Z
main_date 2019-01-01T00:00:00Z
main_date_str 2019
online_boolean 1
online_urls_str_mv {"url":"https:\/\/jyx.jyu.fi\/bitstreams\/687cae56-8a9e-48c2-ac94-d3e55e121c7a\/download","text":"URN:NBN:fi:jyu-201912135273.pdf","source":"jyx","mediaType":"application\/pdf"}
publishDate 2019
record_format qdc
source_str_mv jyx
spellingShingle Jolkkonen, Tomi Kriittisten järjestelmien ohjelmointi kriittiset järjestelmät parhaat käytännöt Tietotekniikka Mathematical Information Technology 602 ohjelmointi järjestelmät koodit virheet
title Kriittisten järjestelmien ohjelmointi
title_full Kriittisten järjestelmien ohjelmointi
title_fullStr Kriittisten järjestelmien ohjelmointi Kriittisten järjestelmien ohjelmointi
title_full_unstemmed Kriittisten järjestelmien ohjelmointi Kriittisten järjestelmien ohjelmointi
title_short Kriittisten järjestelmien ohjelmointi
title_sort kriittisten järjestelmien ohjelmointi
title_txtP Kriittisten järjestelmien ohjelmointi
topic kriittiset järjestelmät parhaat käytännöt Tietotekniikka Mathematical Information Technology 602 ohjelmointi järjestelmät koodit virheet
topic_facet 602 Mathematical Information Technology Tietotekniikka järjestelmät koodit kriittiset järjestelmät ohjelmointi parhaat käytännöt virheet
url https://jyx.jyu.fi/handle/123456789/66800 http://www.urn.fi/URN:NBN:fi:jyu-201912135273
work_keys_str_mv AT jolkkonentomi kriittistenjärjestelmienohjelmointi