Sulautettujen järjestelmien vikadiagnostiikan kehittäminen ohjelmistopohjaisilla menetelmillä

Samankaltaiset tiedostot
Ohjelmistojen virheistä

Vikasietoisuus ja luotettavuus

Työkalujen merkitys mittaamisessa

Vikasietoisuus ja luotettavuus

Tornio Works käynnissäpidon toimintamalli

Toimintaprosessien mallintaminen ja simulointi käytön ja kunnossapidon strategisessa suunnittelussa. Jean-Peter Ylén

Lokitietojen käsittelystä

Perusliikuntataidot ja taitovalmennus. Sami Kalaja Lahti

11. Luento: Vikasietoisuus. Tommi Mikkonen,

Prosessiautomaatiota LabVIEW lla NI Days NI Days LabVIEW DCS 1

Tietojärjestelmän osat

VAATIMUKSIA YKSINKERTAISILLE VIKAILMAISIMILLE HSV:N KJ-VERKOSSA

UML -mallinnus TILAKAAVIO

Digitaalitekniikan matematiikka Luku 13 Sivu 1 (10) Virheen havaitseminen ja korjaus

ASAF seminaari Vaatimusten hallinta turvallisuuteen liittyvän järjestelmän suunnittelussa Tapio Nordbo / Enprima Oy.

Referenssit ja näytteenotto VLBI -interferometriassa

Tietoturvaloukkausten hallinta

Simulaattoriavusteinen ohjelmistotestaus työkoneympäristössä. Simo Tauriainen

Superintend VR-16 Vikavirtarele 5-johdinverkkoihin Lyhyt käyttöohje

NOSTURIDATAN HYÖDYNTÄMINEN. Niilo Heinonen

Toiminnallinen turvallisuus

Kone- ja prosessiautomaation kunnossapito

OHJ-4301 Sulautettu Ohjelmointi

Pilviratkaisut ovat entistä suositumpia. Mutta mikä on oikea ratkaisu sinun maailmassasi? Lähde matkalle läpi avaruuden, ajaan ja maalaisjärjen

TSI DP-CALC 5815 KÄYTTÖOHJE

Pintasääasemaverkon vikadiagnostiikkaa DADAssa

Tehokasta palkanlaskentaa

Lokipolitiikka (v 1.0/2015)

Suomen ydinvoimateollisuudessa sovellettava rikkomattomien määräaikaistarkastusten

Tietomurroista opittua

Metsänhoidon suositusten digitaalinen transformaatiokirjasta sähköiseen palveluun. Kati Kontinen, Tapio Oy

Prosessiautomaatiota LabVIEW lla NI Days NI Days LabVIEW DCS 1

INNOVAATIOTOIMINNAN RAHOITUS

Valtorin lokienhallinta- ja SIEM-ratkaisujen kilpailutus

FlowIT virtaa IT-hankintoihin

CQRS, -ES, PACS, DICOM, WTF?

Tietomallipohjainen liiketoiminta RYM-SHOK Tietomallipohjaisten prosessien haasteet ja mahdollisuudet omistajille

Kun pelikaani on jo turbiinissa

Verkkodatalehti MAX48N-12V10AC0250 MAX48 LINEAARIANTURIT

11. Oppimismotivaatio ja tehokas oppiminen. (s )

Automaatiojärjestelmät Rakennusautomaatiotason valinta Laatija: Sakari Uusitalo, TAMK

Näiden aihekokonaisuuksien opetussuunnitelmat ovat luvussa 8.

Tosiaikajärjestelmät Luento 6: Luotettavuus ja turvallisuus

Simulation and modeling for quality and reliability (valmiin työn esittely) Aleksi Seppänen

Luotettavuus ja vikasietoisuus. Tosiaikajärjestelmät Luento 6: Luotettavuus ja turvallisuus. Vika, virhe, häiriö. Mistä häiriöt syntyvät?

Jakopalkat. Virve Heikkinen ja Timo Ojala. Valtion talous- ja henkilöstöhallinnon palvelukeskus

VBE II Tulosseminaari Teknologian valmiusaste. Virtuaalirakentamisen Laboratorio Jiri Hietanen

Laitteisiin liittyvät esimerkit riskin

Arvioinneista eväitä maaseutuverkostoyksikölle tiedottamisen, koulutuksen, hyvien käytäntöjen ja kansainvälistymisen tueksi

9. Luento: Ohjelmistotyö. Tommi Mikkonen,

Jatkuvatoiminen monitorointi vs. vuosittainen näytteenotto

Korkeakoulujen valtakunnallinen tietovaranto. Ilmari Hyvönen

BL20A0700 Sähköverkkotekniikan peruskurssi

1 Visma L7 päivitysaineiston nouto

FlowIT virtaa IT-hankintoihin

Jukolakoulu

2/10/2015 YLEISKATSAUS MIKSI NETTIPALVELUT OVAT OK? HISTORIAA SUOSITUKSIA JA PALKINTOJA

