Highly reliable upgrading of components

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Highly reliable upgrading of components

Full text

Pdf (1.28 MB)

Source

International Conference on Software Engineering archive
Proceedings of the 21st international conference on Software engineering table of contents

Los Angeles, California, United States

Pages: 203 - 212

Year of Publication: 1999

ISBN:1-58113-074-0

Authors

Jonathan E. Cook	Department of Computer Science, New Mexico State University, Las Cruces, NM
Jeffrey A. Dage	Department of Computer Science, New Mexico State University, Las Cruces, NM

Sponsors

IEEE-CS : Computer Society
IEEE-CS\TCSE : TC on Software Engineering
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 39, Citation Count: 14

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/302405.302466 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	B. Andrews. Using Executable Assertions for Testing and Fault 'Tolerance. In Proceedings of the 9th International Symposium on Fault- Tolerant Computing (FTC'S9), pages 102-105, New York, 1979. IEEE.
	2	G. Aschemann , R. Kehr, Towards a Requirements-based Information Model for Configuration Management, Proceedings of the International Conference on Configurable Distributed Systems, p.181, March 04-06, 1998
	3	A. Avizienis. The N-version Approach to Fault-Tolerant Software. IEEE lhnsactions on Software Engineering, 11(12):1491-1501, 1985.
	4	C. Bidan , V. Issarny , T. Saridakis , A. Zarras, A Dynamic Reconfiguration Service for CORBA, Proceedings of the International Conference on Configurable Distributed Systems, p.35, March 04-06, 1998
	5	Susan S. Brilliant , John C. Knight , Nancy G. Leveson, Analysis of Faults in an N-Version Software Experiment, IEEE Transactions on Software Engineering, v.16 n.2, p.238-247, February 1990 [doi>10.1109/32.44387]
	6	Reidar Conradi , Bernhard Westfechtel, Version models for software configuration management, ACM Computing Surveys (CSUR), v.30 n.2, p.232-282, June 1998 [doi>10.1145/280277.280280]
	7	J. Cook. Assertions for the Tel Language. In Proc. 5th Annual Tcl/Tk Workshop '97, pages 73-80. Usenix, July 1997.
	8	Flavin Cristian, Understanding fault-tolerant distributed systems, Communications of the ACM, v.34 n.2, p.56-78, Feb. 1991 [doi>10.1145/102792.102801]
	9	Michel Diaz , Guy Juanole , Jean-Pierre Courtiat, Observer-A Concept for Formal On-Line Validation of Distributed Systems, IEEE Transactions on Software Engineering, v.20 n.12, p.900-913, December 1994 [doi>10.1109/32.368136]
	10	Digital Equipment Corporation, Hewlett-Packard Company, HyperDesk Corporation, NCR Corporation, Object Design, Inc., and SunSoft, Inc. The Common Object Request Broker: Architecture and Specification, Version 1.2. Object Management Group, Framingham, Massachusetts, Dec. 1993.
	11	D. Eckhardt and L. Lee. A Theoretical Basis for the Analysis of Redundant Software Subject to Coincident Errors. IEEE lYonsactions on Software Engineering, 11(12):1511-1517, 1985.
	12	P. Feiler , J. Li, Consistency in Dynamic Reconfiguration, Proceedings of the International Conference on Configurable Distributed Systems, p.189, March 04-06, 1998
	13	Bryan Ford , Godmar Back , Greg Benson , Jay Lepreau , Albert Lin , Olin Shivers, The Flux OSKit: a substrate for kernel and language research, Proceedings of the sixteenth ACM symposium on Operating systems principles, p.38-51, October 05-08, 1997, Saint Malo, France
	14	Peter Fritzson , Mikhail Auguston , Nahid Shahmehri, Using assertions in declarative and operational models for automated debugging, Journal of Systems and Software, v.25 n.3, p.223-239, June 1994 [doi>10.1016/0164-1212(94)90032-9]
	15	D. Gluch and C.B. Weinstock, eds. Workshop on the State of the Practice in Dependably Upgrading Critical Systems. Technical Report CMU/SEI-97-SR-014, Software Engineering Institute, Aug. 1997.
	16	Kaveh Moazami-Goudarzi , Jeff Kramer, Maintaining Node Consistency in the Face of Dynamic Change, Proceedings of the 3rd International Conference on Configurable Distributed Systems, p.62, May 06-08, 1996
	17	G. Hamilton, ed. JavaBeans API Specification, 1.01. Technical report, Sun Microsystems, Inc.
	18	Steffen Hauptmann , Josef Wasel, On-line Maintenance with On-the-fly Software Replacement, Proceedings of the 3rd International Conference on Configurable Distributed Systems, p.70, May 06-08, 1996
	19	Christos T. Karamanolis , Jeff N. Magee, A Replication Protocol to Support Dynamically Configurable Groups of Servers, Proceedings of the 3rd International Conference on Configurable Distributed Systems, p.161, May 06-08, 1996
	20	J. Knight and N. Leveson. An Empirical Study of Failure Probabilities in Multi-version Software. In Proceedings of the 16th International Symposium on Fault- Tolerant Computing (FTCS-16), pages 165-170, New York, July 1986. IEEE.
	21	J. C. Knight , N. G. Leveson, An experimental evaluation of the assumption of independence in multiversion programming, IEEE Transactions on Software Engineering, v.12 n.1, p.96-109, Jan. 1986
	22	Jeff Kramer , Jeff Magee, The Evolving Philosophers Problem: Dynamic Change Management, IEEE Transactions on Software Engineering, v.16 n.11, p.1293-1306, November 1990 [doi>10.1109/32.60317]
	23	Mark C. Little , Santosh K. Shrivastava, Using Application Specific Knowledge for Configuring Object Replicas, Proceedings of the 3rd International Conference on Configurable Distributed Systems, p.169, May 06-08, 1996
	24	B. Littlewood , D. R. Miller, Conceptual Modeling of Coincident Failures in Multiversion Software, IEEE Transactions on Software Engineering, v.15 n.12, p.1596-1614, December 1989 [doi>10.1109/32.58771]
	25	David C. Luckham, Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs, Springer-Verlag New York, Inc., Secaucus, NJ, 1990
	26	J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. A Constructive Development Environment for Parallel and Distributed Systems. In Proceedings of the Second International Workshop on Configurable Distributed Systems. IEEE Press, Mar. 1994.
	27	G. Matos , E. White, Application of Dynamic Reconfiguration in the Design of Fault Tolerant Production Systems, Proceedings of the International Conference on Configurable Distributed Systems, p.2, March 04-06, 1998
	28	Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
	29	P. Oreizy , R. Taylor, On the Role of Software Architectures in Runtime System Reconfiguration, Proceedings of the International Conference on Configurable Distributed Systems, p.61, March 04-06, 1998
	30	D. B. Orr, R. W. Mecklenburg, P. J. Hoogenboom, and J. Lepreau. Dynamic Program Monitoring and Bansformation Using the OMOS Object Server. Kluwer Academic, Boston, Massachusetts, Feb. 1994.
	31	John K. Ousterhout, Tcl and the Tk toolkit, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1994
	32	James M. Purtilo, The POLYLITH software bus, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.1, p.151-174, Jan. 1994 [doi>10.1145/174625.174629]
	33	James M. Purtilo , Pankaj Jalote, An Environment for Developing Fault-Tolerant Software, IEEE Transactions on Software Engineering, v.17 n.2, p.153-159, February 1991 [doi>10.1109/32.67596]
	34	N. Rodriguez , R. Ierusalimschy , R. Cerqueira, Dynamic Configuration with CORBA Components, Proceedings of the International Conference on Configurable Distributed Systems, p.27, March 04-06, 1998
	35	D. Rosenblum. Automated Monitoring of Component Integrity in Distributed Object Systems. In Advanced Topics Workshop of the 3rd USENIX Conference on Object-Oriented Technologies and Systems. USENIX Association, June 1997.
	36	David S. Rosenblum, A Practical Approach to Programming With Assertions, IEEE Transactions on Software Engineering, v.21 n.1, p.19-31, January 1995 [doi>10.1109/32.341844]
	37	L. Sha, R. Rajkumar, and M. Gaglisrdi. Evolving Dependable Real Time Systems. In Component- Based Software Engineering: Selected Papers from the Software Engineering Institute, pages 125-132. IEEE Computer Society Press, 1996. Reprinted from Proc. Aerospace Applications Conf., 1996.
	38	S. Shrivsstava. Lessons Learned from Building and Using the Arjuna Distributed Progmmming System, volume 938 of Lecture Notes in Computer Science. Springer-Verlag, New York, 1995.
	39	A. van der Hoek, D. Heimbigner, and A. Wolf. Software Architecture, Configuration Management, and Configurable Distributed Systems: A Menage a Trois. Technical Report CU-CS-849-98, University of Colorado, Jan. 1998.
	40	Ian Warren , Ian Sommerville, A model for Dynamic Configuration which Preserves Application Integrity, Proceedings of the 3rd International Conference on Configurable Distributed Systems, p.81, May 06-08, 1996
	41	D. Welch, Building Self-Reconfiguring Distributed Systems using Compensating Reconfiguration, Proceedings of the International Conference on Configurable Distributed Systems, p.18, March 04-06, 1998
	42	S. S. Yau , R. C. Cheung, Design of self-checking software, Proceedings of the international conference on Reliable software, p.450-455, April 21-23, 1975, Los Angeles, California

CITED BY 14

	Marija Rakic , Nenad Medvidovic, Increasing the confidence in off-the-shelf components: a software connector-based approach, ACM SIGSOFT Software Engineering Notes, v.26 n.3, p.11-18, May 2001
	André van der Hoek , Marija Mikic-Rakic , Roshanak Roshandel , Nenad Medvidovic, Taming architectural evolution, ACM SIGSOFT Software Engineering Notes, v.26 n.5, Sept. 2001
	Ivica Crnkovic , Magnus Larssom, Challenges of component-based development, Journal of Systems and Software, v.61 n.3, p.201-212, April 2002
	Nikunj R. Mehta , Nenad Medvidovic , Sandeep Phadke, Towards a taxonomy of software connectors, Proceedings of the 22nd international conference on Software engineering, p.178-187, June 04-11, 2000, Limerick, Ireland
	Alexander Stuckenholz, Component evolution and versioning state of the art, ACM SIGSOFT Software Engineering Notes, v.30 n.1, January 2005
	Roshanak Roshandel , André Van Der Hoek , Marija Mikic-Rakic , Nenad Medvidovic, Mae---a system model and environment for managing architectural evolution, ACM Transactions on Software Engineering and Methodology (TOSEM), v.13 n.2, p.240-276, April 2004
	Lieven Desmet , Nico Janssens , Sam Michiels , Frank Piessens , Wouter Joosen , Pierre Verbaeten, Towards preserving correctness in self-managed software systems, Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, p.34-38, October 31-November 01, 2004, Newport Beach, California
	Naveed Arshad , Dennis Heimbigner , Alexander L. Wolf, Deployment and dynamic reconfiguration planning for distributed software systems, Software Quality Control, v.15 n.3, p.265-281, September 2007
	Parminder Kaur , Hardeep Singh, Version management and composition of software components in different phases of software development life cycle, ACM SIGSOFT Software Engineering Notes, v.34 n.4, July 2009
	Tao Xie , Kunal Taneja , Shreyas Kale , Darko Marinov, Towards a Framework for Differential Unit Testing of Object-Oriented Programs, Proceedings of the Second International Workshop on Automation of Software Test, p.5, May 20-26, 2007
	Yuanyuan Zhou , Darko Marinov , William Sanders , Craig Zilles , Marcelo d'Amorim , Steven Lauterburg , Ryan M. Lefever , Joe Tucek, Delta execution for software reliability, Proceedings of the 3rd conference on Third Workshop on Hot Topics in System Dependability, p.16-16, June 26, 2007, Edinburgh, UK
	Ilir Gashi , Peter Popov , Lorenzo Strigini, Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers, IEEE Transactions on Dependable and Secure Computing, v.4 n.4, p.280-294, October 2007
	Joseph Tucek , Weiwei Xiong , Yuanyuan Zhou, Efficient online validation with delta execution, ACM SIGPLAN Notices, v.44 n.3, March 2009
	Matjaz B. Juric , Ana Sasa , Ivan Rozman, WS-BPEL Extensions for Versioning, Information and Software Technology, v.51 n.8, p.1261-1274, August, 2009