DO-178C juhend: RTCA DO-178 sertifitseerimise sissejuhatus
Sisukord
Erinevused ja väljakutsed DO-178B ja DO-178C vahel
Sissejuhatus
Avioonika tarkvara arendamise valdkonnas on rangetest standarditest kinnipidamine ülioluline, et tagada õhusõiduki süsteemide ohutus ja töökindlus. Kaks silmapaistvat standardit selles valdkonnas on DO-178B ja selle järglane DO-178C. DO-178B, tuntud ka kui tarkvara kaalutlused õhus kasutatavate süsteemide ja seadmete sertifitseerimisel, lasti esmakordselt välja 1992. aastal lennunduse raadiotehnilise komisjoni (RTCA) poolt. DO-178C ehk tarkvara kaalutlused õhusõidukite süsteemide ja seadmete sertifitseerimisel – muudatus 1 on uuendatud versioon, mis avaldati 2011. aastal. Selles artiklis käsitletakse peamisi erinevusi ja väljakutseid DO-178B ja DO-178C vahel.
Ulatus ja eesmärgid
DO-178B
DO-178B annab juhiseid õhus kasutatavate süsteemide ja seadmete tarkvara arendamiseks. Selles kirjeldatakse eesmärke ja tegevusi, mis on vajalikud tarkvara sertifitseerimiseks erinevatel kriitilisuse tasemetel, alates tasemest A (kõige kriitilisem) kuni tasemeni E (kõige vähem kriitiline). Standard keskendub sellele, et tarkvara täidaks ettenähtud funktsioone usaldusväärselt, õigesti ja ohutult.
DO-178C
DO-178C tugineb DO-178B rajatud vundamendile ning sisaldab mitmeid täiustusi ja täpsustusi. See säilitab samad eesmärgid ja kriitilisuse tasemed, kuid pakub ajakohastatud juhiseid tehnoloogiliste edusammude ja varasematest kogemustest saadud õppetundide käsitlemiseks. DO-178C tutvustab ka riskipõhisemat lähenemisviisi, pannes suuremat rõhku tarkvara funktsioonide kriitilisuse määramisele, lähtudes nende mõjust süsteemi ohutusele.
Peamised erinevused
Täiustatud elutsükli protsessid
DO-178C tutvustab DO-178B-ga võrreldes üksikasjalikumat elutsükli protsesside kogumit. See paneb täiendavat rõhku nõuetele, disainile, kodeerimisele ja testimistegevustele. DO-178C-s määratletud uued protsessid hõlmavad tarkvara modelleerimist, formaalseid meetodeid ja objektorienteeritud tehnoloogiat, mida DO-178B-s otseselt ei käsitletud.
Sõltumatus ja kontrollimine
DO-178C tugevdab tarkvaraarenduse ja verifitseerimistoimingute sõltumatuse nõuet. See rõhutab vajadust sõltumatuse järele tarkvaranõuete, disaini, kodeerimise ja testjuhtumite kontrollimisel. See tagab, et tarkvara funktsionaalsuse hindamisel rakendatakse erinevaid vaatenurki, vähendades eelarvamuste tõenäosust ja tõstes kontrolliprotsessi üldist kvaliteeti.
Formaalsed meetodid ja mudelipõhine arendus
DO-178C julgustab tarkvara kvaliteedi ja töökindluse parandamiseks kasutama ametlikke meetodeid ja mudelipõhiseid arendustehnikaid. Need lähenemisviisid hõlmavad matemaatilist analüüsi ja formaalset põhjendust, et kontrollida tarkvara õigsust ja ohutusomadusi. Kuigi DO-178B ei käsitlenud neid tehnikaid selgesõnaliselt, annab DO-178C juhiseid nende integreerimiseks tarkvaraarendusprotsessi.
Tööriista kvalifikatsioon
DO-178C tutvustab terviklikumat lähenemisviisi tööriistade kvalifitseerimisele. See tunnistab kasvavat sõltuvust tarkvaraarendustööriistadest ning vajadust tagada nende nõuetekohane kasutamine ja töökindlus. Standard annab juhiseid tööriistade hindamiseks ja kvalifitseerimiseks, lähtudes nende mõjust tarkvaraarendusele ja ohutuskriitilisusele.
Täiendavad juhised
DO-178C sisaldab mitmeid lisadokumente, mida nimetatakse tehnilisteks lisadeks (TS). Need lisad käsitlevad konkreetseid teemasid, nagu mudelipõhine arendus, objektorienteeritud tehnoloogia ja formaalsed meetodid. Need TS-dokumendid pakuvad täiendavaid juhiseid ja selgitusi, et aidata arendajatel parimaid tavasid rakendada ja DO-178C nõudeid täita.
Väljakutsed
Üleminek ja kohanemine
Üks peamisi väljakutseid DO-178B-lt DO-178C-le üleminekul on organisatsioonide ja arendajate vajadus kohaneda värskendatud juhiste ja protsessidega. Üleminek võib nõuda olulisi muudatusi arendusmetoodikates, tööriistaahelates ja organisatsiooni töövoogudes. Sujuva ülemineku tagamine, säilitades samas ohutuse ja töökindluse, võib olla keeruline ja ressursimahukas ülesanne.
Suurenenud dokumentatsiooninõuded
DO-178C paneb DO-178B-ga võrreldes suuremat rõhku dokumenteerimisele. Standard nõuab põhjalikumat dokumentatsiooni selliste tegevuste jaoks nagu nõuded, disain, kodeerimine ja testimine. Nende dokumentatsiooninõuete täitmine nõuab arendusmeeskondadelt täiendavaid jõupingutusi ja ressursse, mis võib tekitada probleeme aja, kulude ja koordineerimise osas.
Tööriista kvalifikatsioon ja sertifitseerimine
Kuna tarkvaraarendustööriistadele tuginetakse üha enam, on nende nõuetekohase kvalifikatsiooni ja sertifitseerimise tagamine ülioluline. DO-178C kehtestab tööriista kvalifikatsioonile rangemad nõuded, sealhulgas vajaduse näidata, et tööriistad ei avalda tarkvara ohutusele kahjulikku mõju. Nende nõuete täitmiseks peavad organisatsioonid investeerima kõikehõlmavatesse tööriistade kvalifitseerimisprotsessidesse ja dokumentatsiooni, mis võib olla keeruline ja aeganõudev ettevõtmine.
Vastavus uutele protsessidele ja tehnikatele
DO-178C tutvustab uusi protsesse ja tehnikaid, nagu formaalsed meetodid ja mudelipõhine arendus, mis võivad olla DO-178B tavadega harjunud organisatsioonidele võõrad. Nende uute lähenemisviiside järgimine võib nõuda täiendavat koolitust, teadmisi ja investeeringuid uutesse tööriistadesse ja infrastruktuuri. Organisatsioonid peavad nende väljakutsetega tegelema, et uuendatud standard tõhusalt kasutusele võtta.
Järeldus
DO-178B ja DO-178C on olulised standardid õhus kasutatavate tarkvarasüsteemide arendamisel. Kuigi DO-178C tugineb DO-178B rajatud vundamendile, toob see kaasa mitmeid olulisi erinevusi ja väljakutseid. Täiustatud elutsükli protsessid, rõhuasetus sõltumatusele ja kontrollimisele, formaalsete meetodite ja mudelipõhise arenduse kaasamine ning kõikehõlmavad tööriistade kvalifitseerimise nõuded eristavad DO-178C selle eelkäijast. Organisatsioonid, kes lähevad üle DO-178B-lt DO-178C-le, peavad hakkama saama kohandamise, suurenenud dokumentatsiooninõuete, tööriistade kvalifitseerimise ning uute protsesside ja tehnikatega seotud väljakutsetega. Nende väljakutsetega tõhusalt tegeledes saavad arendajad tagada oma avioonika tarkvarasüsteemide jätkuva ohutuse, töökindluse ja nõuetele vastavuse.
Ä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
