31.5.2008   

SL

Uradni list Evropske unije

L 141/5

(1)

Komisija mora v skladu z Uredbo (ES) št. 550/2004 opredeliti in sprejeti ustrezne določbe varnostnih predpisov Eurocontrola („ESARR“) ter pri tem upoštevati veljavno zakonodajo Skupnosti. ESARR 6, z naslovom „Programska oprema pri sistemih VZP“, obsega sklop zakonskih varnostnih zahtev za uvedbo sistema za zagotavljanje varnosti programske opreme.

(2)

Uredba Komisije (ES) št. 2096/2005 z dne 20. decembra 2005 o skupnih zahtevah za izvajanje navigacijskih služb zračnega prometa (2) v zadnjem stavku uvodne izjave 12 določa, da bi morale biti „ustrezne določbe ESARR 1 o nadzoru varnosti pri VZP in ESARR 6 o programski opremi pri sistemih VZP prepoznane in sprejete v posebnih predpisih Skupnosti.“

(3)

Izvajalci služb zračnega prometa bi morali v skladu s Prilogo II k Uredbi (ES) št. 2096/2005 uvesti sistem obvladovanja varnosti kot tudi varnostne zahteve za oceno in ublažitev tveganja v zvezi s spremembami. Izvajalci služb zračnega prometa bi morali v sklopu sistema obvladovanja varnosti ter v okviru dejavnosti ocene in ublažitve tveganja v zvezi s spremembami opredeliti in uvesti sistem za zagotavljanje varnosti programske opreme, namenjen izrecni obravnavi vidikov, povezanih s programsko opremo.

(4)

Glavni cilj varnosti programske opreme, ki ga je treba izpolniti za funkcionalne sisteme, ki vsebujejo programsko opremo, je zagotoviti, da se tveganje v zvezi z uporabo programske opreme v sistemih evropske mreže za upravljanje zračnega prometa („programska oprema EATMN“) zmanjša na sprejemljivo raven.

(5)

Ta uredba ne bi smela zajemati vojaških operacij in usposabljanja, kot je navedeno v členu 1(2) Uredbe (ES) št. 549/2004 Evropskega parlamenta in Sveta z dne 10. marca 2004 o določitvi okvira za oblikovanje enotnega evropskega neba (okvirna uredba) (3).

(6)

Prilogo II k Uredbi (ES) št. 2096/2005 bi bilo zato treba ustrezno spremeniti.

(7)

Ukrepi, predvideni s to uredbo, so v skladu z mnenjem Odbora za enotno evropsko nebo –

1.

„programska oprema“ pomeni računalniške programe in ustrezne konfiguracijske podatke, vključno z nerazvojno programsko opremo, vendar brez elektronskih delov, kot so integrirana vezja, programirljiva polja vrat ali polprevodniški logični krmilniki, namenjeni za specifično aplikacijo;

2.

„konfiguracijski podatki“ pomenijo podatke, s katerimi se generični sistem programske opreme konfigurira za posamezen namen uporabe;

3.

„nerazvojna programska oprema“ pomeni programsko opremo, ki ni bila razvita posebej za kako pogodbo;

4.

„zagotavljanje varnosti“ pomeni vse načrtovane in sistematične dejavnosti, ki so potrebne za vzpostavitev ustreznega zaupanja, da izdelek, služba, organizacija ali funkcionalni sistem dosega zadovoljivo ali sprejemljivo varnost;

5.

„organizacija“ pomeni izvajalca ATS, izvajalca CNS ali subjekt, ki zagotavlja ATFM ali ASM;

6.

„funkcionalni sistem“ pomeni kombinacijo sistemov, postopkov in človeških virov za izvajanje funkcij v zvezi z upravljanjem zračnega prometa;

7.

„tveganje“ pomeni kombinacijo skupne verjetnosti ali pogostnosti pojavljanja škodljivih učinkov, ki so posledica nevarnosti, in resnosti teh učinkov;

8.

„nevarnost“ pomeni vsako stanje, dogodek ali okoliščino, ki bi lahko povzročili nesrečo;

9.

„nova programska oprema“ pomeni programsko opremo, ki je bila naročena ali za katero so bile podpisane obvezujoče pogodbe po začetku veljavnosti te uredbe;

10.

„varnostni cilj“ pomeni kakovostno ali količinsko navedbo, ki opredeljuje največjo pogostnost ali verjetnost, pri kateri se lahko pričakuje nevarnost;

11.

„varnostna zahteva“ pomeni sredstva za ublažitev tveganja, opredeljena s strategijo ublažitve tveganja, ki izpolnjuje poseben varnostni cilj, vključno z organizacijskimi, operativnimi, postopkovnimi, funkcijskimi zahtevami ter zahtevami glede zmogljivosti in interoperabilnosti ali okoljskimi značilnostmi;

12.

„prehod ali vroča menjava“ pomeni način zamenjave sestavnih delov ali programske opreme sistema evropske mreže za upravljanje zračnega prometa (EATMN), medtem ko sistem deluje;

13.

„varnostna zahteva za programsko opremo“ pomeni opis tega, kar mora programska oprema izdelati na podlagi danih vnosov in ob danih omejitvah, ob izpolnitvi te zahteve pa je zagotovljeno, da programska oprema EATMN deluje varno in v skladu z operativno potrebo;

14.

„programska oprema EATMN“ pomeni programsko opremo, ki se uporablja v sistemih EATMN iz člena 1;

