Conference paper
On Early Conflict Identification by Requirements Modeling of Energy System Control Structures
Department of Electrical Engineering, Technical University of Denmark1
Automation and Control, Department of Electrical Engineering, Technical University of Denmark2
Center for Electric Power and Energy, Centers, Technical University of Denmark3
Energy System Management, Center for Electric Power and Energy, Centers, Technical University of Denmark4
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.
Language: | English |
---|---|
Publisher: | IEEE |
Year: | 2015 |
Pages: | 1-8 |
Proceedings: | The 20th IEEE International Conference on Emerging Technologies and Factory Automation |
ISBN: | 1467379298 , 1467379301 , 9781467379298 , 9781467379304 , 146737928X and 9781467379281 |
Types: | Conference paper |
DOI: | 10.1109/ETFA.2015.7301503 |
ORCIDs: | Heussen, Kai , Gehrke, Oliver and Niemann, Hans Henrik |
Analytical models Control systems Mathematical model Oscillators Power systems Process control conflict identification control engineering computing control structure modeling control systems cyber-physical systems design issues domain level interactions energy system control structures formal specification goal-oriented information processing structures high-level design stage interdependency types modeling language requirements modeling system architecture technical structures