## System Modeling and Design Refinement in ForSyDe (2003)

Citations: | 8 - 1 self |

### BibTeX

@TECHREPORT{Sander03systemmodeling,

author = {Ingo Sander and Sander Ingo},

title = {System Modeling and Design Refinement in ForSyDe},

institution = {},

year = {2003}

}

### OpenURL

### Abstract

Advances in microelectronics allow the integration of more and more functionality on a single chip. Emerging system-on-a-chip architectures include a large amount of heterogeneous components and are of increasing complexity. Applications using these architectures require many low-level details in order to yield an efficient implementation. On the other hand constant time-to-market pressure on electronic systems demands a short design process that allows to model a system at a high abstraction level, not taking low-level implementation details into account. Clearly there is a significant abstraction gap between an ideal model for specification and another one for implementation. This abstraction gap has to be addressed by methodologies for electronic system design. This thesis presents the ForSyDe (Formal System Design) methodology, which has been developed with the objective to move system design to a higher level of abstraction and to bridge the abstraction gap by transformational design refinement. ForSyDe is based on carefully selected formal foundations. The initial

### Citations

1585 | The C++ Programming Language
- Stroustrup
- 1997
(Show Context)
Citation Context ...e article was conducted by the author of the thesis and supported by feedback from Axel Jantsch. 1.3.2 Publications not included in this Thesis • The paper [57] compares the languages Erlang [5], C+=-=+ [107]-=-, Haskell [62], VHDL [54], SDL [29] and ProGram [11] with respect to their capabilities as a system level description for telecommunication systems. The comparison is based on an evaluation method wit... |

248 |
The Formal Semantics of Programming Languages
- Winskel
- 1993
(Show Context)
Citation Context ...a and b are rejected (the result will be the value ⊥ as solution for the feedback loops). Naturally, the fixed-point approach demands a more sophisticated semantics, but the theory is well understoo=-=d [113]-=-. Esterel has adopted this approach and the constructive semantics of Esterel is described in [15]. Relation based This approach allows the specification of systems as relations. Thus a system specifi... |

165 | Hardware-Software Co-design of Embedded Systems
- Wolf
- 1994
(Show Context)
Citation Context ...ch described in chapter 5 where the specification model is refined into a more detailed implementation model, should belong to the domain of co-synthesis, but is not covered by the definition of Wolf =-=[114]-=- where co-synthesis includes four different tasks: Partitioning The functionality of the system is divided into smaller, interacting computation units. Allocation The decision, which computational res... |

86 |
The Craft of Functional Programming
- Haskell
- 1999
(Show Context)
Citation Context ...SyDe, this section gives a small introduction to functional languages and Haskell in particular. Many examples are taken from “A Gentle Introduction to Haskell 98” [51], a good textbook on Haskell=-= is [108]. A -=-functional program is a function that receives the program’s input as argument and delivers the program’s output as result. Usually the main function is defined in terms of other functions, which ... |

59 | Functional Reactive Programming from First Principles
- Wan, Hudak
- 2000
(Show Context)
Citation Context ...rocessor architectures. ForSyDe targets are more general hardware architectures and embedded software running on processors, but not the processor design itself. Functional reactive programming (FRP) =-=[110]-=- has been used in many reactive programming domains, such as animation, robotics, and graphical user interfaces. The central semantic notions are behavior, a function of continuous time, and event, a ... |

50 | FunState - an internal design representation for codesign
- Thiele, Strehl, et al.
- 1999
(Show Context)
Citation Context ...ated using a library of wrappers and communication functions. The computational model is elaborated in [56]. Internal representations like the system property intervals (SPI) model [116] and FunState =-=[106] h-=-ave been developed to integrate a heterogeneous system model into one abstract internal representation. The idea of the SPI model is to allow for ”global system analysis and system optimization acro... |

33 | Real-time FRP
- Wan, Taha, et al.
- 2001
(Show Context)
Citation Context ...ted as an embedded language in Haskell. Since FRP does not guarantee any bounds on execution time or speed it is unsuitable for real-time applications. To address this problem, Real-Time FRP (RT-FRP) =-=[111]-=- has been developed with an operational semantics that gives these guarantees. In contrast to FRP, the operational semantics define a discrete model of time that is used for both events and behaviors.... |

23 | Event driven FRP
- Wan, Taha, et al.
- 2002
(Show Context)
Citation Context ...onal semantics that gives these guarantees. In contrast to FRP, the operational semantics define a discrete model of time that is used for both events and behaviors. Recently Event-Driven FRP (E-FRP) =-=[112]-=- has been presented which is a variant of RT-FRP. In E-FRP the clock is generalized to a set of events and has no explicit notion of time. Thus behaviors and events in E-FRP correspond to ForSyDe sign... |

16 | SPI- a system model for heterogeneously specified embedded systems
- Ziegenbein, Richter, et al.
- 2002
(Show Context)
Citation Context ...em is then co-simulated using a library of wrappers and communication functions. The computational model is elaborated in [56]. Internal representations like the system property intervals (SPI) model =-=[116] a-=-nd FunState [106] have been developed to integrate a heterogeneous system model into one abstract internal representation. The idea of the SPI model is to allow for ”global system analysis and syste... |

11 | Transformational system design based on a formal computational model and skeletons
- Wu, Sander, et al.
(Show Context)
Citation Context ...eloped by the author of the thesis. Initially Andreas Jonasson contributed with many ideas before he joined industry. Wu Wenbiao worked together with the author of the thesis on design transformation =-=[115] f-=-or about one and a half years. Recently Zhonghai Lu, Tarvo Raudvere and Ashish Kumar Singh joined the ForSyDe group. Zhonghai Lu’s main contribution is a mapping technique for sequential software [7... |

2 |
On the fundamental limitataions of transformational design
- Voeten
- 2001
(Show Context)
Citation Context ...ment techniques like re-timing or resource sharing. Voeten points out that each transformational design that is based on a generalpurpose language will suffer from fundamental incompleteness problems =-=[109]-=-. This means that the initial model to a large extent determines whether an effective and satisfying implementation can be obtained or not, since only a limited part ofs2.5. Introduction to Haskell 35... |