Scade

Scade

Standard za razvoj varnostno vgrajene programske opreme v letalstvu in obrambi, železniškem prometu, energetiki in industriji težke opreme Esterel Technologies SCADE Suite® je razvojno okolje, ki temelji na modelu, namenjeno kritični vgrajeni programski opremi.Z izvorno integracijo jezika Scade in njegovo poenoteno formalno noto je SCADE Suite edinstveno integrirano oblikovalsko okolje za upravljanje s kritičnimi aplikacijami, ki se nanašajo na zahteve zahtev, oblikovanje na osnovi modela, simulacijo, preverjanje, generiranje kode, ki izpolnjuje pogoje, in interoperabilnost z drugimi razvojnimi orodji inploščadi.Kaj je edinstveno pri SCADE?SCADE se razvija posebej za reševanje vgrajenih aplikacij, ki so kritične za poslanstvo in varnost.SCADE je certificiran / usposobljen v skladu z naslednjimi mednarodnimi varnostnimi standardi:> DO-178B: usposobljen do stopnje A za vojaško in vesoljsko industrijo> IEC 61508: certificirano na SIL 3 s strani TÜV za težko opremo in energijo> EN 50128: certificirano pri SIL3/4 s strani TÜV za železniški promet> IEC 60880: skladen za povečano produktivnost in izboljšano kakovost jedrske energije uporabniki SCADE poročajo o znižanju stroškov razvoja in preverjanja:> Povprečno 10 izvršljivih LOC oseb na dan, vključno z verifikacijskimi dejavnostmi, v primerjavi s povprečjemod 5 za ročno kodiranje, hkrati pa se skrajša čas izvedbe> Stroški certificiranja programske opreme zmanjšajo za 50 odstotkov> Stroški kodiranja, pregleda in testiranja zmanjšajo za 70 do 90 odstotkov> Čas cikla posodobitve programske opreme se skrajša za 65 do 75 odstotkov> Samodejno testiranje na ravni modelain analiza pokritosti> Odpravljanje napak pri kodiranju in preskušanje na nizki ravni> Hitre in varne spremembe oblikovanja skozi celoten življenjski cikel in stroški testiranja zmanjšani za 70 odstotkovdo 90 odstotkov SCADE Suite dramatično zmanjša kritične stroške vdelane programske opreme

Kategorije

Alternativa Scadeu za vse platforme s katero koli licenco

DRAKON

DRAKON

DRAKON je vizualni jezik in urejevalnik, ki je zasnovan tako, da lahko predstavlja ciljno znanje.