MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  SOFTWARE IP IN EMBEDDED SYSTEMS

Download:
Download as a PDF | Download as a PS
by Carsten Ditze, H. J. Eickerling, Uwe Gltsser, Bernd Kleinjohann, Franz Rammig
http://www.uni-paderborn.de/fachbereich/AG/rammig/www/members/berndk/./PS/fdl99.ps.gz
Add To MetaCart

Abstract:

Abstract. IP-based hardware design became an important topic during the past years. There may be an even oMer tradition of reuse of software components. In this contribution we try to address some key problems of software reuse. First of all, in a bottom-up approach we study the underlying communication technique used to couple different software components. As the most general solution of this problem is CORBA from our point of view, this technique is discussed briefly.>E'o mt he bat o m ue mvve directly to the top. The most flexible way of handling reusable software IP is to deal with their abstract model. Following this approach modules can be embedded to various target environment using the standard synthesis methods. The problem of protecting property in this approach is not discussed in this paper. We concentrate on how to combine modules that have been modelled in various languages. At least when using a language coupling approach strict support to define bridging semantics have to be provided. A very useful means for this purpose is given by the ASM-method. It is shortly introduced in the paper. When software IP has to be used this IP resides on various data bases in most cases. We discuss, how design workflows can be defined that allow to access such remote IPs. The exchange format XML plays an important role in this context. Finally we discuss an application example: the application-specific synthesis of real-time operating systems (RTOS) and real-time communication systems (RCOS) from a library of reusable and highly generic software modules.

Citations

1713 Statecharts: A Visual Formalism for Complex Systems – Harel - 1987
592 Systematic Software Development Using VDM – Jones - 1990
555 Petri Net Theory and the Modeling of Systems – Peterson - 1981
330 Synchronous Programming of Reactive Systems – Halbwachs - 1993
265 The theory of hybrid automata – Henzinger - 1996
162 Why interaction is more powerful than algorithms – Wegner - 1997
146 Hardware-Software Co-Design of Embedded System – Wolf - 1994
145 Calculi for interaction – Milner - 1996
101 Predicate/Transition Nets – Genrich - 1986
18 The SEA Language for System Engineering and Animation – Kleinjohann, Kleinjohann, et al. - 1996
16 Abstract State Machines 1988–1998 – Börger, Huggins - 1998
15 Structured nets – Cherkasova, Kotov - 1981
13 Towards a Complete Design Method for Embedded Systems Using Predicate/Transition-Nets – Kleinjohann, Tacken, et al. - 1997
11 The synchronous approach to designing reactive systems – Morley, Holenderski, et al. - 1998
10 Towards a new formal SDL semantics based on Abstract State Machines – Glaesser, Gotzhein, et al. - 1999
9 The Unified Modeling Language for Object Oriented Development,” Documentation Set Version 1.1 – Booch, Jacobson, et al. - 1997
6 The Design of Embedded Real-Time Systems using the SEA Environment – Rust, Stroop, et al. - 1998
4 A step towards operating system synthesis – Ditze - 1998
2 Design of Customizable Real-Time Communication Systems (in German – B6ke, Rammig - 1999
1 Refining abstract machine specifications of the steam boiler control to well documented executable code – Beiefie, Durdanovic, et al. - 1996
1 Formal definition of an abstract VHDL'93 simulator by EA-machines – B6rger, Glisser, et al. - 1995
1 High level system design and analysis using Abstract State Machines – B6rger - 1999
1 Design Automation Solutions – ISI - 1998
1 A Backplane Approach for Cosimulation in High-Level System Specification Environments – Schmefier, Mtiller-Glaser - 1995