AbsInt provides tools for validation, verification and certification of safety-critical software. Key products are aiT WCET analyzer for obtaining timing guarantees, StackAnalyzer for proving the absence of stack overflows, RuleChecker for checking coding guidelines, Astrée for proving the absence of runtime errors and data races, TimingProfiler for computing WCET estimates in early stages, and the formally verified optimizing compiler CompCert. NEW: TimeWeaver combines static path analysis with real-time instruction-level tracing to provide WCET estimates.
Science Park 1
66123 Saarbruecken, Germany
Kugler Maag Cie
- R&D Management Consulting
- Process Improvement Programs combining Agile Transformations with Automotive SPICE®, Functional Safety and Automotive Security
KUGLER MAAG CIE GmbH
For nearly 40 years, sepp.med has been the competent partner for software quality assurance in the entire product and system lifecycle of complex and safety-critical software systems. As a proven IT solution and service provider we contribute our know-how and our passion in SW-quality engineering to the automotive, medical technology, pharmaceutical, transportation, avionics and public sectors.
sepp.med has extensive experience in major international projects and innovative projects for medium-sized businesses. The focus of our work is on the realization of complete projects and services, both technically (requirements engineering, SW-development, consulting, QA and testing) and structurally in project, process and quality management. Our consulting focuses on regulatory conformity, process optimization, validation and security. With our “Model-Based-Testing” approach, we have a proven methodology in our portfolio to meet the increasing demands in SW-quality and complexity.
The sepp.med headquarter is located in the middle of the European Metropolitan Region of Nuremberg. With further locations in Berlin, Wolfsburg, Ingolstadt and Stuttgart, we are able to support our customers flexibly and optimally at any time.
Our expertise in the software lifecycle includes
- Requirements engineering and management
- risk management
- SW/System development
- Architecture & Design
- Test Design & Management
- Test Automation and Model-Based Testing
- regulatory affairs consulting
- Process optimization, validation & CSV
- Training & certification according to ISTQB®, ASQF®, IREB® and iSQI standards