ARGOSIM provides software tools for the validation of real-time embedded systems, from requirements engineering to automatic test-case generation. Product requirements are expressed in very high-level models, close to the natural language, and can be simulated very early within the development cycle, before the system coding phase. Requirement models are later used as test oracles during the validation testing phase. In addition, stochastic models of the system environnement allow performing statistical testing, hence improving your functional coverage and saving time.
Looking for a particular ARGOSIM employee's phone or email?
The ARGOSIM annual revenue was $7 million in 2026.
1 people are employed at ARGOSIM.
ARGOSIM is based in Saint-Martin-D'Hères, Wallis and Futuna.
The NAICS codes for ARGOSIM are [51, 518, 5182].
The SIC codes for ARGOSIM are [73, 737].