A Methodology for Systems Requirements Specification and Traceability for Large Real Time Complex Systems

Edwards, Michael; Howell, Steven L.

doi:10.21236/ada254738

Cited by 10 publications

(9 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Edwards and Howell (1991) define traceability as a technique used to "provide a relationship between the requirements, the design, and the final implementation of the system". Palmer (1997) states that "traceability gives essential assistance in understanding the relationships that exist within and across software requirements, design and implementation".…”

Section: Background: Definitions and Uses Of Traceabilitymentioning

confidence: 99%

“…During design, traceability allows designers and maintainers to keep track of what happens when a change request is implemented before a system is redesigned (Edwards and Howell 1991). Traceability is helpful if it can link designs to justifications, important decisions and assumptions behind them and the contexts in which design solutions are arrived at (Smithers et al 1991).…”

Section: Background: Definitions and Uses Of Traceabilitymentioning

confidence: 99%

See 1 more Smart Citation

Toward reference models for requirements traceability

Ramesh

Jarke

2001

IIEEE Trans. Software Eng.

665

387

View full text Add to dashboard Cite

show abstract

Section: Background: Definitions and Uses Of Traceabilitymentioning

confidence: 99%

Section: Background: Definitions and Uses Of Traceabilitymentioning

confidence: 99%

Toward reference models for requirements traceability

Ramesh

Jarke

2001

IIEEE Trans. Software Eng.

665

387

View full text Add to dashboard Cite

show abstract

“…We also control the load capacity of transformer to control the burning or tripping of transformer. Some of the research papers are using different formal methods like Ada, Z notations and VDM [12,13] to specify their system. In different papers formal method has been used for different system like traffic management system [14] and hospital management system.…”

Section: Related Workmentioning

confidence: 99%

UML based Formal Model of Smart Transformer Power System

Sultan¹,

Pir²,

Zafar³

2017

ijacsa

View full text Add to dashboard Cite

Abstract-Recently many significant improvements have been done in traditionally power system. But still a lot of work is needed in traditional power system to mend many challenges. We propose formal method based on subnet model for smart power system. Formal method is mathematics based technique that is used to develop, specify and verify model in a systematic manner. It involve components i.e., power plant, smart grid, transformer and smart meters. Power plant produces electricity and then distributes it to the smart grid. Smart grid generates electricity to transformers and then transformers transfer electricity to smart meters. Smart transformers and smart meters are deployed inform of subnets that increase the energy efficiency of smart power system. In this paper our main focus is on two components of smart power system that is transformers and smart meters. Graph theory is used for the semi-formal representation of model. In this paper we present system requirements through UML use case diagrams that are used to describe actions of system and then real topology is transferred into model topology in graph theory that is used to represent the structure of system. Mathematical technique and notation based formal method approaches are used for describing and analyzing the system. VDM-SL formal method language is used for formal specification and VDM toolbox is used for the verification and analysis of system.

show abstract

“…This de¯nition re°ects the traces from requirement to other artifacts, which means that it focuses on post-RS traceability, but on the other hand ignores pre-RS traceability [30].…”

Section: Requirements Traceability: a Systematic Review And Industry mentioning

confidence: 99%

Requirements Traceability: A Systematic Review and Industry Case Study

Torkar

Gorschek

Feldt

et al. 2012

Int. J. Soft. Eng. Knowl. Eng.

View full text Add to dashboard Cite

Requirements traceability enables software engineers to trace a requirement from its emergence to its ful¯llment. In this paper we examine requirements traceability de¯nitions, challenges, tools and techniques, by the use of a systematic review performing an exhaustive search through the years 1997À2007. We present a number of common de¯nitions, challenges, available tools and techniques (presenting empirical evidence when found), while complementing the results and analysis with a static validation in industry through a series of interviews.

show abstract

A Methodology for Systems Requirements Specification and Traceability for Large Real Time Complex Systems

Cited by 10 publications

References 20 publications

Toward reference models for requirements traceability

Toward reference models for requirements traceability

UML based Formal Model of Smart Transformer Power System

Requirements Traceability: A Systematic Review and Industry Case Study

Contact Info

Product

Resources

About