| Popis: |
The corrections of the large and complex systems have become an issue of great importance recently due to the system development process. The device technology is quite complex and encompasses various disciplines of engineering, medicine, biology, and critical patient-machine interfaces. In this paper, we proposed a simulation approach to the verification and validation of the system of the hemodialysis machine (HD machine) specified by the SysML language. The simulation is carried out through intelligent translation based on the specifications of SysML into SystemC-AMS models. To evaluate and validate the system design, they are translated into a set of formulas and requirements verified when run on the available tools, COSE DA technologies, the WSN simulator developed by SystemC-AMS. |
