%0 Journal Article %1 kanoun1999availability %A Kanoun, K. %A Borrel, M. %A Morteveille, T. %A Peytavin, A. %D 1999 %J Computers, IEEE Transactions on %K availability %N 5 %P 528-535 %R 10.1109/12.769435 %T Availability of CAUTRA, a subset of the French air traffic control system %U http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=769435 %V 48 %X The aim of our work is to provide a quantified means of helping in the definition of a new architecture for CAUTRA, a subset of the French Air Traffic Control system. In this paper, we define a set of alternative architectures, give some elements for constructing their dependability models, and compare their availability. Modeling is carried out following a modular and systematic approach, based on the derivation of block models at a high level of abstraction. In a second step, the blocks are replaced by their equivalent Generalized Stochastic Petri Nets to build up the detailed model of the architecture. The evaluations performed permit identification of a subset of architectures whose availability meets the dependability requirements and also identification of the best architecture among this subset

@article{kanoun1999availability, abstract = {The aim of our work is to provide a quantified means of helping in the definition of a new architecture for CAUTRA, a subset of the French Air Traffic Control system. In this paper, we define a set of alternative architectures, give some elements for constructing their dependability models, and compare their availability. Modeling is carried out following a modular and systematic approach, based on the derivation of block models at a high level of abstraction. In a second step, the blocks are replaced by their equivalent Generalized Stochastic Petri Nets to build up the detailed model of the architecture. The evaluations performed permit identification of a subset of architectures whose availability meets the dependability requirements and also identification of the best architecture among this subset}, added-at = {2014-10-15T21:48:17.000+0200}, author = {Kanoun, K. and Borrel, M. and Morteveille, T. and Peytavin, A.}, biburl = {https://www.bibsonomy.org/bibtex/231bfb596396a1cfcdc8f334955b99dff/avail_map_stud}, description = {IEEE Xplore Abstract - Availability of CAUTRA, a subset of the French air traffic control system}, doi = {10.1109/12.769435}, interhash = {7784461cd6aa9d4d049a088063b9ed47}, intrahash = {31bfb596396a1cfcdc8f334955b99dff}, issn = {0018-9340}, journal = {Computers, IEEE Transactions on}, keywords = {availability}, month = may, number = 5, pages = {528-535}, timestamp = {2014-10-15T21:48:17.000+0200}, title = {Availability of CAUTRA, a subset of the French air traffic control system}, url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=769435}, volume = 48, year = 1999 }