On Diagnosability in HW-SW Codesign: A Case Study

The increasing role of dependability in the assurance of the high quality of information processing services necessitates a proper support for dependable design. It should be integrated into the design ow, that even a practitioner engineer without deep knowledge of the underlying highly abstract theoretical background will be able to dominate it. Unfortunately currently available hardware-software codesign frameworks lack this inherit support for design for dependability. Therefore the designer is forced to use various other evaluation tools which are based on di erent modeling techniques than that of the codesign environment. Under such circumstances the isomorphism of the model transformations are not guaranteed. That can be a source of design faults and as such it will decrease product quality, what becomes crucial in case of fault-tolerant embedded systems. In [1] a novel approach is presented for solving this problem in the rst, functional design phase of codesign and a small example is included as a feasibility study. In this paper a larger and much more detailed example is given as a case study. The elaboration of the example will show how the presented method can be used in the practice for: