Peter Feiler, Jun Li Software Engineering Institute/Electrical and Computer...  Home/Search
Context Related
| cmu.edu/pub/docume...igfeiler1998.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: cmu.edu/activit...plex_references (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper examines issues relating to the impact of change in real-time control applications. In particular, Simplex-based systems are being considered, a technology that supports dependable upgrade of systems in a fault tolerant manner through the concept of analytic redundancy [4]. Such systems provide flexibility to realtime systems for dynamic reconfiguration and dependable incremental and online upgrade. The paper focuses on offline analysis to determine inconsistencies in configurations... (Update)
Context of citations to this paper: More
.... configuration meets requirements constraints [2] and extending semantic analysis on variants of components to the pre deployment phase [13]. 2.2 Self Checking Systems Self checking systems employ a type of run time specification checking, where formal assertions about the...
.... based on a more declarative linking and unlinking style, has given much focus to the problem of checking configuration consistency [6, 4] Parsers that check required properties can also be easily built for configuration files. This is in fact only another application of...
Cited by: More
Highly Reliable Upgrading of Components - Cook, Dage (1999) (Correct)
Configuration Management for Highly-Customizable Software - Hiltunen (1998) (Correct)
Dynamic Reconfiguration of CORBA-based Applications - Rodriguez, Ierusalimschy (1999) (Correct)
Active bibliography (related documents): More All
0.5: Spectrum of Functionality in Configuration Management Systems - Dart (1990) (Correct)
0.3: Dimensions of Consistency in Source Versions and System Compositions - Perry (1991) (Correct)
0.2: Applying Slicing Technique to Software Architectures - Zhao (1998) (Correct)
Similar documents based on text: More All
0.1: Simplex™ in a Hostile Communications.. - Altman, Weinstock.. (1999) (Correct)
0.1: Marvel 3.0 Administrator's Manual - Programming Systems (1991) (Correct)
0.1: Engineering Component-Based Systems with.. - Wallnau, Morris.. (1997) (Correct)
Related documents from co-citation: More All
3: Professional Computing series (context) - Ousterhout, the - 1994
3: Dynamic Configuration with CORBA Components - Rodriguez, Ierusalimschy et al. - 1998
3: ACM Transactions on Programming Languages and Systems (context) - Morgan, statement - 1989
BibTeX entry: (Update)
P. Feiler and J. Li. Consistency in Dynamic Reconfiguration. In Proceedings of the Fourth International Conference on Configurable Distributed Systems, pages 189--196. IEEE Computer Society Press, May 1998. http://citeseer.ist.psu.edu/feiler98consistency.html More
@misc{ feiler98consistency,
author = "P. Feiler and J. Li",
title = "Consistency in Dynamic Reconfiguration",
text = "P. Feiler and J. Li. Consistency in Dynamic Reconfiguration. In Proceedings
of the Fourth International Conference on Configurable Distributed Systems,
pages 189--196. IEEE Computer Society Press, May 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/feiler98consistency.html" }
Citations (may not include all citations):579 Software architecture: perspectives on an emerging disciplin.. (context) - Shaw, Garlan - 1996
202 Make - A Program for Maintaining Computer Programs - Feldman - 1979
193 Specification and analysis of system architecture using Rapi.. - Luckham, Augustin et al. - 1995
177 Formalizing architectural connection (context) - Allen, Garlan - 1994
95 A Practitioner's Handbook for Real-time Analysis: Guide to R.. (context) - Klein - 1993
85 Dynamic configuration for distributed systems (context) - Kramer, Magee - 1985
54 Configuration Management Models in Commercial Environments (context) - Feiler - 1991
52 Software Interconnection models - Perry - 1987
41 On task schedulability in real-time control systems - Seto, Lehoczky et al. - 1996
28 Version Control in the Inscape Environment - Perry - 1987
28 Evolving Dependable Real-Time Systems - Sha, Rajkumar et al. - 1996
17 The logic of propagation in the Inscape Environment - Perry - 1989
15 Fixed-Priority Sensitivity Analysis for Linear Compute Time .. (context) - Vestal - 1994
15 Specifying dynamism in software architecture - Allen, Douence et al. - 1997
14 Derivation and application of hard deadlines for real-time c.. (context) - Shin, Kim - 1992
11 Well Formed System Composition (context) - Habermann, Perry - 1980
11 Scheduling and communication in MetaH (context) - Vestal, Binns - 1993
10 System compositions and shared dependencies - Perry - 1996
8 Mode Changes in a Real-Time Architecture Description Languag.. (context) - Vestal - 1994
7 A Data Model for Programming Support Environments and Its Ap.. (context) - Tichy - 1982
4 Chaining: a software architecture dependence analysis techni.. - Stafford, Richardson et al.
2 A Configuration management Assistant (context) - Ploedereder, Fergany - 1989
1 Evolving Parts and Relations - A Model of System Families (context) - Beladi, Merlin - 1985
1 Software fault-tolerance for control of responsive systems (context) - Bodson, Lehoczky et al. - 1993
Documents on the same site (http://www.sei.cmu.edu/activities/simplex/references/simplex_references.html): More
Evolving Dependable Real-Time Systems - Sha (1995) (Correct)
An ENgineering Method for Safety Region Development - Seto, Sha (1999) (Correct)
A Case Study on Analytical Analysis of the Inverted Pendulum.. - Seto, Sha (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC