DO-178C juhend: RTCA DO-178 sertifitseerimise sissejuhatus
Sisukord
DO-333, ametlike meetodite täiendus dokumentidele DO-178C ja DO-278A
Sissejuhatus
Lennumaailmas on ohutus esmatähtis. Lennusüsteemides kasutatava tarkvara arendamine ja sertifitseerimine järgib rangeid juhiseid, et tagada kõrgeim ohutuse ja töökindluse tase. Selleks toetub lennundustööstus sellistele standarditele nagu DO-178C ja DO-278A, mis annavad juhiseid vastavalt lennukisüsteemide ja lennuliikluse juhtimissüsteemide tarkvara sertifitseerimiseks. Kuna aga tarkvarasüsteemid muutuvad keerukamaks, ei pruugi traditsioonilised testimismeetodid olla piisavad kõigi võimalike ohutusriskide käsitlemiseks.
Formaalsed meetodid pakuvad alternatiivset lähenemisviisi tarkvara korrektsuse tagamiseks, kasutades matemaatilisi meetodeid, et tõestada teatud tüüpi defektide ja vigade puudumist. Tunnistades formaalsete meetodite võimalikke eeliseid õhusõidukite ohutuse ja töökindluse suurendamisel, võttis lennundustööstus kasutusele DO-333 – DO-178C ja DO-278A formaalsete meetodite täienduse.
DO-333 mõistmine
DO-333, ametliku pealkirjaga "Do-178C ja DO-278A formaalsete meetodite täiendus", on täiendav dokument, mis annab juhised formaalsete meetodite kasutamiseks õhus kasutatava tarkvara ja lennuliikluse juhtimissüsteemide väljatöötamisel ja sertifitseerimisel. Selle töötas välja RTCA (Radio Technical Commission for Aeronautics) koostöös EUROCAE-ga (European Organisation for Civil Aviation Equipment).
Dokument avaldati esmakordselt aastal [aasta] vastusena õhus kasutatava tarkvara kasvavale keerukusele ja vajadusele käsitleda võimalikke probleeme, mida traditsioonilised kontrolli- ja valideerimismeetodid ei pruugi piisavalt katta. DO-333 täiendab DO-178C ja DO-278A juhiseid, pakkudes täiendavaid kaalutlusi ametlike meetodite kasutamisel tarkvara töökindluse suurendamiseks.
DO-333 ulatus
DO-333 keskendub formaalsete meetodite rakendamisele arendustegevuse elutsükli protsessides, mida on kirjeldatud dokumentides DO-178C ja DO-278A. See ei asenda ega muuda neid olemasolevaid standardeid, vaid pigem täiendab neid. DO-333 peamine eesmärk on aidata arendajatel, sertifitseerimisasutustel ja teistel sidusrühmadel mõista formaalsete meetodite kasutamist ja seda, kuidas neid olemasolevatesse tarkvaraarendusprotsessidesse integreerida.
Lisas on üksikasjalikud juhised järgmiste aspektide kohta:
Ametlike meetodite rakendamine
DO-333 selgitab, kuidas formaalseid meetodeid saab rakendada tarkvara arendusprotsessi erinevates etappides, nagu nõuete analüüs, projekteerimine, juurutamine ja kontrollimine. Selles kirjeldatakse igas etapis formaalsete meetodite kasutamise eeliseid ja piiranguid ning antakse ülevaade defektide tüüpidest, mida formaalsed meetodid võivad tõhusalt lahendada.
Tööriista kvalifikatsioon
Formaalsete meetodite terviklikkuse tagamiseks sisaldab DO-333 juhiseid tarkvara arendusprotsessis kasutatavate formaalsete tööriistade kvalifitseerimiseks. See hõlmab tööriista usaldusväärsuse, töökindluse ja piirangute kindlaksmääramist ning selle vastavust ohutuskriitilise tarkvara arendamiseks vajalikele standarditele.
Tõendite kogumine
Nii nagu DO-178C ja DO-278A puhul, on tõendite kogumine vajalik kehtestatud juhistele vastavuse tõendamiseks. DO-333 annab konkreetsed juhised tõendite liikide kohta, mida tuleks koguda, et näidata ametlike meetodite tõhusust võimalike defektide tuvastamisel ja kõrvaldamisel.
Täiendavad kaalutlused
DO-333 tunnistab, et formaalsed meetodid ei ole kõigile sobiv lahendus ja need ei pruugi sobida tarkvaraarenduse iga aspekti jaoks. Lisas antakse juhiseid selle kohta, millal tuleks kaaluda ametlike meetodite kasutamist ja millal toetuda traditsioonilistele testimismeetoditele.
DO-333 eelised
Ametlike meetodite kaasamine tarkvaraarendusprotsessi pakub mitmeid olulisi eeliseid, sealhulgas:
Suurenenud tarkvara töökindlus
Ametlikud meetodid, kui neid õigesti rakendatakse, suudavad matemaatiliselt tõestada tarkvara funktsioonide ja algoritmide õigsust, vähendades kriitiliste defektide tõenäosust, mis võivad põhjustada süsteemitõrkeid või haavatavusi.
Täiustatud defektide tuvastamine
Formaalsete meetodite abil saavad arendajad tuvastada defekte, mida ei pruugi traditsiooniliste testimismeetodite abil kergesti tuvastada. See hõlmab peente loogikavigade, nurgajuhtumite ja võimalike tarkvarakomponentide vaheliste interaktsioonide avastamist.
Tõhustatud sertifitseerimiskindlus
DO-333 annab juhiseid formaalsete meetodite tõhususe tõendite kogumiseks ja esitamiseks. See võib aidata suurendada sertifitseerimisasutuste usaldust sertifitseeritud tarkvara ohutuse ja töökindluse suhtes, mis viib sertifitseerimisprotsesside sujuvamaks muutmiseni.
Kulude ja aja kokkuhoid
Kuigi ametlike meetodite kasutamine võib nõuda täiendavaid esialgseid investeeringuid tööriistade ja teadmiste osas, võib see kaasa tuua pikaajalise kulude ja aja kokkuhoiu. Vähendades defektide arvu ja vajadust ulatusliku testimise järele, võivad formaalsed meetodid arendusprotsessi sujuvamaks muuta ja projekti üldkulusid vähendada.
Järeldus
DO-333, DO-178C ja DO-278A formaalsete meetodite täiendus, pakub väärtuslikke juhiseid formaalsete meetodite integreerimiseks lennukitarkvara ja lennuliikluse juhtimissüsteemide arendus- ja sertifitseerimisprotsessidesse. Täiendades olemasolevaid standardeid, aitab DO-333 tegeleda tarkvarasüsteemide kasvava keerukusega ning annab võimaluse parandada tarkvara töökindlust ja ohutust.
Ametlike meetodite nõuetekohase rakendamise kaudu saab lennundustööstus veelgi edendada oma kohustust tagada õhus olevate süsteemide kõrgeim ohutustase, millest saavad lõpuks kasu reisijad, operaatorid ja kogu lennunduse ökosüsteem.
Ärge unustage seda postitust jagada!
peatükid
1. Õhusõiduki standardi tutvustus
2. DO-178 sertifitseerimisprotsess
3. DO-178C tööriistad ja koolitused
4. DO-178C täpsemad teemad
5. DO-178C ressursid
6. Sõnastik
Visure abil saate kiiremini turule
- Tagada eeskirjade järgimine
- Täieliku jälgitavuse jõustamine
- Arengu sujuvamaks muutmine
