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 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},
  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 agile principles with organizational patterns and adapts them to build medical devices focusing on the issues related to the system's… Expand
Investigating the Suitability of Using Agile for Medical Embedded Software Development
TLDR
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. Expand
Agile Usage in Embedded Software Development in Safety Critical Domain–A Systematic Review
TLDR
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. Expand
An Investigation into Agile Methods in Embedded Systems Development
TLDR
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. Expand
Hardware virtualization for rapid and secure CE product development and life cycle management
TLDR
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. Expand
A conceptual model of agile software development in a safety-critical context: A systematic literature review
TLDR
A systematic literature review is conducted as an interpretive study following a research design to identify the issues and disputes in agile development of safety-critical software and the key qualities as found in the extant research literature. Expand
Lean/Agile Software Development Methodologies in Regulated Environments - State of the Art
TLDR
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. Expand
Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints
TLDR
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. Expand
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 theExpand
SMT-based bounded model checking for multi-threaded software in embedded systems
  • Lucas C. Cordeiro
  • Computer Science
  • 2010 ACM/IEEE 32nd International Conference on Software Engineering
  • 2010
TLDR
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. Expand

References

SHOWING 1-10 OF 26 REFERENCES
Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach
TLDR
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. Expand
Software Development under Stringent Hardware Constraints: Do Agile Methods Have a Chance?
TLDR
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. Expand
Taming the embedded tiger - agile test techniques for embedded software
TLDR
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. Expand
Agile methods applied to embedded firmware development
  • Bill Greene
  • Engineering, Computer Science
  • Agile Development Conference
  • 2004
TLDR
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. Expand
Agile Software Development with SCRUM
From the Publisher: “Agile development methods are key to the future of flexible software systems. Scrum is one of the vangards of the new way to buy and manage software development when businessExpand
Embedded system design issues (the rest of the story)
  • P. Koopman
  • Engineering, Computer Science
  • Proceedings International Conference on Computer Design. VLSI in Computers and Processors
  • 1996
TLDR
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. Expand
Extreme programming explained - embrace change
  • K. Beck
  • Computer Science, Engineering
  • 1990
TLDR
You may love XP, or you may hate it, but Extreme Programming Explained will force you to take a fresh look at how you develop software. Expand
Software Configuration Management Patterns: Effective Teamwork, Practical Integration
TLDR
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. Expand
Platform-Based Design and Software Design Methodology for Embedded Systems
TLDR
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. Expand
Agile Estimating and Planning
TLDR
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. Expand
...
1
2
3
...