Verified Systems International GmbH en

Company

Thu, 28 Jan 2010 14:18:49 +0200

Company 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 (Head of Research & Development). Dr. Peleska is professor for computer science (operating systems and distributed systems) at Bremen University.

Contact

Fri, 15 Jan 2010 13:50:56 +0200

Contact Parkstraße 123 D-28209 Bremen Germany Phone: +49 421 57204-0 Fax: +49 421 57204-22 → Calculate route... E-Mail: Web: http://www.verified.de/

Customers' Area

Fri, 15 Jan 2010 19:01:41 +0200

To access the following pages, a login is required. * Airbus Operations GmbH (Finkenwerder) * Airbus Operations GmbH (Buxtehude)

Expertise

Wed, 23 Apr 2008 22:52:50 +0200

Expertise Verified Systems offers Software Quality Assurance services in accordance to * DO178-B (International Standard for Avionics Applications) * CENELEC EN50128 (European Standard for Railway Applications) Verified's RT-Tester test equipment offers

Imprint

Tue, 19 Feb 2008 00:23:22 +0200

Imprint Verified Systems International GmbH Parkstraße 123 D-28209 Bremen Germany Phone: +49 421 57204-0 Fax: +49 421 57204-22 E-Mail: Web: http://www.verified.de/ Shareholder: Dr.-Ing. Cornelia Zahlten, Prof. Dr. habil. Jan Peleska

en:menu1

Wed, 03 Mar 2010 14:56:40 +0200

* Home * Expertise * Publications * Services * Products * Company * References * Customers

News

Tue, 16 Jun 2009 11:38:25 +0200

News

Products

Fri, 10 Oct 2008 13:57:50 +0200

Products Verified Systems' products cover a wide range of applications. The RT-Tester test automation tool performs automatic test generation, test execution and real-time test evaluation. It supports * Unit testing (also called module testing) for C functions and C++ methods, * Software integration (SWI) testing for components (i.e. libraries, collaborations of objects, threads, processes) written in C/C++, * Hardware/software integration (HSI) testing, * System integration testi…

Publications

Tue, 16 Jun 2009 11:42:47 +0200

Publications in 2008 C. Efkemann, T. Hartmann: [Specification of Conditions for Error Diagnostics]. In: Proceedings of the 3rd intl Workshop on Systems Software Verification (SSV08), Sydney, February 2008. M. Schwarze, O. Meyer, R. Scholz: [Next Generation Test Engine Environment for Aircraft Cabin Systems Testing], ( [Abstract]). In: Proceedings of the 3rd SQC, Software and Systems Quality Conferences, Düsseldorf, April 15-18, 2008.

References

Tue, 09 Oct 2007 18:49:38 +0200

References Up to now, the main application areas of Verified Systems have been safety critical systems, especially in avionics and the railway domain. For reference projects see the item list on the right hand side of this page. Some of these projects handle thousands of interfaces to the system under test during real-time execution (and real-time evaluation) of hardware-in-the-loop tests.

Search

Mon, 30 Jul 2007 22:17:27 +0200

Search Usage * After entering a few letters, wait for a few seconds to get a display of matching page names. * Performs a fulltext search of the whole website content if no matching page names are found. * Supports wildcard search: “veri*” will find “verified” and “verification”.

Services

Fri, 15 Feb 2008 12:10:25 +0200

Services * Software Requirement Definition and Review * Failure Modes and Effects Analysis (FMEA) * Fault Tree Analysis (FTA) * Design Review * Formal Specification and Model Checking * Bug finding, error diagnostics * Code Review: identification of runtime errors

Welcome

Tue, 09 Oct 2007 11:53:02 +0200

Welcome specialises in novel solutions for testing embedded systems, with particular focus on safety critical systems. Since 1998 Verified's test benches and test automation software have been used for numerous control systems on the Airbus aircraft family as well as for various control systems of the railway, aerospace, and automotive domains.