---
_id: '65311'
abstract:
- lang: eng
text: Information Systems (IS) is rooted in systems theory. Systems theory offers
powerful concepts to address challenges of growing system complexity and non-systemic
design approaches in information systems. Despite its systemic origins, systems
theory remains a peripheral topic in IS. The study addresses this gap by introducing
a comprehensive framework of 52 systems-theoretical concepts to guide the design
of complex IS artifacts. We synthesize scattered systems knowledge from diverse
disciplines to provide a unified level of abstraction for complex information
system design. We apply the framework to a use case of business reputation systems
to show how the systems lens informs the design of a novel, complex information
system. We make three key contributions to the literature. First, the framework
provides a common ground for interdisciplinary research in information system
design. Second, it offers a unified level of abstraction grounded in systems theory
that serves as a coherent basis for artifact design. Third, it demonstrates the
potential of systems theory as a foundational justificatory knowledge base. Furthermore,
we provide guidance on applying the framework across multiple modes of reasoning,
alongside further application guidelines. The study thus serves as a bridge between
the body of systems knowledge and contextual design in IS.
alternative_title:
- Design Your System
article_type: review
author:
- first_name: Ulvi
full_name: Ibrahimli, Ulvi
last_name: Ibrahimli
- first_name: Simon
full_name: Hemmrich, Simon
last_name: Hemmrich
- first_name: Axel
full_name: Winkelmann, Axel
last_name: Winkelmann
citation:
ama: 'Ibrahimli U, Hemmrich S, Winkelmann A. Bridging Systems Theory and Information
Systems: A Framework for Designing Complex Information Systems. Communication
of the Association for Information Systems. Published online 2026. doi:https://aisel.aisnet.org/cais/vol58/iss1/37/'
apa: 'Ibrahimli, U., Hemmrich, S., & Winkelmann, A. (2026). Bridging Systems
Theory and Information Systems: A Framework for Designing Complex Information
Systems. Communication of the Association for Information Systems. https://aisel.aisnet.org/cais/vol58/iss1/37/'
bibtex: '@article{Ibrahimli_Hemmrich_Winkelmann_2026, title={Bridging Systems Theory
and Information Systems: A Framework for Designing Complex Information Systems},
DOI={https://aisel.aisnet.org/cais/vol58/iss1/37/},
journal={Communication of the Association for Information Systems}, publisher={AIS},
author={Ibrahimli, Ulvi and Hemmrich, Simon and Winkelmann, Axel}, year={2026}
}'
chicago: 'Ibrahimli, Ulvi, Simon Hemmrich, and Axel Winkelmann. “Bridging Systems
Theory and Information Systems: A Framework for Designing Complex Information
Systems.” Communication of the Association for Information Systems, 2026.
https://aisel.aisnet.org/cais/vol58/iss1/37/.'
ieee: 'U. Ibrahimli, S. Hemmrich, and A. Winkelmann, “Bridging Systems Theory and
Information Systems: A Framework for Designing Complex Information Systems,” Communication
of the Association for Information Systems, 2026, doi: https://aisel.aisnet.org/cais/vol58/iss1/37/.'
mla: 'Ibrahimli, Ulvi, et al. “Bridging Systems Theory and Information Systems:
A Framework for Designing Complex Information Systems.” Communication of the
Association for Information Systems, AIS, 2026, doi:https://aisel.aisnet.org/cais/vol58/iss1/37/.'
short: U. Ibrahimli, S. Hemmrich, A. Winkelmann, Communication of the Association
for Information Systems (2026).
date_created: 2026-04-02T04:19:09Z
date_updated: 2026-04-02T04:32:05Z
department:
- _id: '195'
doi: https://aisel.aisnet.org/cais/vol58/iss1/37/
extern: '1'
external_id:
unknown:
- https://aisel.aisnet.org/cais/vol58/iss1/37/
jel:
- D83
- L14
- D83
- O33
- C63
- P
keyword:
- Information Systems Research
- Systems Theory
- System Complexity
- System Design
- Design Science
language:
- iso: eng
publication: Communication of the Association for Information Systems
publication_identifier:
unknown:
- 1529-3181
publication_status: published
publisher: AIS
quality_controlled: '1'
status: public
title: 'Bridging Systems Theory and Information Systems: A Framework for Designing
Complex Information Systems'
type: journal_article
user_id: '83557'
year: '2026'
...
---
_id: '36917'
abstract:
- lang: eng
text: The ever-increasing complexity of heterogeneous electronic systems demand
for intensified abstraction and automation efforts to improve design, verification
and validation productivity, especially in earlier phases of system engineering.
Within the verification activity various metrics can be applied to determine functional
correctness or the overall progress. Here, a supporting verification methodology
defining high-level verification planning down to the actual metric code development
is essential. Moreover, an advanced assistance for the designer, such as a tooling
infrastructure to automatize and accelerate the metric code implementation, is
needed to minimize the influence of errorprone manual coding. In this article
we present a single-source verification metric code-generation methodology for
improved coverage automation. We determine (i) a suitable metric model for model-based
capture of verification metrics as well as (ii) an assisted model-based processing
and generation flow of the verification environment and metric skeletons. We apply
our method to a SystemC case-study, in doing so, targeting metric code implementation
productivity and consistency enhancement.
author:
- first_name: Christoph
full_name: Kuznik, Christoph
last_name: Kuznik
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Gilles Bertrand
full_name: Defo, Gilles Bertrand
last_name: Defo
citation:
ama: 'Kuznik C, Müller W, Defo GB. An Assisted Single Source Verification Metric
Model Code Generation Methodology. In: ; 2014.'
apa: Kuznik, C., Müller, W., & Defo, G. B. (2014). An Assisted Single Source
Verification Metric Model Code Generation Methodology. Proceedings of the
Electronic System Level Synthesis Conference (ESLSyn).
bibtex: '@inproceedings{Kuznik_Müller_Defo_2014, place={San Francisco, USA}, title={An
Assisted Single Source Verification Metric Model Code Generation Methodology},
author={Kuznik, Christoph and Müller, Wolfgang and Defo, Gilles Bertrand}, year={2014}
}'
chicago: Kuznik, Christoph, Wolfgang Müller, and Gilles Bertrand Defo. “An Assisted
Single Source Verification Metric Model Code Generation Methodology.” San Francisco,
USA, 2014.
ieee: C. Kuznik, W. Müller, and G. B. Defo, “An Assisted Single Source Verification
Metric Model Code Generation Methodology,” presented at the Proceedings of the
Electronic System Level Synthesis Conference (ESLSyn), 2014.
mla: Kuznik, Christoph, et al. An Assisted Single Source Verification Metric
Model Code Generation Methodology. 2014.
short: 'C. Kuznik, W. Müller, G.B. Defo, in: San Francisco, USA, 2014.'
conference:
name: Proceedings of the Electronic System Level Synthesis Conference (ESLSyn)
date_created: 2023-01-16T11:43:50Z
date_updated: 2023-01-16T11:44:06Z
department:
- _id: '58'
keyword:
- System Design
- Verification
language:
- iso: eng
place: San Francisco, USA
status: public
title: An Assisted Single Source Verification Metric Model Code Generation Methodology
type: conference
user_id: '5786'
year: '2014'
...
---
_id: '34585'
abstract:
- lang: eng
text: In this paper, we present an efficient approach to virtual platform modeling
for TriCore-based SoCs by combining fast and open software emulation with IEEE-1666
Standard SystemC simulation. For evaluation we consider Infineon's recently introduced
AURIX processor family as a target platform, which utilizes multiple CPU cores
operating in lockstep mode, memories, hierarchical buses, and a rich set of peripherals.
For SoC prototyping, we integrate the fast and open instruction accurate QEMU
software emulator with the TLMu library for SystemC co-verification. This article
reports our most recent efforts of the implementation of the TriCore instruction
set for QEMU. The experimental results demonstrate the functional correctness
and performance of our TriCore implementation.
author:
- first_name: Bastian
full_name: Koppelmann, Bastian
id: '25260'
last_name: Koppelmann
- first_name: Bernd
full_name: Messidat, Bernd
last_name: Messidat
- first_name: Markus
full_name: Becker, Markus
last_name: Becker
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: J. Christoph
full_name: Scheytt, J. Christoph
id: '37144'
last_name: Scheytt
orcid: https://orcid.org/0000-0002-5950-6618
citation:
ama: 'Koppelmann B, Messidat B, Becker M, Müller W, Scheytt JC. Fast and Open Virtual
Platforms for TriCore-based SoCs Using QEMU. In: Proceedings of the Design
and Verification Conference Europe (DVCON Europe). ; 2014.'
apa: Koppelmann, B., Messidat, B., Becker, M., Müller, W., & Scheytt, J. C.
(2014). Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. Proceedings
of the Design and Verification Conference Europe (DVCON Europe).
bibtex: '@inproceedings{Koppelmann_Messidat_Becker_Müller_Scheytt_2014, place={München},
title={Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU}, booktitle={Proceedings
of the Design and Verification Conference Europe (DVCON Europe)}, author={Koppelmann,
Bastian and Messidat, Bernd and Becker, Markus and Müller, Wolfgang and Scheytt,
J. Christoph}, year={2014} }'
chicago: Koppelmann, Bastian, Bernd Messidat, Markus Becker, Wolfgang Müller, and
J. Christoph Scheytt. “Fast and Open Virtual Platforms for TriCore-Based SoCs
Using QEMU.” In Proceedings of the Design and Verification Conference Europe
(DVCON Europe). München, 2014.
ieee: B. Koppelmann, B. Messidat, M. Becker, W. Müller, and J. C. Scheytt, “Fast
and Open Virtual Platforms for TriCore-based SoCs Using QEMU,” 2014.
mla: Koppelmann, Bastian, et al. “Fast and Open Virtual Platforms for TriCore-Based
SoCs Using QEMU.” Proceedings of the Design and Verification Conference Europe
(DVCON Europe), 2014.
short: 'B. Koppelmann, B. Messidat, M. Becker, W. Müller, J.C. Scheytt, in: Proceedings
of the Design and Verification Conference Europe (DVCON Europe), München, 2014.'
date_created: 2022-12-20T10:48:25Z
date_updated: 2023-02-01T08:12:02Z
department:
- _id: '58'
keyword:
- System Design
- Verification
language:
- iso: eng
place: München
publication: Proceedings of the Design and Verification Conference Europe (DVCON Europe)
status: public
title: Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU
type: conference
user_id: '15931'
year: '2014'
...
---
_id: '34583'
abstract:
- lang: eng
text: In this paper, we present an efficient approach to virtual platform modeling
for TriCore-based SoCs by combining fast and open software emulation with IEEE-1666
Standard SystemC simulation. For evaluation we consider Infineon's recently introduced
AURIX processor family as a target platform, which utilizes multiple CPU cores
operating in lockstep mode, memories, hierarchical buses, and a rich set of peripherals.
For SoC prototyping, we integrate the fast and open instruction accurate QEMU
software emulator with the TLMu library for SystemC co-verification. This article
reports our most recent efforts of the implementation of the TriCore instruction
set for QEMU. The experimental results demonstrate the functional correctness
and performance of our TriCore implementation.
author:
- first_name: Bastian
full_name: Koppelmann, Bastian
id: '25260'
last_name: Koppelmann
- first_name: Bernd
full_name: Messidat, Bernd
last_name: Messidat
- first_name: Christoph
full_name: Kuznik, Christoph
last_name: Kuznik
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Markus
full_name: Becker, Markus
last_name: Becker
- first_name: J. Christoph
full_name: Scheytt, J. Christoph
id: '37144'
last_name: Scheytt
orcid: https://orcid.org/0000-0002-5950-6618
citation:
ama: 'Koppelmann B, Messidat B, Kuznik C, Müller W, Becker M, Scheytt JC. Fast and
Open Virtual Platforms for TriCore-based SoCs Using QEMU. In: Proceedings of
the Design and Verification Conference Europe (DVCON Europe). ; 2014.'
apa: Koppelmann, B., Messidat, B., Kuznik, C., Müller, W., Becker, M., & Scheytt,
J. C. (2014). Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU.
Proceedings of the Design and Verification Conference Europe (DVCON Europe).
bibtex: '@inproceedings{Koppelmann_Messidat_Kuznik_Müller_Becker_Scheytt_2014, place={München},
title={Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU}, booktitle={Proceedings
of the Design and Verification Conference Europe (DVCON Europe)}, author={Koppelmann,
Bastian and Messidat, Bernd and Kuznik, Christoph and Müller, Wolfgang and Becker,
Markus and Scheytt, J. Christoph}, year={2014} }'
chicago: Koppelmann, Bastian, Bernd Messidat, Christoph Kuznik, Wolfgang Müller,
Markus Becker, and J. Christoph Scheytt. “Fast and Open Virtual Platforms for
TriCore-Based SoCs Using QEMU.” In Proceedings of the Design and Verification
Conference Europe (DVCON Europe). München, 2014.
ieee: B. Koppelmann, B. Messidat, C. Kuznik, W. Müller, M. Becker, and J. C. Scheytt,
“Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU,” 2014.
mla: Koppelmann, Bastian, et al. “Fast and Open Virtual Platforms for TriCore-Based
SoCs Using QEMU.” Proceedings of the Design and Verification Conference Europe
(DVCON Europe), 2014.
short: 'B. Koppelmann, B. Messidat, C. Kuznik, W. Müller, M. Becker, J.C. Scheytt,
in: Proceedings of the Design and Verification Conference Europe (DVCON Europe),
München, 2014.'
date_created: 2022-12-20T10:45:38Z
date_updated: 2025-02-26T14:42:18Z
department:
- _id: '58'
keyword:
- System Design
- Verification
language:
- iso: eng
place: München
publication: Proceedings of the Design and Verification Conference Europe (DVCON Europe)
status: public
title: Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU
type: conference
user_id: '16243'
year: '2014'
...