Modeling/Simulation Tool edits, debugs, and tests requirements.

Press Release Summary:




STIMULUS provides modeling and simulation environment in which to edit, debug, and test requirements. Constraint-based, real-time language is used to express requirements in natural language, while algorithm-based simulation engine generates and analyzes executable traces that satisfy requirements. By discovering incorrect, ambiguous, missing, or incomplete requirements before design phase starts, engineers can reduce specification errors, process iterations, and design expenditure.



Original Press Release:



Argosim to Debut STIMULUS, a Modeling and Simulation Tool to Edit, Debug, and Test Real-Time Requirements at Embedded World 2015



STIMULUS drone demo and technical paper will showcase tool’s ability to validate requirements at specification before system design begins



Grenoble, FRANCE – Argosim, a software company that provides innovative tools to validate real-time systems requirements, will make its debut at Embedded World 2015, to be held Feb. 24-26 in Nürnberg, Germany. Argosim will unveil STIMULUS, a modeling and simulation environment to edit, debug, and test requirements, with a technical presentation and demos that exhibit how early validation of requirements can be achieved.



Hall 4, Stand 236: Demo Features Takeoff Procedure of Intelligent Drone

The demonstration will use STIMULUS to validate the takeoff procedure of an intelligent drone, which is able to autonomously track and film moving people equipped with a mobile phone. To show how STIMULUS makes requirements right the first time, Argosim will offer a snapshot of the whole development process—from early modeling and simulation of safety requirements to the automatic generation of test vectors during software-in-the-loop validation of the mobile controller. Visiting engineers will see mobile requirements modeled alongside drone requirements using predefined sentence templates. The unique simulation feature will generate execution traces that satisfy requirements, which can be analyzed to find faulty requirements.



“Manual specifications reviews that most customers use today result in faulty requirements that generate costly process iterations as specifications need to be redefined, code rewritten and then re-debugged,” says Fabien Gaucher, CEO of Argosim. “When we show them the STIMULUS demo, they can see that Argosim offers requirements definition and simulation capabilities at a high level of abstraction that fits well with their current specification practices and ultimately cuts design time and costs.”



Paper Outlines How Requirements Can Be Tested Before Design Phase Begins

On Thursday, Feb. 24 at 16:30-17:00, Dr. Bertrand Jeannet, CTO of Argosim, will present “Debugging Real-Time Systems Requirements: Simulate the “What” Before the “How”. Jeannet will show system architects how they can debug and validate functional real-time requirements early before the design phase begins. STIMULUS relies on a high-level, constraint-based, real-time language to express requirements in natural language and an algorithm-based simulation engine to generate and analyze executable traces that satisfy requirements. By discovering incorrect, ambiguous, missing, or incomplete requirements before the design phase starts, engineers can reduce specification errors, process iterations, and design costs.



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 requirement 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, the team consists of talented, experienced, and enthusiastic people from startups, worldwide software companies, and research labs. For more information, visit www.argosim.com.



Media Contact:

Angie Hatfield     

Hughes Communications    

(425) 941-2895

angie@hughescom.net



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.

All Topics