On Early Conflict Identification by Requirements Modeling of Energy System Control Structures

Kai Heussen; Oliver Gehrke; Hans Henrik Niemann

doi:10.1109/ETFA.2015.7301503

On Early Conflict Identification by Requirements Modeling of Energy System Control Structures

Kai Heussen, Oliver Gehrke, Hans Henrik Niemann

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abstract

Control systems are purposeful systems involving goal-oriented information processing (cyber) and technical (physical) structures. Requirements modeling formalizes fundamental concepts and relations of a system architecture at a high-level design stage and can be used to identify potential design issues early. For requirements formulation of control structures, cyber and physical aspects need to be jointly represented to express interdependencies, check for consistency and discover potentially conflicting requirements. Early identification of potential conflicts may prevent larger problems at later design stages. However, languages employed for requirements modeling today do not offer the expressiveness necessary to represent control purposes in relation to domain level interactions and therefore miss several types of interdependencies. This paper introduces the idea of control structure modeling for early requirements checking using a suitable modeling language, and illustrates how this approach enables the identification of several classes of controller conflict.

Original language	English
Title of host publication	Proceedings of the 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015)
Number of pages	8
Publisher	IEEE
Publication date	2015
ISBN (Print)	978-1-4673-7929-8
DOIs	https://doi.org/10.1109/ETFA.2015.7301503
Publication status	Published - 2015
Event	The 20th IEEE International Conference on Emerging Technologies and Factory Automation - Luxembourg, Luxembourg Duration: 8 Sept 2015 → 11 Sept 2015 Conference number: 20 http://www.etfa2015.org/

Conference

Conference	The 20th IEEE International Conference on Emerging Technologies and Factory Automation
Number	20
Country/Territory	Luxembourg
City	Luxembourg
Period	08/09/2015 → 11/09/2015
Internet address	http://www.etfa2015.org/

Access to Document

10.1109/ETFA.2015.7301503

OpenUrl availability

Full text

Cite this

@inproceedings{d28ed2c7e9d542df927f794e9c2c2f6a,

title = "On Early Conflict Identification by Requirements Modeling of Energy System Control Structures",

abstract = "Control systems are purposeful systems involving goal-oriented information processing (cyber) and technical (physical) structures. Requirements modeling formalizes fundamental concepts and relations of a system architecture at a high-level design stage and can be used to identify potential design issues early. For requirements formulation of control structures, cyber and physical aspects need to be jointly represented to express interdependencies, check for consistency and discover potentially conflicting requirements. Early identification of potential conflicts may prevent larger problems at later design stages. However, languages employed for requirements modeling today do not offer the expressiveness necessary to represent control purposes in relation to domain level interactions and therefore miss several types of interdependencies. This paper introduces the idea of control structure modeling for early requirements checking using a suitable modeling language, and illustrates how this approach enables the identification of several classes of controller conflict. ",

author = "Kai Heussen and Oliver Gehrke and Niemann, {Hans Henrik}",

year = "2015",

doi = "10.1109/ETFA.2015.7301503",

language = "English",

isbn = "978-1-4673-7929-8",

booktitle = "Proceedings of the 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015)",

publisher = "IEEE",

address = "United States",

note = "The 20th IEEE International Conference on Emerging Technologies and Factory Automation, EFTA 2015 ; Conference date: 08-09-2015 Through 11-09-2015",

url = "http://www.etfa2015.org/",

}

Heussen, K , Gehrke, O & Niemann, HH 2015, On Early Conflict Identification by Requirements Modeling of Energy System Control Structures. in Proceedings of the 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015). IEEE, The 20th IEEE International Conference on Emerging Technologies and Factory Automation, Luxembourg, Luxembourg, 08/09/2015. https://doi.org/10.1109/ETFA.2015.7301503

On Early Conflict Identification by Requirements Modeling of Energy System Control Structures. / Heussen, Kai ; Gehrke, Oliver ; Niemann, Hans Henrik.
Proceedings of the 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015). IEEE, 2015.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - On Early Conflict Identification by Requirements Modeling of Energy System Control Structures

AU - Heussen, Kai

AU - Gehrke, Oliver

AU - Niemann, Hans Henrik

N1 - Conference code: 20

PY - 2015

Y1 - 2015

N2 - Control systems are purposeful systems involving goal-oriented information processing (cyber) and technical (physical) structures. Requirements modeling formalizes fundamental concepts and relations of a system architecture at a high-level design stage and can be used to identify potential design issues early. For requirements formulation of control structures, cyber and physical aspects need to be jointly represented to express interdependencies, check for consistency and discover potentially conflicting requirements. Early identification of potential conflicts may prevent larger problems at later design stages. However, languages employed for requirements modeling today do not offer the expressiveness necessary to represent control purposes in relation to domain level interactions and therefore miss several types of interdependencies. This paper introduces the idea of control structure modeling for early requirements checking using a suitable modeling language, and illustrates how this approach enables the identification of several classes of controller conflict.

AB - Control systems are purposeful systems involving goal-oriented information processing (cyber) and technical (physical) structures. Requirements modeling formalizes fundamental concepts and relations of a system architecture at a high-level design stage and can be used to identify potential design issues early. For requirements formulation of control structures, cyber and physical aspects need to be jointly represented to express interdependencies, check for consistency and discover potentially conflicting requirements. Early identification of potential conflicts may prevent larger problems at later design stages. However, languages employed for requirements modeling today do not offer the expressiveness necessary to represent control purposes in relation to domain level interactions and therefore miss several types of interdependencies. This paper introduces the idea of control structure modeling for early requirements checking using a suitable modeling language, and illustrates how this approach enables the identification of several classes of controller conflict.

U2 - 10.1109/ETFA.2015.7301503

DO - 10.1109/ETFA.2015.7301503

M3 - Article in proceedings

SN - 978-1-4673-7929-8

BT - Proceedings of the 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015)

PB - IEEE

T2 - The 20th IEEE International Conference on Emerging Technologies and Factory Automation

Y2 - 8 September 2015 through 11 September 2015

ER -

On Early Conflict Identification by Requirements Modeling of Energy System Control Structures

Abstract

Conference

Access to Document

OpenUrl availability

Fingerprint

Cite this