Company History

Over Two Decades of Advancing Software Quality and Functional Safety

Validas' journey began with early innovations in Model-Based Testing and has evolved into a comprehensive expertise in tool, library, and toolchain qualification for safety-critical systems. Over more than 25 years, we have continuously shaped methods and technologies used in regulated industries worldwide.

  • 2000–2004

    Foundations in Model-Based Testing

    Validas’ roots lie in the early adoption of Model-Based Testing (MBT) at a time when systematic test automation was still emerging. This phase established the methodological backbone that continues to define our work today.

    • Early adoption of Model-Based Testing

    • Expansion into Ada code analysis and test generator concepts

    • Deep training in embedded systems architecture

    • Development of requirement modeling approaches and guidelines

    • Creation of a method handbook aligned with functional safety standards such as DIN EN 61508 and ISO DIS 26262

  • 2005–2010

    Pioneering Tool Qualification and Test Automation

    As software complexity grew, Validas focused on scalable automation and qualification methods for safety-critical environments.

    • Test-Generator based on Message Sequence Charts (MSC ITU Z.120) and Classification Trees for automotive network management.

    • Introduction of pioneering Tool Qualification services

    • Conformance checker for modeling guidelines for model-based development.

    • Advanced automation of GUI testing and test case generation technologies

    • Membership in AUTOSAR and contributions to architecture and mode management

    • Introduced Tool Chain Analysis (TCA), a critical service for analyzing and securing entire toolchains.

  • 2011–2015

    Shaping Standards and Engineering Processes

    Shaping Standards and Engineering Processes
    Validas expanded its role from technical solutions to strategic consulting and standardization.

    • Process design and method consulting for IEC 61508, ISO 26262, and DO-178B

    • Introduction of Qualification Kits for tools and libraries

    • Participation in the Artemis research project RECOMP, reducing certification costs for trusted multi-core platforms in safety-critical functionality.

    • Contribution to BMW Group Standard 95014 Embedded Software (2nd Edition)

    • Publication of learning materials on model-based engineering of embedded software as part of the SPEDiT research project

  • 2018–Today

    Cross-Domain and Future-Ready Innovation

    In recent years, Validas has extended its qualification expertise to modern technologies in advanced and evolving fields

    • Expansion of library qualification to include C and C++ libraries

    • Certification of Validas’ tool and library qualification methods according to IEC 61508 and ISO 26262

    • Participation in EU Horizon 2020 HUBCAP, achieving the first qualification of a cloud-based toolchain

    • Released the first version of our semantic C and C++ code analyzer, R3.t