The Community for Technology Leaders
RSS Icon
Subscribe
Lund, Sweden
April 8, 2002 to April 11, 2002
ISBN: 0-7695-1549-5
pp: 0159
S. Schulz , Nokia Research Center
J.W. Rozenblit , University of Arizona
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 real-time 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.
INDEX TERMS
model-based design, embedded systems, system modeling, model specification
CITATION
S. Schulz, J.W. Rozenblit, "Refinement of Model Specifications in Embedded Systems Design", ECBS, 2002, Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2002, pp. 0159, doi:10.1109/ECBS.2002.999834
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool