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

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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 languageEnglish
    Title of host publicationProceedings of the 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015)
    Number of pages8
    PublisherIEEE
    Publication date2015
    ISBN (Print)978-1-4673-7929-8
    DOIs
    Publication statusPublished - 2015
    EventThe 20th IEEE International Conference on Emerging Technologies and Factory Automation - Luxembourg, Luxembourg
    Duration: 8 Sep 201511 Sep 2015
    Conference number: 20
    http://www.etfa2015.org/

    Conference

    ConferenceThe 20th IEEE International Conference on Emerging Technologies and Factory Automation
    Number20
    Country/TerritoryLuxembourg
    CityLuxembourg
    Period08/09/201511/09/2015
    Internet address

    Fingerprint

    Dive into the research topics of 'On Early Conflict Identification by Requirements Modeling of Energy System Control Structures'. Together they form a unique fingerprint.

    Cite this