Abstract | ||
---|---|---|
This paper presents a formal approach to analyze system reconfigurability, based on a generic component model, which describes the system from the services provided by its components, and their organization into operating modes, in order to achieve specific objectives. Following a bottom-up approach, services provided by elementary components are used as resources for services at a higher level. Several versions exist when the same service can be rendered by using distinct sets of resources. Reconfiguration results from the existence of multiple versions since a faulty resource does not imply losing the services that use it. A level regulation example shows the effectiveness of the proposed model and tools. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/TSMCA.2008.918608 | IEEE Transactions on Systems, Man, and Cybernetics, Part A |
Keywords | Field | DocType |
reconfiguration analysis,higher level,generic component model,reconfiguration result,system reconfigurability,distinct set,level regulation example,formal approach,elementary component,generic component models,bottom-up approach,redundancy,siphon,component model,failure analysis,fault detection,petri net,decision support systems,functional decomposition,bottom up,resource allocation,algorithm design and analysis,service provider,system analysis and design,helium,control systems,reliability theory,deadlock prevention | Structured systems analysis and design method,Petri net,Reconfigurability,Computer science,Real-time computing,Artificial intelligence,Deadlock prevention algorithms,Control reconfiguration,Distributed computing,Reliability theory,Functional decomposition,Decision support system,Machine learning | Journal |
Volume | Issue | ISSN |
38 | 3 | 1083-4427 |
Citations | PageRank | References |
8 | 0.59 | 12 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Anne-Lise Gehin | 1 | 45 | 8.57 |
M. Staroswiecki | 2 | 323 | 19.93 |