Download:
|
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
|