Communicating sequential processes
Communicating sequential processes
A tutorial introduction to Occam programming
A tutorial introduction to Occam programming
Hardware-Software Cosynthesis for Microcontrollers
IEEE Design & Test
Specification and Design of Embedded Hardware-Software Systems
IEEE Design & Test
A Normal Form Reduction Strategy for Hardware/Software Partitioning
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
PACE: A Dynamic Programming Algorithm for Hardware/Software Partitioning
CODES '96 Proceedings of the 4th International Workshop on Hardware/Software Co-Design
A Multi-Level Transformation Approach to HW/SW Codesign: A Case Study
CODES '96 Proceedings of the 4th International Workshop on Hardware/Software Co-Design
A Co-Design Methodology Based on Formal Specification and High-level Estimation
CODES '96 Proceedings of the 4th International Workshop on Hardware/Software Co-Design
Towards provably correct hardware/software partitioning using occam
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
Serialising Parallel Processes in a Hardware/Software Partitioning Context
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
A Constructive Approach to Hardware/Software Partitioning
Formal Methods in System Design
| Hi-index | 0.00 |
The main goal of this work is the development of a fault-tolerant intravenous infusion control system. The system was implemented in hardware and software and the hardware/software partitioning was done by using a co-design methodology developed in our research group. The main criteria considered during the hardware/software partitioning were performance, hardware area and software fault-tolerance. The software was implemented into a microprocessor and the hardware was prototyped by using FPGA's.