kth.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Model-of-Design for Computing Systems: A Categorical Approach
KTH, School of Electrical Engineering and Computer Science (EECS), Electrical Engineering, Electronics and Embedded systems.ORCID iD: 0000-0001-9380-7708
2023 (English)In: IEEE Access, E-ISSN 2169-3536, Vol. 11, p. 116304-116347, article id 10286838Article in journal (Refereed) Published
Abstract [en]

This paper introduces the model of design (MoD), a framework that leverages category theory to study the design and development of computer-driven systems, to the academic and engineering communities dealing with computer systems. The model of design aims to offer a minimal framework for modelling the design and development of embedded computation across domains and abstractions, focusing on functional and extra-functional aspects as well as overarching concerns for automaticity, correctness and reuse. This nuanced approach provides insights into the theory and practice of computer systems design.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2023. Vol. 11, p. 116304-116347, article id 10286838
Keywords [en]
Computing Systems, Computer-Aided Design (CAD), Electronic Design Automation (EDA), Embedded System Design, Architectural Design, Model-Driven Engineering, Domain-Specific Modelling Languages, Model of Computation, System-Level Design, Hardware/Software Co-Design
National Category
Embedded Systems Computer Systems
Research subject
Electrical Engineering; Information and Communication Technology
Identifiers
URN: urn:nbn:se:kth:diva-338110DOI: 10.1109/ACCESS.2023.3325349ISI: 001091417700001Scopus ID: 2-s2.0-85174852017OAI: oai:DiVA.org:kth-338110DiVA, id: diva2:1804966
Note

QC 20231027

Available from: 2023-10-14 Created: 2023-10-14 Last updated: 2025-02-21Bibliographically approved

Open Access in DiVA

fulltext(987 kB)349 downloads
File information
File name FULLTEXT01.pdfFile size 987 kBChecksum SHA-512
b76d422094ad36b241453a2d1ada8387d0a5016412153065a85f98e30d0757bf19648de7df372b2170504504488cd06aada2a9b44f3455c849944ecfda32de87
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records

Mohammadat, Tage

Search in DiVA

By author/editor
Mohammadat, Tage
By organisation
Electronics and Embedded systems
In the same journal
IEEE Access
Embedded SystemsComputer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 349 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 499 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf