Technologies

Tools for Quality Assurance

Methodological and conceptual work at SQC generally goes along with technological realizations. Therefore, scientists at SQC develop both single tools and complete development and test environments. Open source software provides medium- to long-term perspectives for the operative business.

 

Qrisp

Write complex quantum algorithms with an easy-to-learn, modern syntax and compile them down to circuit level.

 

Security Testing and Fuzzing

Fuzz testing has proven to be an effective technique for detecting unidentified security-relevant faults.

 

Perception Lab

The Perception Lab offers a state-of-the-art simulation platform for testing AI systems in the railway sector.

 

AI Conformity Assessment

MLOps encompasses the deployment, monitoring, and maintenance of machine learning models in production environments, demanding strict adherence to quality standards.

 

Testing Methodology for ML

Our methodology tackles the critical challenge of quality assurance and testing for AI-enabled systems, particularly those based on machine learning (ML).

 

EMYtest

Testbed to pave the path towards Next Generation emergency services.

 

Metrino

Metrino is a tool to support the validation and quality assurance of models.

 

ModelBus®

Open source framework for tool integration in software and system development.

 

oupPLUS

Smart Cities ICT reference architecture as a central element for the implementation of standardized Smart City concepts.

 

RACOMAT

A risk management tool which combines risk assessment with security tests.

 

TTCN-3 and UTP

Development of the TTCN-3 test definition language and UML Testing Profile.

 

Formal Verification Methods

Highest standards of safety, functionality and robustness

 

MLOps Maturity Assessment

Making maturity transparent, planning improvements

 

Data Quality Evaluation Tool

Holistic Data Quality Assessment for images based on ISO 25012/24