Power Steering for ATV

Miksi vaikuttavuuden osoittaminen on niin tärkeää?

PILVIPALVELUT. Käyttäjän- ja pääsynhallinnan näkökantoja itsmf.fi aamiasseminaari

Kieku tuki ja ylläpito

Topfieldin sarjaporttipäivitystyökalun asennus(rs232)

Turun ammattikorkeakoulu (5) Tietojärjestelmien käyttösäännöt

A15 - Inertial Measurement Unit

Ostajan opas ohjelmistopohjaiseen. tallennukseen. 50x. IDC:n arvio: Käsiteltävän datan määrä 50-kertaistuu vuoteen 2020 mennessä.

Avid Pro Tools Äänityksen perusteet. Petri Myllys 2013 / Taideyliopisto, Sibelius-Akatemia tp48 Äänitekniikan perusteet

Web sovelluksen kehittäminen sähkönjakeluverkon suojareleisiin

5. Siirtoyhteyskerros linkkikerros (Data Link Layer)

Kohdekiinteistöjen RAU-järjestelmien analyysi verrattuna AU-luokitukseen

Oletetun onnettomuuden laajennus, ryhmä A

<raikasta digitaalista ajattelua>

7. Koneenohjausjärjestelmien suunnittelumallit. OhAr Veli-Pekka Eloranta

Kiinteistöjen turvallisuusjärjestelmien toimivuus Helsinki. Hannu Eromäki, Inspecta Tarkastus Oy

rakennetaan strategisesti kohdistetuilla ITC-ratkaisuilla?

Kuljettajantutkinnon kehittäminen

Mittaustekniikka (3 op)

Johnson, A Theoretician's Guide to the Experimental Analysis of Algorithms.

KIRSI PIHA RYTMI- HÄIRIÖ

FINBIM: Koulutustarvekartoitus

Strategia, toimintasuunnitelmat ja kehittäminen. Varpu Ylhäinen

Tuoteperheiden yleiskatsaus. Vianpoisto paikan päällä Nopea apu suoraan paikan päällä TUOTE- JA JÄRJESTELMÄTUKI

TSI VELOCICALC 9515 KÄYTTÖOHJE

T Testitapaukset TC-1

Ulkoistustoimittajan valvontapalvelu. Ville Mannonen / DataCenter Finland

Konsensusongelma hajautetuissa järjestelmissä. Niko Välimäki Hajautetut algoritmit -seminaari

SALON SEUDUN KOULUTUSKUNTAYHTYMÄN SISÄISEN VALVONNAN JA RISKIENHALLINNAN PERUSTEET

tsoft Tarkastusmenettelyt ja katselmukset Johdanto Vesa Tenhunen

Tutkimus tutuksi -tapaaminen Helsingissä Jouko Heikkilä ja Kaarin Ruuhilehto

Paikallinen stabilointi

MPCC-työkalua voidaan käyttää yhden laitteen valvontaan ja yhden tai useamman laitteen konfigurointiin (Modbus broadcast, osoite 0).

Tietosisällön eheys. Kimmo Janhunen Riskienhallintapäällikkö

Puhallinmoottorinohjaimen käsipäätteen käyttöohje, TBLZ-2-75, SILVER C

ESITTELYVIDEO. Mielenterveystalo.fi Nuorten mielenterveystalo.fi Nettiterapiat.fi

Sisäänrakennettu tietosuoja ja ohjelmistokehitys

TIETOSUOJAILMOITUS EU:n yleinen tietosuoja-asetus (2016/679), Artiklat 13 ja 14 Laadittu: , päivitetty

Verkkolasku tavoittaa kuluttajat tehokkaasti vuonna It-viikko Seminaari Matti Villikka Sampo Pankki Oyj

EMCS-järjestelmän sanomarajapinnan toiminnallinen kuvaus asiakkaille Meeri Nieminen

Korkeakoulun johtaminen ja kokonaisarkkitehtuuri. Päivi Karttunen, TtT Vararehtori TAMK

I T. SurePath. Järjestelmä on täysin yhteensopiva kaikkien DALI hyväksyttyjen turva- ja poistumistievalojen kanssa.

Asukaslähtöisyys Ryhmä 1. pj. Annukka Kuismin siht. Hanna Hutka-Ojanen

Transkriptio:

Sulautettujen järjestelmien vikadiagnostiikan kehittäminen ohjelmistopohjaisilla menetelmillä AS-0.3100 - Automaatio- ja systeemitekniikan seminaari Jerry Pussinen Seminaarityö 11.12.2015

Tausta 11.12.2015 Automaatio- ja systeemitekniikka 2

