Refinement of model specifications in embedded systems design

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

Most current codesign approaches leverage from a complete specification of an application design at the implementation level. We pursue here an implementation independent system level design specification for realtime embedded systems using modular executable discrete event models. This paper introduces a formal abstraction for the specification of such design models. In addition, it defines a set of refinement steps which may be used to refine abstract design models into implementation level design specifications. Our approach is illustrated using a small embedded systems application.

Original languageEnglish (US)
Title of host publicationProceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages159-166
Number of pages8
ISBN (Print)0769515495, 9780769515496
DOIs
StatePublished - 2002
Event9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002 - Lund, Sweden
Duration: Apr 8 2002Apr 11 2002

Other

Other9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002
CountrySweden
CityLund
Period4/8/024/11/02

Fingerprint

Embedded systems
Systems analysis
Specifications

Keywords

  • Application software
  • Concurrent computing
  • Design engineering
  • Embedded computing
  • Embedded software
  • Embedded system
  • Intelligent networks
  • Laboratories
  • Modeling
  • System-level design

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Computer Science Applications

Cite this

Schulz, S., & Rozenblit, J. W. (2002). Refinement of model specifications in embedded systems design. In Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002 (pp. 159-166). [999834] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ECBS.2002.999834

Refinement of model specifications in embedded systems design. / Schulz, S.; Rozenblit, Jerzy W.

Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002. Institute of Electrical and Electronics Engineers Inc., 2002. p. 159-166 999834.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Schulz, S & Rozenblit, JW 2002, Refinement of model specifications in embedded systems design. in Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002., 999834, Institute of Electrical and Electronics Engineers Inc., pp. 159-166, 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002, Lund, Sweden, 4/8/02. https://doi.org/10.1109/ECBS.2002.999834
Schulz S, Rozenblit JW. Refinement of model specifications in embedded systems design. In Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002. Institute of Electrical and Electronics Engineers Inc. 2002. p. 159-166. 999834 https://doi.org/10.1109/ECBS.2002.999834
Schulz, S. ; Rozenblit, Jerzy W. / Refinement of model specifications in embedded systems design. Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002. Institute of Electrical and Electronics Engineers Inc., 2002. pp. 159-166
@inproceedings{1caed0556156443eb069a1847acbab4a,
title = "Refinement of model specifications in embedded systems design",
abstract = "Most current codesign approaches leverage from a complete specification of an application design at the implementation level. We pursue here an implementation independent system level design specification for realtime embedded systems using modular executable discrete event models. This paper introduces a formal abstraction for the specification of such design models. In addition, it defines a set of refinement steps which may be used to refine abstract design models into implementation level design specifications. Our approach is illustrated using a small embedded systems application.",
keywords = "Application software, Concurrent computing, Design engineering, Embedded computing, Embedded software, Embedded system, Intelligent networks, Laboratories, Modeling, System-level design",
author = "S. Schulz and Rozenblit, {Jerzy W}",
year = "2002",
doi = "10.1109/ECBS.2002.999834",
language = "English (US)",
isbn = "0769515495",
pages = "159--166",
booktitle = "Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - GEN

T1 - Refinement of model specifications in embedded systems design

AU - Schulz, S.

AU - Rozenblit, Jerzy W

PY - 2002

Y1 - 2002

N2 - Most current codesign approaches leverage from a complete specification of an application design at the implementation level. We pursue here an implementation independent system level design specification for realtime embedded systems using modular executable discrete event models. This paper introduces a formal abstraction for the specification of such design models. In addition, it defines a set of refinement steps which may be used to refine abstract design models into implementation level design specifications. Our approach is illustrated using a small embedded systems application.

AB - Most current codesign approaches leverage from a complete specification of an application design at the implementation level. We pursue here an implementation independent system level design specification for realtime embedded systems using modular executable discrete event models. This paper introduces a formal abstraction for the specification of such design models. In addition, it defines a set of refinement steps which may be used to refine abstract design models into implementation level design specifications. Our approach is illustrated using a small embedded systems application.

KW - Application software

KW - Concurrent computing

KW - Design engineering

KW - Embedded computing

KW - Embedded software

KW - Embedded system

KW - Intelligent networks

KW - Laboratories

KW - Modeling

KW - System-level design

UR - http://www.scopus.com/inward/record.url?scp=84949666003&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84949666003&partnerID=8YFLogxK

U2 - 10.1109/ECBS.2002.999834

DO - 10.1109/ECBS.2002.999834

M3 - Conference contribution

SN - 0769515495

SN - 9780769515496

SP - 159

EP - 166

BT - Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002

PB - Institute of Electrical and Electronics Engineers Inc.

ER -