Change search
ReferencesLink to record
Permanent link

Direct link
Requirements engineering of industrial automation systems: Adapting the CESAR requirements meta model for safety-critical smart grid software
Auckland University of Technology, School of Computer and Mathematical Sciences, Auckland University of Technology.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
Department of Electrical and Computer System Engineering, University of Auckland, University of Auckland, Department of Electrical and Computer Engineering, Department of Electrical Engineering and Automation, Aalto University, Espoo.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
Show others and affiliations
Number of Authors: 5
2016 (English)In: Annual Conference of the IEEE Industrial Electronics Society, IECON 2015: Yokohama, Japan, 9-12 Nov. 2015, Piscataway, NJ: IEEE Communications Society, 2016, 2172-2177 p., 7392423Conference paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2016. 2172-2177 p., 7392423
Series
, I E E E Industrial Electronics Society. Annual Conference. Proceedings, ISSN 1553-572X
Keyword [en]
Information technology - Automatic control
Keyword [sv]
Informationsteknik - Reglerteknik
National Category
Computer Science
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-37830DOI: 10.1109/IECON.2015.7392423ISI: 000382950702043Local ID: bf7c3767-91ad-4087-bfc1-3a89f241193cISBN: 978-1-4799-1762-4 (PDF)OAI: oai:DiVA.org:ltu-37830DiVA: diva2:1011328
Conference
Annual Conference of the IEEE Industrial Electronics Society : 09/11/2015 - 12/11/2015
Note

Validerad; 2016; Nivå 1; 2016-11-25 (andbra)

Available from: 2016-10-03 Created: 2016-10-03 Last updated: 2016-11-25Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Patil, SandeepVyatkin, Valeriy
By organisation
Computer Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 2 hits
ReferencesLink to record
Permanent link

Direct link