esittely
Turvallisuuskriittisten järjestelmien alueella ohjelmistojen kehittäminen ja verifiointi ovat keskeisessä asemassa luotettavan ja turvallisen toiminnan varmistamisessa. Erityisesti avioniikkateollisuus luottaa voimakkaasti standardeihin ja ohjeisiin luodakseen vankan kehyksen lentokoneissa käytettävien ohjelmistojen sertifioinnille. DO-178C- ja DO-278A-standardeja on pitkään pidetty ilmailualan ohjelmistokehityksen ja verifioinnin kultastandardina. Näiden standardien parantamiseksi entisestään otettiin käyttöön mallipohjainen kehitys- ja varmistuslisäosa, DO-331. Tämä artikkeli tarjoaa kattavan yleiskatsauksen DO-331:stä ja korostaa sen merkitystä, tärkeimpiä ominaisuuksia ja etuja.
DO-331:n ymmärtäminen
Mikä on DO-331?
DO-331 on täydentävä asiakirja DO-178C:lle (Ohjelmistonäkökohdat ilmassa olevien järjestelmien ja laitteiden sertifioinnissa) ja DO-278A:lle (Ohjelmiston eheyden varmistus lentoliikenteen ohjausjärjestelmissä). Se käsittelee mallipohjaisen kehittämisen ja todentamisen käyttöä ilmassa olevien järjestelmien ja lennonjohtojärjestelmien ohjelmistojen kehittämisen yhteydessä. DO-331 antaa ohjeita mallipohjaisten tekniikoiden soveltamisesta DO-178C:ssä ja DO-278A:ssa esitettyjen tavoitteiden saavuttamiseksi.
DO-331-mallipohjaisen kehittämisen ja todentamisen tarve
Mallipohjainen kehitys (MBD) on saavuttanut viime vuosina merkittävää vetovoimaa tehokkaana tapana kehittää monimutkaisia ohjelmistojärjestelmiä. MBD sisältää abstraktien, korkean tason mallien luomisen, jotka tallentavat järjestelmän käyttäytymisen ja toiminnallisuuden ja mahdollistavat ohjelmistosuunnitelmien varhaisen analyysin, simuloinnin ja todentamisen. Hyödyntämällä MBD-tekniikoita kehittäjät voivat parantaa tuottavuutta, vähentää virheitä ja parantaa ohjelmiston yleistä laatua.
MBD-käytäntöjen integrointi turvallisuuskriittisiin järjestelmiin vaatii kuitenkin huolellista harkintaa. DO-331 täyttää tämän aukon tarjoamalla ohjeita mallipohjaisten tekniikoiden tehokkaalle sisällyttämiselle ilmailutekniikan ohjelmistojen kehitys- ja todentamisprosesseihin.
DO-331:n tärkeimmät ominaisuudet
sovellettavuus
DO-331 soveltuu kaikille ohjelmiston kriittisyyden tasoille aina tasosta A (kriittisin) tasoon E (vähiten kriittinen), DO-178C:n määrittelemällä tavalla. Se antaa ohjeita mallipohjaisten tekniikoiden soveltamiseen kullakin tasolla ja varmistaa, että ohjelmisto täyttää DO-178C:n ja DO-278A:n tavoitteet.
Mallipohjainen kehitysprosessi
DO-331 hahmottelee systemaattisen mallipohjaisen kehitysprosessin, joka on linjassa DO-178C:n ja DO-278A:n keskeisten periaatteiden kanssa. Se tarjoaa vaiheittaiset ohjeet toimintoihin, kuten vaatimusten mallintamiseen, arkkitehtuurin mallintamiseen, mallin toteuttamiseen ja mallin varmentamiseen.
Mallipohjainen vahvistus
Todentaminen on turvallisuuskriittisten järjestelmien ohjelmistokehityksen kriittinen osa. DO-331 korostaa mallipohjaisten varmennustekniikoiden merkitystä, mukaan lukien simulointi, mallin tarkistus ja testaus, jotta varmistetaan ohjelmiston suunnittelun ja toteutuksen oikeellisuus. Se antaa ohjeita tehokkaan todentamisstrategian kehittämiseen sekä mallien ja todentamisartefaktien välisen jäljitettävyyden luomiseen.
Työkalun pätevyys
Mallinnustyökalujen käyttö on välttämätöntä MBD:ssä, ja DO-331 käsittelee tällaisten työkalujen pätevyysvaatimuksia. Se tarjoaa ohjeita työkalujen valinnasta, työkalujen kelpuutusprosesseista ja työkalujen pätevöintitoimintojen tukemiseen tarvittavasta dokumentaatiosta. Näin varmistetaan, että mallipohjaiseen kehittämiseen ja verifiointiin käytettävät työkalut sopivat käyttötarkoitukseensa ja täyttävät tarvittavat laatustandardit.
DO-331:n edut
- Kehitystehokkuutta parantunut – Ottamalla käyttöön DO-331 organisaatiot voivat hyötyä mallipohjaisen kehityksen tarjoamasta tehokkuudesta. Korkean tason mallien käyttö mahdollistaa varhaisen analyysin ja todentamisen, mikä vähentää manuaaliseen koodipohjaiseen toimintaan tarvittavaa aikaa ja vaivaa. Lisäksi kyky simuloida ja validoida malleja voi auttaa tunnistamaan suunnitteluvirheet ja korjaamaan ne varhaisessa vaiheessa minimoiden uudelleentyöskentelyn ja kalliit suunnittelumuutokset.
- Parannettu ohjelmiston laatu – DO-331 edistää tiukkaa lähestymistapaa ohjelmistojen kehittämiseen ja todentamiseen. Korostamalla muodollisten menetelmien käyttöä, tiukkaa testausta ja jäljitettävyyttä täydennys auttaa varmistamaan, että ohjelmisto täyttää DO-178C:n ja DO-278A:n asettamat turvallisuus- ja eheystavoitteet. Mallipohjaisten tekniikoiden soveltaminen auttaa luomaan luotettavia ja korkealaatuisia alan standardien mukaisia ohjelmistoja.
- Pienemmät riskit ja kustannukset - Suunnitteluongelmien ja -virheiden varhainen tunnistaminen mallipohjaisen todentamisen avulla voi merkittävästi vähentää ohjelmistokehitykseen liittyviä riskejä. Käsittelemällä mahdollisia ongelmia varhaisessa vaiheessa DO-331 auttaa estämään kalliita korjauksia ja viivästyksiä sertifiointiprosessissa. Lisäksi mallipohjaisten tekniikoiden käyttö antaa organisaatioille mahdollisuuden virtaviivaistaa kehitysprosessejaan, mikä parantaa tuottavuutta ja pienentää kustannuksia.
Yhteenveto
DO-331, DO-178C:n ja DO-278A:n mallipohjainen kehitys- ja todennuslisäosa, tarjoaa tärkeitä ohjeita mallipohjaisten kehitys- ja varmennustekniikoiden integroimiseksi turvallisuuden kannalta kriittisten avioniikkaohjelmistojen sertifiointiprosessit. Noudattamalla DO-331:ssä esitettyjä periaatteita ja ohjeita organisaatiot voivat hyödyntää mallipohjaisen kehityksen etuja varmistaen samalla alan standardien noudattamisen. Tehokkuutta, ohjelmistojen laatua ja riskien vähentämistä painottaen DO-331:llä on keskeinen rooli ilmailualan ohjelmistokehityksen tulevaisuuden muovaamisessa.
