@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}",
note = "Publisher Copyright: {\textcopyright} 2002 IEEE.; 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002 ; Conference date: 08-04-2002 Through 11-04-2002",
year = "2002",
doi = "10.1109/ECBS.2002.999834",
language = "English (US)",
series = "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.",
pages = "159--166",
booktitle = "Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002",
}