Methods

In the field of system quality & reliabilityDesign, specification, validation and certification of a system’s correct functional and non-functional behaviour, including aspects of overall system dependability (safety, reliability, robustness, etc.). we have developed the following set of methods:

Early detection of requirements defects

Early detection of requirements defects

A model-based approach for system behaviour requirements

Requirements faults are a major source of defects and quality problems. The cost of correcting them during the integration and test phase is high, especially when it leads to re-designing system components. Read more

Model checking for early error detection

Model checking for early error detection

Detecting software design errors before you write the code

Long before starting to manufacture a new car, dozens of models – on paper, in clay, in differential equations and in wind tunnels – are constructed. The models are used to analyse and predict the new car’s properties, and to detect potential design errors. Read more

Integration and test strategies

Integration and test strategies

Model-based planning of optimised integration and test processes

The integration and test (I&T) phase of large, complex systems is time-consuming, laborious and costly: it can easily take 50% of project resources. During this phase many activities and tasks are performed. Read more

Separation of concerns in test automation

Separation of concerns in test automation

Generic and efficient interconnection of software and testware

Testing is a labour-intensive and time-consuming activity that demands automation. Test automation must provide generic and uniform access to an embedded system’s many, diverse, and not always easily accessible, interfaces. It must also give test designers a high-level environment for designing, writing and dealing with test cases. Read more

Model-based testing

Model-based testing

Taking test automation to the next level

Systematic testing is important to ensure software quality. Manual testing is expensive, error-prone and very time-consuming. Therefore test automation is a key consideration in improving test efficiency. Read more

Expose latent software defects quickly

Expose latent software defects quickly

Software health check through stress testing

Subtle software faults can remain hidden in complex systems despite exhaustive testing. Often, such faults emerge later when the systems are operational, with significant performance demand and numbers of users. The errors reported are usually difficult to trace, especially when the software is executed under laboratory conditions. Read more

Fast fault diagnosis and location

Fast fault diagnosis and location

Locating root causes of failure in large software systems

Development of large, software-intensive systems is increasingly performed by multiple teams, often at various locations around the globe. Detecting and solving failures is performed during testing and integrating. Read more

Fault diagnosis in complex embedded systems

Fault diagnosis in complex embedded systems

Locating faults through model-based diagnosis

Product failures do occur, either during testing or normal operation. With the growing complexity of embedded systems, fast, intelligent diagnosis techniques are increasingly important. Read more