15.

„veljavnost zahtev“ pomeni potrditev na podlagi pregleda in zagotovitev objektivnega dokaza, da so posebne zahteve za specifično uporabo take, kot je bilo predvideno;

16.

„doseženo z neodvisnostjo“ pomeni – za dejavnosti postopka preverjanja programske opreme –, da dejavnosti postopka preverjanja izvede(-jo) oseba(-e), ki ni(-so) razvijalec(-ci) izdelka, ki ga preverja(-jo);

17.

„napaka programske opreme“ pomeni nezmožnost programa, da pravilno izvaja zahtevano funkcijo;

18.

„okvara programske opreme“ pomeni nezmožnost programa, da izvaja zahtevano funkcijo;

19.

„COTS“ pomeni na trgu dostopno aplikacijo, ki jo prodajajo ponudniki prek javnih kataloških seznamov in ni namenjena prilagoditvi željam kupcev ali izboljšavi;

20.

„sestavni deli programske opreme“ pomenijo osnovno enoto, ki se lahko vgradi ali poveže z drugimi ponovno uporabljivimi enotami programske opreme z namenom združitve in izdelave programske aplikacije po meri;

21.

„samostojni sestavni deli programske opreme“ pomenijo tiste sestavne dele programske opreme, ki zaradi okvare, ki povzroči nevarnost, ne prenehajo delovati;

22.

„časovni učinki programske opreme“ pomenijo čas, ki ga ima programska oprema za odziv na dane vnose ali periodične dogodke, in/ali zmogljivost programske opreme z vidika transakcij ali sporočil, ki jih obdela na enoto časa;

23.

„zmogljivost programske opreme“ pomeni zmožnost programske opreme, da obdela določeno količino pretoka podatkov;

24.

„točnost“ pomeni potrebno natančnost izračunanih rezultatov;

25.

„uporaba virov programske opreme“ pomeni količino virov v računalniškem sistemu, ki jih lahko uporablja uporabniška programska oprema;

26.

„robustnost programske opreme“ pomeni obnašanje programske opreme v primeru nepričakovanih vnosov, napak strojne opreme in prekinitev napajanja v samem računalniškem sistemu ali priključenih napravah;

27.

„odpornost na preobremenitve“ pomeni obnašanje sistema v primeru vnosov, ki presegajo količino podatkov, predvideno za običajno delovanje sistema, in zlasti njegovo odpornost na take vnose;

28.

„pravilno in popolno preverjanje programske opreme EATMN“ pomeni, da je v vseh varnostnih zahtevah za programsko opremo pravilno navedeno, kaj se zahteva za posamezen sestavni del programske opreme v postopku ocene in ublažitve tveganja, in da je izpolnjevanje teh zahtev dokazano v skladu z zahtevano ravnijo zagotovil za programsko opremo;

29.

„podatki o življenjskem ciklu programske opreme“ pomenijo podatke, pridobljene v življenjskem ciklu programske opreme z namenom načrtovanja, usmerjanja, razlaganja, določanja, evidentiranja ali zagotavljanja dokazov o dejavnostih; ti podatki omogočajo procese življenjskega cikla programske opreme, odobritev sistema ali opreme in spremembo programskega izdelka po odobritvi;

30.

„življenjski cikel programske opreme“ pomeni:

31.

„varnostna zahteva za sistem“ pomeni varnostno zahtevo, izpeljano za funkcionalni sistem.

(a)

v varnostnih zahtevah za programsko opremo je pravilno navedeno, kaj se zahteva za programsko opremo, da bi izpolnjevala varnostne cilje in zahteve, kot so določene s postopkom ocene in ublažitve tveganja;

(b)

sledljivost je obravnavana v zvezi z vsemi varnostnimi zahtevami za programsko opremo;

(c)

implementacija programske opreme ne zajema funkcij, ki negativno vplivajo na varnost;

(d)

programska oprema EATMN izpolnjuje zahteve zanjo z ravnijo zaupanja, ki je skladna s kritičnostjo programske opreme;

(e)

zagotovila potrjujejo, da so splošne varnostne zahteve, določene v točkah (a) do (d), izpolnjene, in argumenti, ki dokazujejo potrebna zagotovila, so vedno izpeljani iz:

1.

dokumentiran, konkretno kot del skupne dokumentacije o oceni in ublažitvi tveganja;

2.

dodeli ravni zagotovil za programsko opremo vsej operacijski programski opremi EATMN skladno z zahtevami iz Priloge I;

3.

vključuje zagotovila za:

4.

določa strogost, s katero se določijo zagotovila. Strogost se mora opredeliti za vsako raven zagotovil za programsko opremo in se mora povečati z rastjo kritičnosti programske opreme. V ta namen:

5.

uporablja povratne informacije na podlagi izkušenj programske opreme EATMN, da potrdi ustreznost sistema za zagotavljanje varnosti programske opreme in dodelitve ravni zagotovil. V ta namen se posledice napake ali okvare programske opreme, sporočene v skladu z ustreznimi zahtevami glede poročanja in ocene dogodkov v zvezi z varnostjo, presoja v primerjavi s posledicami, ugotovljenimi za zadevni sistem v skladu s klasifikacijskim seznamom resnosti posledic iz odstavka 3.2.4. oddelka 4. Priloge II k Uredbi (ES) št. 2096/2005.