Demands for higher flexibility in aerospace applications has led to increasing deployment of FPGAs. Clearly, analysis of safety-related properties of such components is essential for their use in safety-critical subsystems. The contributions of this paper are twofold. First, we illustrate a development process, using a language with formal semantics (Esterel) for design, formal verification of ...

failure of the quay walls due to earthquakes results in severe economic loss. because of hazards threatening such inexpensive nodes of national and international transportation networks, seismic design of quay walls is still an evolving topic in marine structural engineering. this study investigates the sensitivity of the gravity-type quay wall stability respect to uncertain soil and seismic pr...

We present a hardware sharing method for design space exploration of multi-processor embedded systems. In our prior work, we had developed a system-level design tool named SystemBuilder which automatically synthesizes target implementation of a system from a functional description. In this work, we have extended SystemBuilder so that it can automatically synthesize an area-efficient implementat...

The recent spectacular progress in modern microelectronics created a big stimulus towards development of embedded systems. Unfortunately, it also introduced unusual complexity which results in many serious issues that cannot be resolved without new more adequate development methods and electronic design automation tools for the system-level design. This paper discusses the problem of an efficie...

Cost effective supply chain management under various market, logistics and production uncertainties is a critical issue for companies in the chemical process industry. Uncertainties in the supply chain usually increase the variance of profits (or costs) to the company, increasing the likelihood of decreased profit. Demand uncertainty, in particular, is an important factor to be considered in th...

The paper discusses the enhancement of inherent safety by index methods. The aim is to study, how well the safety index methods can evaluate inherent safety compared to expert evaluations and Dow Fire and Explosion index values. Studies on four levels of scope from process concept selection to equipment design were done and correlations between indices and expert values calculated. It was found...

Performance is no longer the only metric dominating modern system-level design. Power is emerging as major constraint to consider during system development. Consequently, several CAD tools with power estimation capabilities in addition to performance figures have been developed. Among these tools, UNISIM is a simulation framework that enables the architects to rapidly design a new system at dif...