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 modeling and simulation technologies to validate systems specifications to ensure requirements are right the first time.
System architects can edit, debug, and test requirements and generate numerous test vectors to test if 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 60 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 modeling 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, defense, medical, and industrial safety to quickly provide clear specifications to subcontractors while guaranteeing functional safety requirements and auditable verification for standards bodies.
Stimulus Makes Requirements Right The First Time
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 helps developers create specifications that are correct at the specification stage. STIMULUS improves requirements quality and minimizes iterations within the development process.
STIMULUS bridges the gap between design and requirements engineering tools by using simulation to test the textual specification. 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. 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 the environment specifications of the requirement, improving functional coverage of actual system validation tests. Requirements models are then reused as test oracles to report requirements violations automatically.
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 provided by IT–Translation, a French investor that helps startups in the information technology domain to get off the ground by bringing its entrepreneurship expertise and business network.