NDLI: Debugging Embedded Systems Requirements Before The Design Begins:"The beginning is the most important part of the work"

Please wait, while we are loading the content...

Debugging Embedded Systems Requirements Before The Design Begins:"The beginning is the most important part of the work" - Plato

Content Provider	ACM Digital Library
Author	Gaucher, Fabien Génevaux, Yves
Abstract	Over the last two decades, there has been a real movement towards requirements engineering [1]. However, the various tools that have been developed with the aim of improving the specifications development are mostly focused on requirements management and traceability, and there was no easy-to-use requirements validation tool available for checking their functional consistency before any design or coding takes place. As a result, 40 to 60% of design bugs are caused by faulty requirements that generate costly iterations of the development process. Argosim's ambition is to change this situation by providing STIMULUS [2], the very first requirements simulation tool for real-time embedded systems. STIMULUS combines the ability to write requirements into a formal yet simple textual language, but also and even more importantly, to simulate them by generating the possible behaviours of the specified system in the form of execution plots. The analysis of simulation results allows for the quick and early detection of ambiguous, incorrect, incomplete or even conflicting requirements. In practice, STIMULUS integrates seamlessly into the agile development processes [3]. It allows for the concurrent development and validation of both the requirements and their test scenarios in a very incremental way. Once validated at the specification level, both requirements and test scenarios can be reused to validate the design implementation.Test scenarios make it possible to generate many test vectors automatically, while requirements are reused as test observers, or test oracles, in order to automatically check that the system satisfies its requirements. This paper describes the major innovation offered by STIMULUS in the field of requirements engineering. It will first present its operating principles and then briefly illustrate both the requirements validation and software validation workflows with an example from the automotive domain.
Starting Page	58
Ending Page	59
Page Count	2
File Format	PDF
ISSN	10943641
DOI	10.1145/3092893.3092904
Journal	ACM SIGAda Ada Letters (ALET)
Volume Number	36
Issue Number	2
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1989-04-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Validation Automatic testing Simulation Textual specifications Constraint solving Debugging Real-time embedded systems Requirements engineering
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Automatic debugging of real-time systems based on incremental satisfiability counting

Validation of reactive embedded systems against temporal requirements

Automatic test case generation from requirements specifications for real-time embedded systems

"The beginning is the most important part of the work".

Automatic role-based constraint solving for real-time and embedded systems: an approach to modeling guidance.

Debugging Embedded Systems Requirements with STIMULUS: an Automotive Case-Study

Optimization of Real-Time Systems Timing Specifications

Debugging Embedded Systems Requirements with STIMULUS: an Automotive Case-Study

Debugging Real-Time Systems Requirements : Simulate The “ What ” Before The “ How ”

Debugging Embedded Systems Requirements Before The Design Begins:"The beginning is the most important part of the work" - Plato

Similar Documents

Automatic debugging of real-time systems based on incremental satisfiability counting

Validation of reactive embedded systems against temporal requirements

Automatic test case generation from requirements specifications for real-time embedded systems

"The beginning is the most important part of the work".

Automatic role-based constraint solving for real-time and embedded systems: an approach to modeling guidance.

Debugging Embedded Systems Requirements with STIMULUS: an Automotive Case-Study

Optimization of Real-Time Systems Timing Specifications

Debugging Embedded Systems Requirements with STIMULUS: an Automotive Case-Study

Debugging Real-Time Systems Requirements : Simulate The “ What ” Before The “ How ”

Debugging Embedded Systems Requirements Before The Design Begins:"The beginning is the most important part of the work" - Plato