JPEG encoding on the Intel MXP5800: a platform-based design case study
Multimedia systems are becoming increasingly complex and concurrent. The platform-based design (PBD) methodology (Keutzer et al., 2000) tackles these issues by recommending the use of formal models, carefully defined abstraction layers and the separation of concerns. Models of computation (Lee and Sangiovanni-Vincentelli, 1998) (MoCs) can be used within this methodology to enable specialized synthesis and verification techniques. In this paper, these concepts are leveraged in an industrial case study: the JPEG encoder application deployed on the Intel MXP5800 imaging processor. The modeling is carried out in the Metropolis (Balarin et al., 2003) design framework. We show that the system-level model using our chosen model of computation allows performance estimation within 5% of the actual implementation. Moreover, the chosen MoC is amenable to automation, which enables future synthesis techniques.

title: Efficient octilinear steiner tree construction based on spanning graphs
abstract: Octilinear interconnect is a promising technique to shorten wire lengths. We present two practical heuristic octilinear Steiner tree (OSMT) algorithms in the paper. They are both based on octilinear spanning graphs. The one by edge substitution (OST-E) has a worst case running time of O(nlogn) and similar performance as the batched greedy algorithm[9]. The other one by triangle contraction (OST-T) has a small increase in running time and better performance. Experiments on both industry and random test cases are conducted.

title: Period Optimization for Hard Real-time Distributed Automotive Systems
abstract: The complexity and physical distribution of modern active-safety automotive applications requires the use of distributed architectures. These architectures consist of multiple electronic control units (ECUs) connected with standardized buses. The most common configuration features periodic activation of tasks and messages coupled with run-time priority-based scheduling. The correct deployment of applications on such architectures requires end-to- end latency deadlines to be met. This is challenging since deadlines must be enforced across a set of ECUs and buses, each of which supports multiple functionality. The need for accommodating legacy tasks and messages further complicates the scenario. In this work, we automatically assign task and message periods for distributed automotive systems. This is accomplished by leveraging schedulability analysis within a convex optimization framework to simultaneously assign periods and satisfy end-to-end latency constraints. Our approach is applied to an industrial case study as well as an example taken from the literature and is shown to be both effective and efficient.

title: A semantic-driven synthesis flow for platform-based design
abstract: In this work, we propose a semantics-driven synthesis flow, in which the semantics and the abstraction level are determined formally by using the concept of a common modeling domain between functionality and architecture. By doing so, a formal synthesis procedure can be defined and algorithms for automatic optimal mapping derived

title: Cost Estimation for Large Queries via Fractional Analysis and Probabilistic Approach in Dynamic Multidatabase Environments
abstract: Research on query cost estimation for local database systems in a multidatabase system (MDBS) has attracted many researchers in the datebase area recently. Obtaining good query cost estimates is crucial for performing effective global query optimization in an MDBS. However, performing suggested so far, including database calibrating and query sampling, consider only a static multidatabase environment. Recently, we proposed a qualitative approach to developing cost models for a dynamic multidatabase environment. It has been shown that this approach is promising in estimating the cost of a query run in any given contention state for a dynamic environment. However, a large (cost) query in pratice may experience multiple contention states during its execution, which cannot be directly handled by the qualitative approach. In this paper, we propose two new techniques, i.e., fractional analysis and probabilistic approach, to solve the problem. The fractional analysis technique, which is suitable for a system environment that changes contention states gradually and smoothly, estimates a query cost by analyzing its fractions. The probabilistic approach, which is suitable for a system environment that changes contention states rapidly and randomly, estimates a query cost based on the theory of Markov chains. Cost estimation formulas for both techniques are deriver, and their properties are studied. Our experimental results demonstrate that the suggested techniques are quite promising in estimating costs for large queries in a dynamic multidatabase environment.

title: Developing cost models with qualitative variables for dynamic multidatabase environments
abstract: A major challenge for global query optimization in a multidatabase system (MDBS) is the lack of local cost information at the global level due to local autonomy. A number of methods to derive local cost models have been suggested recently. However, these methods are only suitable for a static multidatabase environment. In this paper, we propose a new multi-state query sampling method to develop local cost models for a dynamic environment. The system contention level at a dynamic local site is divided into a number of discrete contention states based on the cost of a probing query. To determine an appropriate set of contention states for a dynamic environment, two algorithms based on iterative uniform partitioning and data clustering, respectively, are introduced. A qualitative variable is used to indicate the contention states for the dynamic environment. The techniques from our previous (static) query sampling method, including query sampling, automatic variable selection, regression analysis and model validation, are extended so as to develop a cost model incorporating the qualitative variable for a dynamic environment. Experimental results demonstrate that this new multi-state query sampling method is quite promising in developing useful cost models for a dynamic multidatabase environment.

title: Hierarchical model based human motion tracking
abstract: Image sequence based tracking is the pivotal technique of human motion. In the paper, we first propose an appropriate human model and color model. Second, two approaches are proposed aiming at two different levels of color-block information including the boundary and the inner-area: the extraction of the boundary algorithm is based on the Robert operator and the clustering algorithm is based on self-adaptation. Third, we unite two regions, which are processed by different approaches. This step counteracts the ambiguity of obtaining information from each level. Finally, after the rough area of the color-block is obtained, the boundary of the color-block is determined by calculating the histogram of the X,Y coordinate of every point on the boundary of the block. Experimental results are presented.

title: A Fuzzy Query Optimization Approach for Multidatabase Systems
abstract: A crucial challenge for global query optimization in a multidatabase system (MDBS) is that some local optimization information, such as local cost parameters, may not be accurately known at the global level because of local autonomy. Traditional query optimization techniques using a crisp cost model may not be suitable for an MDBS because precise information is required. In this paper we present a new approach that performs global query optimization using a fuzzy cost model that allows fuzzy information. We suggest methods for establishing a fuzzy cost model and introduce a fuzzy optimization criterion that can be used with a fuzzy cost model. We discuss the relationship between the fuzzy optimization approach and the traditional (crisp) optimization approach and show that the former has a better chance to find a good execution strategy for a query in an MDBS environment, but its complexity may grow exponentially compared with the complexity of the later. To reduce the complexity, we suggest to use so-called k-approximate fuzzy values to approximate all fuzzy values during fuzzy query optimization. It is proven that the improved fuzzy approach has the same order of complexity as the crisp approach.

title: OBJ-NET: An Object Oriented System Design Tool
abstract: Computer-based Systems are used in a wide range of complex systems like automobile assembly lines, power plants, etc. These systems consist of heterogeneous subsystems having a multitude of interactions with other subsystems and environments. Designing software for such systems is a difficult task due to the inherent complexity both at conceptual and implementation levels. When developing a large system, the constituent subsystems may be developed separately. Those subsystems may work well on their own, but may fail to work together with other subsystems and fail to respond to interfacing events. This paper presents OBJ-NET, an object oriented system design tool, which provides a suitable framework for the specification and simulation of complex dynamic systems. The theoretical basis of OBJ-NET is from Category Theory and Petri Nets. OBJ-NET helps users to integrate complex systems by modeling a system as a hierarchy of components. It accepts the flow of control from one set of objects to another and simulates the flow of control among the various components of the system. This will allow a user to validate the correctedness of design and interactively change the design to refine the working of the system. This paper describes the various components of OBJ-NET in detail and illustrates the application of OBJ-NET using, as a working example, the specification and simulation of an Automotive Dashboard System.