Scade

Scade

Standarden för utveckling av säkerhetskritisk inbäddad programvara inom flyg- och försvars-, järnvägstransporter, energi och tung utrustning Industrin Esterel Technologies SCADE Suite® är en modellbaserad utvecklingsmiljö dedicerad till kritisk inbäddad programvara.Med inbyggd integration av Scade-språket och dess enhetliga formella notering är SCADE Suite den unika integrerade designmiljön för kritiska applikationer som sträcker sig över kravhantering, modellbaserad design, simulering, verifiering, kvalificerbar / certifierad kodgenerering och interoperabilitet med andra utvecklingsverktyg ochplattformar.Vad är unikt med SCADE?SCADE utvecklas specifikt för att hantera uppdrag och säkerhetskritiska inbäddade applikationer.SCADE är certifierad / kvalificerad enligt följande internationella säkerhetsnormer:> DO-178B: kvalificerad till nivå A för militär- och rymdindustrin> IEC 61508: certifierad på SIL 3 av TÜV för tung utrustning och energi> EN 50128: certifierad på SIL3/4 av TÜV för järnvägstransporter> IEC 60880: kompatibel för kärnenergi Ökad produktivitet och förbättrad produktkvalitet SCADE-användare rapporterar kostnad och minskning av kostnadsutveckling:> I genomsnitt 10 körbara LOC-utvecklade / dagspersoner, inklusive verifieringsaktiviteter, mot ett genomsnittav 5 för manuell kodning, samtidigt som verkställandetiden reduceras> Software-certifieringskostnader minskade med 50 procent> Kodning, granskning och testkostnad minskad med 70 procent till 90 procent> Programuppdatering cykeltid förkortad med 65 till 75 procent> Automatiserad test på modellnivåoch täckningsanalys> Eliminering av kodfel och lågnivåprovning> Snabba och säkra konstruktionsförändringar under hela livscykeln och testkostnader minskade med 70 procenttill 90 procent SCADE Suite minskar dramatiskt kritiska inbäddade programvarukostnader
scade

kategorier

Alternativ till Scade för Tcl

DRAKON

DRAKON

DRAKON är ett visuellt språk och redaktör utformad för att kunna representera målbaserad kunskap.