Loading...
Please wait, while we are loading the content...
Similar Documents
Debugging Real-Time Systems Requirements : Simulate The “ What ” Before The “ How ”
| Content Provider | Semantic Scholar |
|---|---|
| Author | Jeannet, Bertrand Gaucher, Fabien |
| Copyright Year | 2015 |
| Abstract | In a typical software project, 40% to 60% of design bugs are caused by faulty requirements that generate costly process iterations as specifications need to be redefined, code rewritten and then redebugged. The major reason for this situation is that no practical tool exists for debugging requirements, and the many tools that exist for requirement management and traceability do not solve this problem. Argosim Stimulus provides an innovative solution for the early debugging and validation of functional real-time requirements. Stimulus relies on a high-level, constraint-based, real-time language to express requirements in natural language and a simulation engine based on a constraint solver to generate and analyze execution traces that satisfy requirements. By visualizing “what” systems will do enables system architects to discover incorrect, ambiguous, missing or incomplete requirements before the design phase starts defining the “how”. Keywords—Requirement Engineering, Real-time Embedded Systems, Domain Specific Languages, Debugging, Simulation, Constraint Solving |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.phaedsys.com/principals/argosim/argosimdata/STIMULUS-WhitePaper%20-%20Simulate%20and%20Verify%20Requirements.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
