Modeling the dependability of CAUTRA, a subset of the French air traffic control system

Kanoun, Karama; Borrel, M.; Morteveille, T.; Peytavin, Alain

doi:10.1109/ftcs.1996.534599

Cited by 17 publications

(9 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, we already have some experience in modeling real-life systems (e.g. air traffic control systems [18,30] and instrumentation and control systems [3]) as well as more generic systems (e.g. the GUARD architectures [32] and multipurpose multiprocessor systems [20]).…”

Section: Resultsmentioning

confidence: 99%

Multi‐level modeling approach for the availability assessment of e‐business applications

2003

Self Cite

View full text Add to dashboard Cite

This paper defines a multi-level modeling approach for availability assessment of e-business applications, based on two main steps: (1) hierarchical description of the system and its interactions with the users, from the functional and structural points of view, and (2) hierarchical construction and solution of the availability models based on information from the first step. Four modeling abstraction levels are considered. The highest level (user level) describes the availability of the e-business application as perceived by the users. Intermediate levels describe the availability of functions and services provided to the users. The lowest level describes the availability of the component systems on which functions and services are implemented. The availability measures of a given level are computed based on the measures provided by the immediately lower level.

show abstract

Section: Resultsmentioning

confidence: 99%

Multi‐level modeling approach for the availability assessment of e‐business applications

2003

Self Cite

View full text Add to dashboard Cite

show abstract

“…When designers use analytical models for modeling entire complex systems, 13,14 several problems occur, such as subtle interactions between hardware and software, model stiffness, and state explosion. Despite the modularity in defining the model, the analysis has to solve the model in its entirety to maintain the Markovian properties.…”

Section: Model-based Dependability Validationmentioning

confidence: 99%

Design validation of embedded dependable systems

Bondavalli

Fantechi

Latella³

et al. 2001

IEEE Micro

View full text Add to dashboard Cite

“…This was achieved by focusing either on generic or specific architectural features, or on selected dependability mechanisms. Then, elaborating on previous related work (e.g., [36]), an incremental approach proposing modular constructs has been devised. Finally, a third viewpoint was considered that aims to provide a global framework for configuring instances to meet specific application dependability requirements.…”

Section: Dependability Evaluationmentioning

confidence: 99%

GUARDS: a generic upgradable architecture for real-time dependable systems

Powell

Arlat

Beus-Dukic

et al. 1999

IEEE Trans. Parallel Distrib. Syst.

View full text Add to dashboard Cite

Abstract. The development and validation of fault-tolerant computers for critical realtime 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 co-exist 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.

show abstract

Modeling the dependability of CAUTRA, a subset of the French air traffic control system

Cited by 17 publications

References 16 publications

Multi‐level modeling approach for the availability assessment of e‐business applications

Multi‐level modeling approach for the availability assessment of e‐business applications

Design validation of embedded dependable systems

GUARDS: a generic upgradable architecture for real-time dependable systems

Contact Info

Product

Resources

About