Modeling and Simulation Software validates requirements.

Press Release Summary:



Offering environment to edit, debug, and test requirements, STIMULUS lets architects verify requirements before design phase begins, minimizing specification errors. System integrators of real-time safety-critical systems can deliver correct, unambiguous requirements that comply with IEEE 830. With STIMULUS, architects can generate and observe execution traces that verify requirements, debug requirements against realistic inputs, and generate test vectors for software-in-the-loop validation.



Original Press Release:



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



First-of-its-kind modeling and simulation tool validates requirements at specification before system design begins



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.



Argosim contact:

Yves Génevaux

+33 6 4545 6280

yves.genevaux@argosim.com



Argosim and STIMULUS are trademarks of Argosim. All other product or service names are the property of their respective owners. © 2015 Argosim.

Related

All Topics