6533b7dbfe1ef96bd1270e6b
RESEARCH PRODUCT
Automatizētas informācijas sistēmu darbības uzraudzības implementācija
Kārlis Lapiņšsubject
Datorzinātnedescription
Mūsdienās veiksmīgus darījumprocesus gandrīz vienmēr balsta informācijas sistēmas. Pie tam viena procesa nodrošināšanā nereti ir iesaistītas vairākas sistēmas. Kopējā procesa pārraudzība parasti tiek atstāta kāda administratora ziņā. Taču tas pakļauj procesa norisi cilvēcisko kļūdu faktoram. Lai to novērstu, būtu nepieciešams procesa verifikāciju automatizēt. Būtiskākie pētījuma mērķi ir iepazīties ar izpildes laika verifikāciju, kas pārbauda informācijas sistēmu korektumu to darbības laikā, un atbilstoši darbā aprakstītajam konceptuālajam risinājumam veikt kontroliera prototipa izstrādi. Atbilstoši izvirzītajiem mērķiem, autors iepazinās ar izpildes laika verifikācijas jēdzienu, šajā laukā veiktajiem pētījumiem un praktiskajiem centieniem. Tāpat tika izstrādāta sākotnējā kontroliera prototipa versija.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2014-01-01 |