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…
Figures and Tables from this paper
10 Citations
Investigating the Suitability of Using Agile for Medical Embedded Software Development
- Computer ScienceSPICE
- 2016
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
- Computer Science
- 2018
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
- Computer ScienceICCSA
- 2012
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
- Computer Science2011 IEEE International Conference on Consumer Electronics (ICCE)
- 2011
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.
A conceptual model of agile software development in a safety-critical context: A systematic literature review
- BusinessInf. Softw. Technol.
- 2018
Lean/Agile Software Development Methodologies in Regulated Environments - State of the Art
- BusinessLESS
- 2010
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
- Computer Science2009 International Conference on Embedded Software and Systems
- 2009
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
- Computer Science
- 2015
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
- Computer Science2010 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.
References
SHOWING 1-10 OF 25 REFERENCES
Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach
- Computer Science14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07)
- 2007
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?
- Computer ScienceXP
- 2003
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
- Computer ScienceAgile Development Conference
- 2004
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
- Computer ScienceAgile 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
- Computer Science
- 2001
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)
- Computer ScienceProceedings 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
- Computer Science
- 2003
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
- Computer ScienceIEEE Des. Test Comput.
- 2001
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
- Economics
- 2005
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
- Computer ScienceProceedings. 41st Design Automation Conference, 2004.
- 2004
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.