Johdanto Miksi vikadiagnostiikkaan kannattaa panostaa? Kaikki hyötyvät $ SW- vs HW-pohjainen vikadiagnostiikka HW-pohjainen perustuu yleensä jonkunlaiseen redundanssiin laitteistossa vaatii laitteistomuutoksia SW-pohjaisella voidaan selvitä pelkällä ohjelmistopäivityksellä Eli SW-pohjainen houkuttelevampi vaihtoehto etenkin jo kentällä oleviin järjestelmiin Parhaillaan kombinaatio HW + SW 11.12.2015 Automaatio- ja systeemitekniikka 3

Vikadiagnostiikka pähkinänkuoressa 11.12.2015 Automaatio- ja systeemitekniikka 4

Vikaantuminen Vika (fault) sisäinen tai ulkoinen virhe, joka voi vaikuttaa järjestelmän toimintaan Pysyvä Ohimenevä Ajoittainen Virhetila (error) järjestelmän kokonaistila poikkeaa halutusta Laiminlyönti (failure) järjestelmän ulostulo poikkeaa halutusta VIKA VIRHETILA LAIMINLYÖNTI 11.12.2015 Automaatio- ja systeemitekniikka 5

Itsediagnostiikka Tavoite: järjestelmä pystyy itse diagnosoimaan vian Havaitseminen Eristäminen Identifiointi Tarjolla paljon erilaisia menetelmiä Sopivien menetelmien valinta on aina järjestelmäriippuvainen Resurssit (muisti, laskenteho, yms.) Millaisia vikoja järjestelmä voi kohdata elinkaarensa aikana? Kuinka luotettavasti vikoja täytyy kyetä diagnosoimaan? 11.12.2015 Automaatio- ja systeemitekniikka 6

Mallipohjaiset menetelmät 11.12.2015 Automaatio- ja systeemitekniikka 7

Ohjelman suoritusjärjestyksen virheet MENETELMIÄ: Vahtikoira-ajastin (watchdog timer) Merkintäpohjaiset menetelmät 11.12.2015 Automaatio- ja systeemitekniikka 8

Tiedonsiirron virheet MENETELMIÄ: Pariteettibitit, tarkastusummat, CRC, MD5, jne. 11.12.2015 Automaatio- ja systeemitekniikka 9

Tarkastukset (assertions) Käytännössä yksinkertaisia totuusarvolausekkeita Järkevyystarkastelut Ohjelman sisäisten muuttujien tarkastaminen Erityisesti ajoittaisten ja ohimenevien vikojen havaitsemiseen Yksinkertaisempia kuin edellä esitellyt menetelmät if(laskettu_nopeus > 10 m/s) reagointi virhetilaan else normaali suoritus 11.12.2015 Automaatio- ja systeemitekniikka 10

Lokitiedon hyödyntäminen Miksi? Itsediagnostiikkaa ei kuitenkaan saada ikinä toimimaan täydellisesti Itsediagnostiikan pettäessä ihminen voi tehdä vikadiagnoosin lokitiedon avulla Lokitietojen pohjalta voidaan tehdä tarkempaa analyysiä vikaantumismekanismeista Ongelmatilanteita ei välttämättä tarvitse toistaa, jos ensimmäisestä esiintymästä on riittävästi informaatiota Oppiminen, itsediagnostiikan jatkokehittäminen Vikadiagnostiikasta vikaprognostiikkaan 11.12.2015 Automaatio- ja systeemitekniikka 11

Lokitiedon hyödyntäminen Periaatteet: Ongelmatilanteista riittävä määrä lokitietoa Aikaleimat riittävällä resoluutiolla Lokioperaatiot eivät saa vaikuttaa merkittävästi järjestelmän normaaliin käyttäytymiseen Monimutkaisissa järjestelmissä eritasoisten lokien hyödyntäminen Mahdollisuus tarkastella lokeja ihmisluettavassa muodossa 11.12.2015 Automaatio- ja systeemitekniikka 12

Lokitiedon hyödyntäminen Haasteet: RAM/ROM kapasiteetti Ylläpito Kuinka suurelta aikajänteeltä tulisi olla saatavilla? Kuinka lopulta varastoida lokitieto, esim. pilveen? Järjestelmän mahdolliset reaaliaikavaatimukset 11.12.2015 Automaatio- ja systeemitekniikka 13

Yhteenveto SW-pohjaiset menetelmät houkuttelevia, jos vikadiagnostiikkaa kehitetään jälkikäteen. Erilaisia itsediagnostiikan menetelmiä runsaasti. Menetelmän/menetelmien valinta tulee tehdä järjestelmäkohtaisesti. Vaikka itsediagnostiikkamenetelmiä on kirjallisuudessa tarjolla laajasti, lähes kaikki keskittyvät lähinnä pelkästään vikojen havainnointiin eristäminen ja identifiointi vähemmällä huomiolla. Lokikäytännöt kannattaa valjastaa itsediagnostiikan tueksi ja osaksi itsediagnostiikan kehittämistä. 11.12.2015 Automaatio- ja systeemitekniikka 14