The application domain of the ASSERT Technologies :
Real-time systems.
As stated in the ASSERT proposal, the targeted domain of applications for the ASSERT technologies is real-time and embedded systems. In those types of system any deviation from the functional AND non functional requirements may put the system at risk of non performing its mission.
As a direct consequence, when developing those systems all requirements must be taken with care and all properties shall be verified before declaring the system operationnal.
The ASSERT technologies and tools, put in motion with the ASSERT process, can guarantee that those properties will be captured at the system model and carefully monitored throughout the development until the final system is generated.
Building reliable software with the assert technologies for multiple industrial domains.
Interesting to know how to integrate The assert-project in one of the industrial domains above ?
Please contact us by clicking here.
