Argosim Launches STIMULUS Requirements Verification Tool to Make Requirements Right the First Time

Argosim, the first company to provide tools that validate real-time system requirements, introduces STIMULUS(r), a modeling and simulation environment to edit, debug, and test requirements.

Embedded World, Nürnberg, Germany †Argosim, the first software company to provide tools that validate real-time systems requirements, introduces STIMULUS, a modeling and simulation environment to edit, debug, and test requirements. With STIMULUS, system architects can now verify requirements before the design phase even begins, reducing specification errors, process iterations, and compliance costs for industries battling the rising costs of certification.

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. STIMULUS bridges design and requirement engineering tools by using simulation to test and check textual specifications, enabling engineers to detect incorrect or conflicting requirements. The tool features a high-level modeling language that formalizes natural language requirements and a simulation engine that generates and analyzes executable traces to test requirements.

STIMULUS enables system integrators of real-time safety-critical systems, including aerospace, rail, automotive, energy, and industrial safety, to deliver correct, unambiguous requirements that comply with IEEE 830. System architects can generate and observe many execution traces that verify requirements, define generic test scenarios and debug requirements against realistic inputs, and generate numerous test vectors for software-in-the-loop validation. Then, by supplying these verified requirements to their subcontractors, the system integrators significantly reduce the amount of rework, schedule bloat, and cost of a typical safety-critical system.

“Companies face unprecedented pressures. Increased system complexity and litigation calls for more rigorous industry compliance, but companies need to achieve this with shorter time to market and reduced cost,” said Fabien Gaucher, CEO of Argosim. “Achieving these goals is possible only if companies strip out the amount of rework currently done when requirements are found to be faulty only after coding and testing. STIMULUS gives development teams a chance to disrupt that error-prone development cycle and to make requirements right the first time.”

EDF Identifies STIMULUS Advantage

“As the world’s largest producer of electricity, EDF is highly dependent on nuclear power, generating more than 60 GWe annually from nearly 60 nuclear reactors,” said Thuy Nguyen, senior R&D engineer, Électricité de France. “Our systems must therefore comply with rigorous safety-critical standards. STIMULUS makes it possible to validate our functional system requirements early and independently from all design choices made by third-party subcontractors.”

Argosim Presents Drone Requirements Demo and Paper at Embedded World 2015

Visit Hall 4, Stand 236 during Embedded World 2015 to see a demonstration of STIMULUS used to validate the takeoff procedure of an intelligent drone that autonomously tracks and films moving people equipped with a mobile phone. Additionally, attend Argosim CTO Dr. Bertrand Jeannet’s presentation, “Debugging Real-Time Systems Requirements: Simulate the ‘What’ Before the ‘How,’” held on Thursday, Feb. 24, 16:30–17:00.

About Argosim

Argosim is a privately held software vendor that provides innovative simulation tools that, for the first time, make it possible to validate requirements early in the embedded system design process. By making requirements engineering simple and reliable, Argosim’s STIMULUS tool enables software and test engineers to reduce costly iterations of their development process. Located in Grenoble, France, Argosim consists of talented, experienced, and enthusiastic people from startups, worldwide software companies, and research labs. For more information, visit www.argosim.com.