Verified Systems International GmbH ist spezialisiert auf die Sicherung von Software Qualität durch
* Verifikation
* Validierung
* Test
von sicherheitskritischen eingebetteten Systemen nach
* CENELEC EN50128
* DO 178-B, C
* ISO 26262
in den Bereichen Luftfahrt, Bahn und Automobil (Aerospace, Railway, Automotive)
Produkte:
RT-Tester, Model-Based Testing, Code Coverage Branch Monitor, Test Engine Hardware