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

  title={TXM: an agile HW/SW development methodology for building medical devices},
  author={L. Cordeiro and R. Barreto and Rafael Barcelos and M. Oliveira and V. Lucena and P. Maciel},
  journal={ACM SIGSOFT Softw. Eng. Notes},
  • L. Cordeiro, R. Barreto, +3 authors P. Maciel
  • Published 2007
  • Computer Science
  • ACM SIGSOFT Softw. Eng. Notes
  • 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 agile principles with organizational patterns and adapts them to build medical devices focusing on the issues related to the system's… CONTINUE READING
    10 Citations
    Hardware virtualization for rapid and secure CE product development and life cycle management
    • 2
    Lean/Agile Software Development Methodologies in Regulated Environments - State of the Art
    • 52
    • PDF
    Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints
    • 40
    • PDF
    SMT-based bounded model checking for multi-threaded software in embedded systems
    • L. Cordeiro
    • Computer Science
    • 2010 ACM/IEEE 32nd International Conference on Software Engineering
    • 2010
    • 23
    • PDF