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.