identification of runtime errors by means of static analysis and abstract interpretation
Worst-Case Execution Time (WCET) analysis
Testing
Development of made-to-measure HSI test equipment
Manual and automated test case/test data generation
Model based testing
Requirement based testing
Unit testing
Software-integration (SWI) testing
Hardware-software-integration (HSI) testing
System integration testing
Performance tests
Robustness tests (e.g. stack utilization, maximal load, avalanche, long duration)
Protocol conformance tests
Test suite strength assessment
Certification
Consultancy regarding certification requirements, methods and tools
Verification of verification results
Compilation of traceability data
Accomplishment summary
Elaboration of specific verification tasks
Full verification with independence
Quality Assurance
Verified Systems provides quality assurance services for all
development phases of a (potentially safety-critical) system,
ranging from hazard analysis to acceptance testing. All development
phases are supported by our products.
Trainings
We offer dedicated trainings on both, general topics such as
foundations of formal methods dedicated product-specific
trainings. Email us at info@verified.de to discuss your training
needs.
