Verified Systems International GmbH was founded in 1998 as Spin-Off Company of the Center of Information Technology (TZI) af the University of Bremen. Shareholders are Dr. Ing. Cornelia Zahlten (Managing Director) and Prof. Dr. Jan Peleska. Dr. Peleska is professor for computer science (operating systems and distributed systems) at Bremen University.
Verified Systems is specialised on Software Quality Assurance
of safety- and security-critical embedded systems according to
CENELEC EN50128 (railway domain)
RTCA DO178-B, RTCA DO178-C (avionic domain)
- ISO 26262 (automotive domain)
- Common Criteria for Information Technology Security Evaluation
Verified Systems maintains a Quality Management System according to DIN EN ISO 9001 since November 2004, and also according to DIN EN 9100 : 2009 / AS 9100 Rev. C since November 2013.
- DIN EN ISO 9001:2008 (Certificate Reg. No. 304564 QM08, issued November 2016).
- DIN EN 9100:2009/AS 9100 Rev. C (Certificate Reg. No. 304564 ASH09-1, issued November 2016)
The Quality Policy is available online.
Verified Systems actively participates in multiple research projects to be able to offer the latest technologies to our customers and help advancing the state of the art for quality assurance of embedded systems validation.