This work presents an innovative approach for hardware/software codesign of safety-critical computing systems. The proposed approach is based on system reliability requirements to decide which parts of the system are partitioned into hardware or software. The approach considers as inpiit a complete software description of the design. In our case, we use as the initial description the C language and then, for those parts compiled to hardware, the Handel-C language is applied. After partitioning, we verqy system reliability based on an adaptation of the weak mutation analvsis technique. This technique was originally proposedfor software testing by means of vercving the adequacy of a test vectors set for a given program. We also present a case study in order to illustrate the proposed approach.

No abstract

No abstract

No abstract