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).

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.

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.

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.

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.

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.

embOS-Safe — Sertifioitu RTOS
TÜV on sertifioinut reaaliaikaisen käyttöjärjestelmän (RTOS) embOS mm. standardien IEC 61508 SIL 3 ja IEC 62304 Class C mukaisesti.
Koulutus
Embedded Development & Debugging
Secure Development for Embedded Systems
Next course: 3-5 May
Online course
Register at the latest 2 April
Security
Advanced Security for Embedded Systems
Next course date: 11-12 May 2023
Online course
Register at the latest 10 April
Tapahtumat
Webinaarit
Streamlining Your Tender and Procurement Process with Requirements Management
Apr 13, 2023 17.00 (CEST)
Webinar – “JTAG is more than debugging and programming”.
04 April 2023 11:00 - 11:45 EET