Flexible development of dependability services: An experience derived from energy automation systems

Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002

Volumn , Issue , 2002, Pages 86-93

  De Florio, V ^a   Donatelli, Susanna ^b   Dondossola, Giovanna ^c  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b UNIVERSITY OF TURIN   (Italy)

^c CESI   (Italy)

Author keywords

Automation; Bismuth; Conferences; Power engineering and energy; Systems engineering and theory

Indexed keywords

BISMUTH; PETRI NETS; STOCHASTIC SYSTEMS;

AUTOMATION SERVICES; AUTOMATION SYSTEMS; CONFERENCES; FLEXIBLE DEVELOPMENT; POWER ENGINEERING AND ENERGIES; STOCHASTIC PETRI NETS; SYSTEMS ENGINEERING AND THEORIES;

AUTOMATION;

EID: 78249275966     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2002.999826     Document Type: Conference Paper

References (7)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. F rancesc hinis. Modelling with Generalized Stochastic Petri Nets. J. Wiley, New York, N.Y., USA, 1994.
2. J. Botti, F. Cassinari, V. De Florio, G. Deconinck, S. Donatelli, A. Klein, E. Turner, and E. Verhulst. D1.1 Requirement Specification, October 1999. TIRAN Deliverable.
3. J. Botti, V. De Florio, G. Deconinck, R. Lan w are-ins, F. Cassinari, S. Donatelli, A. Bobbio, A. Klein, H. Kufner, E. Thurner, and E. Verhulst. The TIRAN approach to reusing software implemented fault tolerance. In Proc. of the 8th Enomicro Workshop on Parallel and Distri bated Processing (Enro-PDP'OO), pages 325 332, Rhodos, Greece, January 2000. IEEE Comp. Soc. Press.
4. G. Chiola, G. Francesc hinis,R, Gaeta, and M. Ribaudo. GreatSPN 1.7: GRaphical Editor and Analyzer for Timed and Stoc hastic Petri Nets. Performance Eaalnation, 1(24):189 219, 1996.
5. V. De Florio. A Fanlt-Tolerance Lingnistic Strnctnre for Distribnted Applications. PhD thesis, Dept. of Electrical Engineering, Katholieke Universiteit Leuven, October 2000.
6. V. De Florio and G. Deconinck. On some key requirements of mobile application software. In Proc. of the 9th Annnal IEEE International Gonferenc a and Workshop on the Engineering of Gompnter Ease dSystems (EGBS), Lund, Sweden, 2002. IEEE Comp. Soc. Press.
7. G. Deconinck, J. Botti, F. Cassinari, V. De Florio, and R. Lauw ereins. Stable memory in substation automation: a case study. In Proc. of the 28th mt. Sympsinm on Fanlt-T oleranCompnting (FTGS-28), pages 452 457, Munich, Germany, June 1998. IEEE Comp. Soc. Press.