Idősorok alkalmazása szoftvermegbízhatóság előrejelzésére

Absztrakt

A biztonságkritikus szoftverek fejlesztése kulcsfontosságú. Ez kifejezetten hangsúlyos olyan területeken, ahol a feladatok nagy része, vagy teljes egésze szoftverekre van bízva. Az ilyen szoftverek hibái komoly következményekkel járhatnak, ideértve az életveszélyes helyzeteket, a gazdasági károkat és egyéb komoly problémákat. Ebbe a kategóriába tartoznak a a hagyományos és autonóm járművek fedélzeti szoftverei, az űrkutatás autonóm eszközeinek, speciális ipari eszközöknek és fegyverrendszereknek a szoftverei is. A megrendelő számára komoly kihívás a szoftver gyártójának kiválasztása. Mivel a szoftverek esetén a klasszikus gyártási folyamatok vizsgálati módszereit nem tudjuk alkalmazni, ezért a gyártót kell megvizsgálnunk. Az teljesen egyértelmű, hogy egy adott gyártónak megfelelő minősítésekkel kell rendelkeznie. De mi a helyzet akkor, ha több azonos minősítésű gyártó áll rendelkezésre, és ezek közül kell választani? Ebben a cikkben javaslunk egy módszert, amellyel a gyártók megfelelő megszorítások melletti általános fejlesztési tevékenységét vizsgáljuk, az elkövetett működési és fejlesztési hibák alapján, ezeket idősorokba rendezve. A cikkben ismertetjük a módszert, annak előnyeit, korlátait, alkalmazásának akadályait és egy nem várt következményt az oktatásban.