Sökning: onr:"swepub:oai:DiVA.org:ltu-37830" >
Requirements engine...
Requirements engineering of industrial automation systems : Adapting the CESAR requirements meta model for safety-critical smart grid software
-
- Sinha, Roopak (författare)
- Auckland University of Technology, School of Computer and Mathematical Sciences, Auckland University of Technology
-
- Patil, Sandeep (författare)
- Luleå tekniska universitet,Datavetenskap
-
- Pang, Cheng (författare)
- 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
-
visa fler...
-
- Vyatkin, Valeriy (författare)
- Luleå tekniska universitet,Datavetenskap
-
- Dowdeswell, Barry (författare)
- School of Computer and Mathematical Sciences, Auckland University of Technology
-
visa färre...
-
(creator_code:org_t)
- Piscataway, NJ : IEEE Communications Society, 2016
- 2016
- Engelska.
-
Ingår i: Annual Conference of the IEEE Industrial Electronics Society, IECON 2015. - Piscataway, NJ : IEEE Communications Society. - 9781479917624 ; , s. 2172-2177
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- requirements engineering
- requirements system models
- requirements specification language
- IEC 61499
- CESAR
- FREEDM
- smart grids
- traceability
- Dependable Communication and Computation Systems
- Kommunikations- och beräkningssystem
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas