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

  title={TXM: an agile HW/SW development methodology for building medical devices},
  author={Lucas C. Cordeiro and Raimundo da Silva Barreto and Rafael Barcelos and Meuse N. Oliveira and Vicente Ferreira de Lucena and Paulo Romero Martins Maciel},
  journal={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… 

Investigating the Suitability of Using Agile for Medical Embedded Software Development

The challenges and the future work from medical embedded software development perspective are addressed and Agile practices to embedded software developments in general are addressed.

Agile Usage in Embedded Software Development in Safety Critical Domain–A Systematic Review

The objective of this study is to understand the challenges of embedded safety critical software development, to investigate agile practices which have been in use in the domain, the factors affecting agile implementation in embedded safetycritical software development and the result is outlined.

An Investigation into Agile Methods in Embedded Systems Development

A detailed view of how agile methods have been used in the development of embedded systems, and to describe their benefits, challenges, and limitations is presented.

Hardware virtualization for rapid and secure CE product development and life cycle management

New SW architecture and design patterns that make possible the virtualization of hardware components are presented in this paper, and the experience of their application in the OS porting process is reported.

Lean/Agile Software Development Methodologies in Regulated Environments - State of the Art

Drawing on the results of a systematic literature review, it is found that evidence is sparse for Lean/Agile adoption in these domains and “out-of-the-box” Agile practices do not seem to fully suit these environments but rather tailored Agile versions combined with more plan-based practices seem to be making inroads.

Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints

A semiformal verification approach that combines dynamic and static verification to stress and cover exhaustively the state space of the system is proposed that improves the coverage and reduces substantially the verification time.

Service-Oriented Architecture, Agile, Lean and Component-Based Software Engineering: Future Solutions for Cloud Computing

Software development methods are attempting to offer an eager business community lightweight and faster solutions in the latest advancement in the software development world, which includes the

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
A new algorithmic method and corresponding tools based on SMT to verify embedded software in multi-core systems to reduce the number of state variables and interleavings from the proof of unsatisfiability generated by the SMT solvers.



Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach

An agile development methodology which combines agile principles with organizational patterns and adapts them to build embedded real-time systems focusing on the system's constraints is described.

Software Development under Stringent Hardware Constraints: Do Agile Methods Have a Chance?

The requirements for new agile methods targeted to facilitate the development of embedded software, based on an empirical study over a period of 12 months in theDevelopment of low-level telecommunications software, are defined.

Taming the embedded tiger - agile test techniques for embedded software

Strong unit testing is the foundation of agile software development but embedded systems present special problems, which has powerful implications for improving the quality of high-reliability systems, which commonly have embedded software at their heart.

Agile methods applied to embedded firmware development

  • Bill Greene
  • Computer Science
    Agile Development Conference
  • 2004
This paper describes the experience of applying agile approaches to the development of firmware for the Intel/spl reg/ Itanium/Spl reg/ processor family and found agile approach to be well-suited for this project, despite the fact that most agile methodologists come from very different backgrounds.

Agile Software Development with SCRUM

This book describes building systems using the deceptively simple process, Scrum, a new approach to systems development projects that cuts through the ocmplexity and ambiguity of complex, emergent requiremetns and unstable technology to iteratively and quickly produce quality software.

Embedded system design issues (the rest of the story)

  • P. Koopman
  • Computer Science
    Proceedings International Conference on Computer Design. VLSI in Computers and Processors
  • 1996
There is currently little tool support for expanding embedded computer design to the scope of holistic embedded system design, but knowing the strengths and weaknesses of current approaches can set expectations appropriately, identify risk areas to tool adopters, and suggest ways in which tool builders can meet industrial needs.

Software Configuration Management Patterns: Effective Teamwork, Practical Integration

This book discusses the role of SCM in Agile Software Development, the Structure of Patterns in This Book, and how to Simplify Your Branching Model.

Platform-Based Design and Software Design Methodology for Embedded Systems

The authors' vision for the future of embedded-system design involves two essential components: a rigorous methodology for embedded software development and platform-based design.

Agile Estimating and Planning

This book describes how a two year planning assignment on two large aerospace programs and prior experience as a Program Management Officer for the IT portion of a very large Department of Energy program led to this book.

Benefits and challenges for platform-based design

The main challenges are to distill the essence of the method, to formalize it and to provide a framework to support its use in areas that go beyond the original domain of application.