Requirements engineering of industrial automation systems: Adapting the CESAR requirements meta model for safety-critical smart grid software

Roopak Sinha, Sandeep Patil, Cheng Pang, Valeriy Vyatkin, Barry Dowdeswell

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

7 Citations (Scopus)

Abstract

Requirements engineering is the first stage in the development of any system. For safety-critical industrial systems like smart-grids, we must ensure that requirements are properly elicited, defined, analyzed and managed. This paper adapts the requirements framework developed in the CESAR European project, called the CESAR requirements meta-model, to support all aspects of requirements engineering for safety-critical systems. This enables the formalization of requirements in order to automate and assist in many aspects of later stages in the system development life cycle. Using a smart grid system from the FREEDM project, we illustrate that the adapted requirements engineering framework is comprehensive and rich for large safety-critical systems. We find that the use of the IEC 61499 function block standard provides an appropriate system modelling and implementation framework, which complements the strengths of the proposed requirements engineering framework. Traceability links between requirements and components of an IEC 61499 system model can help with automatic test case generation and formal analysis of requirements.

Original languageEnglish
Title of host publicationIECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society
PublisherIEEE
Pages2172-2177
Number of pages6
ISBN (Print)9781479917624
DOIs
Publication statusPublished - 25 Jan 2016
MoE publication typeA4 Article in a conference publication
EventAnnual Conference of the IEEE Industrial Electronics Society - Yokohama, Japan
Duration: 9 Nov 201512 Nov 2015
Conference number: 41
http://iecon2015.com/

Conference

ConferenceAnnual Conference of the IEEE Industrial Electronics Society
Abbreviated titleIECON
Country/TerritoryJapan
CityYokohama
Period09/11/201512/11/2015
Internet address

Keywords

  • CESAR
  • FREEDM
  • IEC 61499
  • requirements engineering
  • requirements specification language
  • requirements system models
  • smart grids
  • traceability

Fingerprint

Dive into the research topics of 'Requirements engineering of industrial automation systems: Adapting the CESAR requirements meta model for safety-critical smart grid software'. Together they form a unique fingerprint.

Cite this