No abstract

No abstract

In the design of embedded hardware/software systems, exploration and synthesis of different design alternatives and co-verification of specific implementations are the most demanding tasks. Networked embedded systems pose a new challenge to existing design methodologies as novel requirements like adaptivity and runtime-reconfigurability arise. In this paper, we introduce a co-design environment based on the Java language which supports specification, co-synthesis and prototype execution for dynamically reconfigurable hardware/software systems.

In this paper, the domain of automotive safety is addressed. A specijk application, i.e., autonomous, intelligent cruise controller, is selected. Model-based techniques which facilitate implementation independent specijkation and design of such a system are discussed. A set of systems requirements, the underlying object and behavioral models are given. In conclusion, postulates are discussed for the physical realization of the presented application.

No abstract