TXM: an agile HW/SW development methodology for building medical devices

@article{Cordeiro2007TXMAA,
  title={TXM: an agile HW/SW development methodology for building medical devices},
  author={Lucas C. Cordeiro and Raimundo S. Barreto and Rafael Barcelos and Meuse N. Oliveira and Vicente Ferreira de Lucena and Paulo Romero Martins Maciel},
  journal={ACM SIGSOFT Software Engineering Notes},
  year={2007},
  volume={32}
}
Arterial oxygen saturation and heart rate measured by pulse oximetry is widely used to monitor critical care patients. This kind of system is classified as embedded hard real-time system and requires rigorous development methodologies to guarantee the correctness and timeliness of the application. Therefore, the proposed development methodology combines… CONTINUE READING