Recently, the transaction-level modeling is widely referred to in system level design literature. However, the transactionlevel models(TLMs) are not well defined and the usages of TLM in the existing design approaches, namely system synthesis, platform-based design, and component-based design, are not systematically developed. In order to efficiently use TLMs in above design approaches, this re...

A B-ISDN national project in Korea has been carried out to develop a National Information Superhighway since 1992. An ATM switching system has been developed as one of the most important parts in the project, and has been tested in the National Information Superhighway testbed. In this paper, we develop a cell-level/call-level ATM switch simulator using cell-level and call-level input traffic m...

We motivate in this paper the need for application-level proximity. This proximity is a function of network characteristics that decide on the application performance. Most of existing protocols rely on the network-level proximity as for example the one based on the delay (e.g., the delay closest peer is the best peer to contact). In this paper, we study how much the two proximity definitions d...

Section 5.0 of DO-178B/ED-12B explains that when Source Code is generated directly from high-level requirements (HLR), then the high-level requirements are also considered lowlevel requirements (LLR), and the guidelines for low-level requirements also apply. This part of section 5.0 addresses the case where the system-level requirements are "directly" highly refined (i.e., created in one refine...