Who We Are
Argosim, a privately held software company, is the first company to address the challenge of verifying system requirements at the specification stage—before design begins. We use innovative modelling and simulation technologies to validate systems specifications to ensure requirements are right the first time.
System architects can edit, debug, and test requirements to validate that the specifications are accurate, correct, and clear—all during the specification stage. The result: high-quality requirements. Development teams spend less time redefining requirements, rewriting, and re-debugging code, resulting in fewer development iterations needed to achieve quality results. Compliance costs plummet.
Requirements Engineering Challenges
Today’s system validation process checks that a design properly fulfills system specifications, but it does not check that the specifications are correct. Current validation methods often involve manual reviews that are error-prone and check more the form than the content. In a typical software project, 40 to 70 percent of design bugs are caused by faulty requirements that lead to additional testing and re-debugging.
Because no practical tool exists for debugging the requirements, many software and test engineers use industry design tools by default, not realizing that these very tools force them to form detailed design choices too early. With the trend toward test-driven and requirements-driven development, industry is seeking a way to make systems requirements right the first time. Such an approach defines specifications and runs validation tests before starting the design in order to refine specifications incrementally. As a consequence, requirements and test scenarios are built and maintained in parallel.
Argosim STIMULUS provides modelling and simulation capabilities at a higher level of abstraction, which fits well with current specification practices. STIMULUS enables system integrators from safety-critical domains such as automotive, avionics, railway, energy, defence, medical, and industrial safety to quickly provide clear specifications to subcontractors while guaranteeing functional safety requirements.
An end-to-end requirement-based validation process
Argosim provides software tools for the validation of realtime functional safety systems, from requirements engineering to automatic test-case generation. Our STIMULUS modeling and simulation tool improves requirements quality and minimizes iterations within the development process.
STIMULUS helps developers create specifications that are correct at the specification stage. Visualizing what systems will do enables system architects to discover incorrect, ambiguous, missing, or incomplete requirements before the design phase starts.
In addition, STIMULUS enables validation engineers to generate numerous test vectors from requirements use cases, improving functional coverage of actual system validation tests. Requirements are also reused by test engineers as test oracles to report requirements violations automatically.
STIMULUS is the first simulation tool for embedded systems requirements. It brings powerful debug and test features at the specification level, providing system architects the ability to debug their requirements as developpers debug their code. STIMULUS relies on a high-level, constraint-based, real-time programming language to express requirements in a formal yet natural language and a simulation engine that generates and analyzes possible execution traces that satisfy requirements.
Located in Grenoble, France, Argosim’s team includes embedded systems requirements experts, who hail from worldwide software companies, industry start-ups, and research labs. Pioneers in early validation of functional safety systems requirements, Argosim was founded in 2013 with the vision of using simulation tools to validate requirements and evolve engineering methodologies to achieve cost-effective certification compliance.
Argosim is working closely with the synchronous team from Verimag, a leading research lab in the field of embedded systems, whose DNA is to bring strong theoretical yet practical solutions to industry challenges. As a matter of fact, STIMULUS has been inspired by the LURETTE testing tool made by Verimag.
Argosim also benefits from the operational and financial support of the following investors: IT–Translation, Kreaxi and ACI, see our news about the last funding round.