Article thumbnail

Construction and stepwise refinement of dependability models

By Claudia Betous-Almeida and Karama Kanoun


International audienceThe purpose of this paper is to present a framework for comparing different candidatearchitectures for the same system. To this end, we propose a rigorous approach for homogeneouslymodelling different architectures. Starting with the functional specifications of thesystem, we derive a functional-level model that is used to construct a high-level dependabilitymodel for each architecture, using well-defined, formal construction rules. Our modellingapproach is then applied to three possible architectures of an instrumentation and controlsystem, and an example of a comparative analysis of these systems is provided

Topics: [INFO]Computer Science [cs], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
Publisher: 'Elsevier BV'
Year: 2004
OAI identifier: oai:HAL:hal-01980966v1
Provided by: HAL-INSA Toulouse
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • https://hal.archives-ouvertes.... (external link)
  • https://hal.archives-ouvertes.... (external link)
  • https://hal.archives-ouvertes.... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.