Loughborough University
Browse

Architecture definition in complex system design using model theory

Download (861.62 kB)
journal contribution
posted on 2020-02-21, 09:37 authored by Charles DickersonCharles Dickerson, Mike Wilkinson, Eugenie Hunsicker, Siyuan JiSiyuan Ji, Mole Li, Yves Bernard, Graham Bleakley, Peter Denno
Architecture definition, which is central to system design, is one of the two most used technical processes in the practice of model-based systems engineering. In this article, a fundamental approach to architecture definition is presented and demonstrated. The success of its application to engineering problems depends on a precise but practical definition of the term architecture. In the standard for architecture description, ISO/IEC/IEEE 42010:2011, a definition was adopted that has been subsumed into later standards. In 2018, the working group JTC1/SC7/WG42 on system architecture began a review of the adopted definition, holding sessions late in the year. This article extends and complements a position paper submitted during the meetings, in which Tarski model theory and ISO/IEC 24707:2018 (logic-based languages) were used to better understand relationships between system models and concepts related to architecture. Independent from the working group, it now contributes intuitive fundamental definitions of the terms architecture and system that are used to specify a mathematically based technical process for architecture definition. The engineering utility and benefits to complex system design are demonstrated in a diesel engine emissions reduction case study.

History

School

  • Mechanical, Electrical and Manufacturing Engineering
  • Science

Department

  • Mathematical Sciences
  • Computer Science

Published in

IEEE Systems Journal

Volume

15

Issue

2

Pages

1847 - 1860

Publisher

Institute of Electrical and Electronics Engineers

Version

  • AM (Accepted Manuscript)

Rights holder

© IEEE

Publisher statement

© 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Acceptance date

2020-02-15

Publication date

2020-03-04

Copyright date

2021

ISSN

1932-8184

eISSN

1937-9234

Language

  • en

Depositor

Prof Charles Dickerson. Deposit date: 18 February 2020

Usage metrics

    Loughborough Publications

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC