; Hand this in to: ece849-staff+hw@ece.cmu.edu @inproceedings{nelson97_incremental_upgrades, author = "Nelson, J.", title = "Incremental avionics upgrades for legacy aircraft", booktitle = "Digital Avionics Systems Conference, 1997", year = "1997", volume = "2", pages = "3.2:15-23", url = "http://ieeexplore.ieee.org/iel3/5023/13779/00635048.pdf", studentname = "", summary = "", contribution1 ="", contribution2 ="", contribution3 ="", contribution4 ="", contribution5 ="", weakness1 = "", weakness2 = "", weakness3 = "", weakness4 = "", weakness5 = "", interesting = "high/med/low", opinions = "", } @inproceedings{ sha96evolving, author = "Lui Sha and R. Rajkumar and M. Gagliardi", title = "Evolving Dependable Real-Time Systems", booktitle = "1996 {IEEE} Aerospace Applications Conference. Proceedings", month = "3--10", publisher = "IEEE New York, NY, USA", address = "Aspen, CO", pages = "335--46", year = "1996", abstract = "To keep systems affordable, there is a trend towards using open standard and commercial off the shelf (COTS) components in the development of dependable real-time systems. However, the use of COTS also introduces the vendor-driven upgrade problem that is relatively new to the dependable realtime computing community. If we refuse to accept the ``new and improved'' hardware and software components provided by vendors, then the hope that using COTS components will help keep the system modern via...", url = "http://ieeexplore.ieee.org/iel3/3554/10645/00495894.pdf", studentname = "", summary = "", contribution1 ="", contribution2 ="", contribution3 ="", contribution4 ="", contribution5 ="", weakness1 = "", weakness2 = "", weakness3 = "", weakness4 = "", weakness5 = "", interesting = "high/med/low", opinions = "", } @inproceedings{arlat00_guards_assessment, author = "Arlat, J. and Jarboui, T. and Kanoun, K. and Powell, D.", title = "Dependability assessment of GUARDS instances", booktitle = "Computer Performance and Dependability Symposium 2000", pages = "147--156", year = "2000", abstract = "The generic architectural concepts developed in the European ESPRIT project GUARDS (Generic Upgradable Architecture for Real time Distributed Systems) provide a comprehensive framework from which specific instances can be derived to meet the dependability requirements of various application domains. Three main application domains are considered (railway, nuclear propulsion and space) that correspond to the fields of the three end-user partners of the project...", url = "http://ieeexplore.ieee.org/iel5/6773/18129/00839474.pdf", studentname = "", summary = "", contribution1 ="", contribution2 ="", contribution3 ="", contribution4 ="", contribution5 ="", weakness1 = "", weakness2 = "", weakness3 = "", weakness4 = "", weakness5 = "", interesting = "high/med/low", opinions = "", } ;Supplemental Reading @Conference{Lyu01, author = "Janghoon Lyu ; Youngjin Kim ; Yongsub Kim ; Inhwan Lee ", title = "A procedure-based dynamic software update", inbook = "Proceedings International Conference on Dependable Systems and Networks", year = "2001", pages = "271-80", abstract = "This paper presents a method to update a single or multiple procedures of running software, without stopping the software, by directly modifying a part of the process address space. The paper addresses two issues for procedure-based dynamic software update. First, the paper presents a well-defined sequence to perform an update while ensuring correct operation and small performance loss. Second the paper provides a solution for how to make the new version procedure work correctly in the address space of the old version process. The method is illustrated in the SUN Solaris environment. Using the method can reduce the downtime caused by software upgrade when changes are limited to text and local data", url = "http://ieeexplore.ieee.org/iel5/7490/20368/00941412.pdf", studentname = "", summary = "", contribution1 = "", contribution2 = "", contribution3 = "", contribution4 = "", contribution5 = "", weakness1 = "", weakness2 = "", weakness3 = "", weakness4 = "", weakness5 = "", interesting = "high/med/low", opinions = "", } @Conference{Cook99, author = "Cook, J.E. ; Dage, J.A. ", title = "Highly reliable upgrading of components", inbook = "Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)", year = "1999", pages = "203-12", abstract = "After a system is deployed, fixes, enhancements, and modifications all occur that change the components that make up the system. Unfortunately, new versions of components can introduce new errors and break existing, depended-upon behavior. When this happens, the old component version could have provided the correct behavior, but it is no longer part of the system. We propose a framework, HERCULES, for upgrading system components that, instead of removing the old version of the component, keeps multiple versions of a component running. Doing so allows behavior to be utilized from all versions, and maintains system integrity and correctness even in the presence of newly introduced errors. This framework ensures that the move towards dynamic, configurable software systems does not lessen, but rather provides capabilities to enhance the reliability that software will achieve through the next century", url = "http://ieeexplore.ieee.org/iel5/6783/18169/00841010.pdf", studentname = "", summary = "", contribution1 = "", contribution2 = "", contribution3 = "", contribution4 = "", contribution5 = "", weakness1 = "", weakness2 = "", weakness3 = "", weakness4 = "", weakness5 = "", interesting = "high/med/low", opinions = "", } @article{Powell99, author = "Powell, D. ; Arlat, J. ; Beus-Dukic, L. ; Bondavalli, A. ; Coppola, P. ; Fantechi, A. ; Jenn, E. ; Rabejac, C. ; Wellings, A.", title = "GUARDS: a generic upgradable architecture for real-time dependable systems", journal = "IEEE Transactions on Parallel and Distributed Systems 10,", year = "1999", pages = "580-99", number = "6", abstract = "The development and validation of fault-tolerant computers for critical real-time applications are currently both costly and time consuming. Often, the underlying technology is out-of-date by the time the computers are ready for deployment. Obsolescence can become a chronic problem when the systems in which they are embedded have lifetimes of several decades. This paper gives an overview of the work carried out in a project that is tackling the issues of cost and rapid obsolescence by defining a generic fault-tolerant computer architecture based essentially on commercial off-the-shelf (COTS) components (both processor hardware boards and real-time operating systems). The architecture uses a limited number of specific, but generic, hardware and software components to implement an architecture that can be configured along three dimensions: redundant channels, redundant lanes, and integrity levels. The two dimensions of physical redundancy allow the definition of a wide variety of instances with different fault tolerance strategies. The integrity level dimension allows application components of different levels of criticality to coexist in the same instance. The paper describes the main concepts of the architecture, the supporting environments for development and validation, and the prototypes currently being implemented", url = "http://ieeexplore.ieee.org/iel5/71/16816/00774908.pdf", studentname = "", summary = "", contribution1 = "", contribution2 = "", contribution3 = "", contribution4 = "", contribution5 = "", weakness1 = "", weakness2 = "", weakness3 = "", weakness4 = "", weakness5 = "", interesting = "high/med/low", opinions = "", } @Conference{Sha98, author = "Lui Sha ", title = "Dependable system upgrade", inbook = "Proceedings 19th IEEE Real-Time Systems Symposium ", year = "1998", pages = "440-8", abstract = "The rate of innovations in technologies has far exceeded the rate of adopting them in at least the past 20 years. To fully realize the potential of innovations, a paradigm shift is needed, from a focus on enabling technologies for completely new installations to one which is designed to mitigate the risk and cost of bringing new technologies into functioning systems. In this paper, we show that real time control software can be dependably upgrade online via the use of analytically redundant controllers", url = "http://ieeexplore.ieee.org/iel4/5963/15954/00739777.pdf", studentname = "", summary = "", contribution1 = "", contribution2 = "", contribution3 = "", contribution4 = "", contribution5 = "", weakness1 = "", weakness2 = "", weakness3 = "", weakness4 = "", weakness5 = "", interesting = "high/med/low", opinions = "", }