Requirements-document-based prototyping of CARA software

Computer-aided prototyping evaluates and refines software requirements by defining requirements specifications, designing underlying compositional architecture, doing restricted real-time scheduling, and constructing a prototype by using reusable executable software components. This paper presents a case study of the Computer Assisted Resuscitation Algorithm (CARA) software for a casualty intravenous fluid infusion pump and explores the effectiveness of performing rapid prototyping with parallel conceptualization to expose requirements issues. Using a suite of prototyping tools, five different design model alternatives are generated based on the analysis of customer requirements documents. Further comparison is conducted with specific focus on a sample of comparative criteria: simplicity of design, safety aspects, requirements coverage, and enabling architecture. The case study demonstrates the usefulness of comparative rapid prototyping for revealing the omissions and discrepancies in the requirements document. The study also illustrates the efficiency of creating/modifying parallel models and reason for their complexity by using the tool suite. Additional enhancements for the prototyping suite are highlighted.

[1]  Luqi,et al.  Comparative rapid prototyping: a case study , 2003, 14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings..

[2]  Insup Lee,et al.  Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System , 2003, International Journal on Software Tools for Technology Transfer.

[3]  Luqi,et al.  Compositional Semantics of a Real-Time Prototyping Language , 1993, IEEE Trans. Software Eng..

[4]  Larry Bernstein.  Foreword: Importance of software prototyping , 1996 .

[5]  Fabrice Kordon,et al.  An Introduction to Rapid System Prototyping , 2002, IEEE Trans. Software Eng..

[6]  Luqi,et al.  A Software Prototyping Framework and Methods for Supporting Human's Software Development Activities , 2003, ICSE Workshop on SE-HCI.

[7]  Algirdas Avizienis,et al.  The N-Version Approach to Fault-Tolerant Software , 1985, IEEE Transactions on Software Engineering.

[8]  Luqi,et al.  A Prototyping Language for Real-Time Software , 1988, IEEE Trans. Software Eng..

[9]  Luqi,et al.  Specifications in software prototyping , 1998, J. Syst. Softw..

[10]  Daniel P. Siewiorek,et al.  Rapid prototyping of computer systems: experiences and lessons , 2001, Proceedings 12th International Workshop on Rapid System Prototyping. RSP 2001.

[11]  Luqi.  Handling timing constraints in rapid prototyping , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track.

[12]  Linda M. Wills,et al.  Combining virtual benchmarking with rapid system prototyping for real-time embedded multiprocessor signal processing system codesign , 2000, Proceedings 11th International Workshop on Rapid System Prototyping. RSP 2000. Shortening the Path from Specification to Prototype (Cat. No.PR00668).

[13]  Wei-Tek Tsai,et al.  An experimental study of fault detection in user requirements documents , 1992, TSEM.

[14]  Klaus D. Müller-Glaser,et al.  Universal object-oriented modeling for rapid prototyping of embedded electronic systems , 2001, Proceedings 12th International Workshop on Rapid System Prototyping. RSP 2001.

[15]  C. V. Ramamoorthy,et al.  Application of a Methodology for the Development and Validation of Reliable Process Control Software , 1981, IEEE Transactions on Software Engineering.

[16]  Klaus D. Müller-Glaser,et al.  A methodology for architecture-oriented rapid prototyping , 2001, Proceedings 12th International Workshop on Rapid System Prototyping. RSP 2001.

[17]  Wei-Tek Tsai,et al.  N-Fold inspection: a requirements analysis technique , 1990, Commun. ACM.

[18]  V KEATING,et al.  Infusion Pump , 1980, British medical journal.

[19]  Farokh B. Bastani,et al.  Design for Independent Composition and Evaluation of High-Confidence Embedded Software Systems , 2001 .

[20]  Luqi.  Real-Time Constraints in a Rapid Prototyping Language , 1993, Comput. Lang..

[21]  George J. Vachtsevanos,et al.  Rapid prototyping of transition management code for reconfigurable control systems , 2002, Proceedings 13th IEEE International Workshop on Rapid System Prototyping.