Toiminnallinen turvallisuus

Autamme lukuisia yrityksiä heidän turvakriittisissä projekteissa. Avaintekijöitä turvakriittisten projektien tehokkaassa ja aikataulun mukaisessa läpiviennissä ovat:

osaaminen
oikeat menetelmät
menetelmiä tukevat sertifioidut työvälineet

Sertifioitu kääntäjä

ARM kääntäjä on TÜV SÜD sertifioima ja täyttää ”tool class T3” vaatimukset IEC 61508-3 mukaisesti SIL3 tasolle saakka. Kääntäjää voidaan käyttää turvallisuuskriittisen sovelluksen kehittämiseen ilman erillisiä kvalifiointiaktiviteetteja, kun seuraa tuotteen dokumentointia (Qualification Kit).

Lue lisää

Tee turvallista koodia

Grammatechin CodeSonar on johtava ja monissa vertailuissa parhaaksi havaittu staattinen koodianalyysi ohjelmisto. CodeSonar tukee toiminnallisen turvallisuuden dokumentointivaatimuksia kuten IEC61508 ja koodauskäytäntöjä MISRA C ja MISRA C.

Lue lisää

Tarvitsetko sertifioidun ja turvallisen käyttöjärjestelmän?

SYSGO tarjoaa monipuolisen käyttöjärjestelmän turvakriittisiin projekteihin. SYSGOn PikeOS perustuu virtualisointiteknologiaan tarjoten mikroytimille suojatut osiot. . PikeOS on sertifioitu turvastandardeja (kuten IEC61508) noudattaviin projekteihin. PikeOS:n ainutlaatuinen virtualisointikonsepti täyttää uuden sukupolven turvavaatimukset aina SIL4 turvatasoon saakka.

Lue lisää

Yksikkö- ja kattavuustestaus

Yksikkö- ja kattavuustestauksella huolehdit, että ohjelmisto on testattu vaatimustasojen mukaisesti. Cantata ohjelmiston avulla varmistat, että koodisi toimii oikein ja täyttää turvastandardien kuten IEC61508 vaatiman testikattavuuden. Cantata on TÜV sertifioitu testausohjelmisto.

Lue lisää

Osaaminen tekee mestarin

Tarjoamme kattavasti koulutusta turvakriittisten projektien eri vaiheisiin, kuten IREB sertifiointikoulutuksen vaatimushallintaan, MISRA C ja C++ koodauskäytäntöjen syvälliseen osaamiseen, turvastandardien syvälliseen hallintaan jne. Kysy lisää koulutuksesta ja palveluista.

Lue lisää

IBM ratkaisut turvakriittisiin projekteihin

IBM ratkaisut ovat varma valinta kriittisten projektien järjestelmäsuunnitteluun ja vaatimushallintaan. IBM tuotteet, kuten Rational DOORS ja Rhapsody antavat vahvan perustan jäljitettävyydelle, projektin hallinnoinnille ja turva standardien suosittelemalle kehitysmenetelmille.

Lue lisää