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
ARM

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ää

grammatech

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ää

Sysgo

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ää

QA systems

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ää

PRQA

Noudata koodauskäytäntöjä

PRQAn staattisen koodianalyysin MISRA C ja C ++ tarkistimet automatisoivat vaativat kriittisten projektien koodauskäytännöt. PRQA Staattinen koodianalyysi auttaa kehittäjiä ja testaajia saavuttamaan turvallisuuden kannalta kriittiset vaatimukset turvastandardien mukaisesti (kuten IEC61508).

Lue lisää

IBM

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ää

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.

Courses

Software Quality & Test

Test-Driven Development and Unit Testing

26-27 October/Kista
2 days

Embedded Development & Debugging

C Programming for Embedded Systems, part I

12-13 October/Göteborg
2 days

Embedded Development & Debugging

C Programming for Embedded Systems, part II

8-10 November/Göteborg
3 days

Events

We don't have any events scheduled at the moment. To make sure you receive an invitation to all our upcoming events, please sign up to our mailing list…

Webinars

We don't have any webinars scheduled at the moment. To make sure you receive an invitation to all our upcoming webinars, please sign up to our mailing list…

http://nohau.fi/products/

Please contact us for more information!

Don't wait, call us now!