Refinement of model specifications in embedded systems design

Author

Schulz, S. ; Rozenblit, J.W.

Author_Institution

Mobile Networks Lab., Nokia Res. Center, Finland

fYear

2002

fDate

2002

Firstpage

159

Lastpage

166

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

discrete event systems; embedded systems; formal specification; hardware-software codesign; application design; codesign approaches; formal abstraction; implementation level; implementation level design specifications; independent system level design specification; modular executable discrete event models; real-time embedded systems; Application software; Concurrent computing; Design engineering; Embedded computing; Embedded software; Embedded system; Intelligent networks; Laboratories; Modeling; System-level design;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the

Conference_Location

Lund

Print_ISBN

0-7695-1549-5

Type

conf

DOI

10.1109/ECBS.2002.999834

Filename

999834