{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T05:47:31Z","timestamp":1740894451450,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231684"},{"type":"electronic","value":"9783540259398"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25939-8_6","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T18:11:10Z","timestamp":1294510270000},"page":"123-143","source":"Crossref","is-referenced-by-count":0,"title":["Architecting Distributed Control Applications Based on (Re-)Configurable Middleware"],"prefix":"10.1007","author":[{"given":"Geert","family":"Deconinck","sequence":"first","affiliation":[]},{"given":"Vincenzo","family":"De Florio","sequence":"additional","affiliation":[]},{"given":"Ronnie","family":"Belmans","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/67.893351","volume":"14","author":"M. Amin","year":"2001","unstructured":"Amin, M.: Towards self-healing energy infrastructure systems. IEEE Computer Applications in Power\u00a014(1), 20\u201328 (2001)","journal-title":"IEEE Computer Applications in Power"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Caird, K.: Integrating Substation Automation. In: IEEE Spectrum, August 1997, pp. 64\u201369 (1997)","DOI":"10.1109\/6.609481"},{"issue":"4","key":"6_CR3","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MCAP.2002.1046107","volume":"15","author":"T.E. Dy-Liacco","year":"2002","unstructured":"Dy-Liacco, T.E.: Control centers are here to stay. IEEE Computer Appl. in Power\u00a015(4), 18\u201323 (2002)","journal-title":"IEEE Computer Appl. in Power"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Deconinck, G., De Florio, V., Belmans, R., Dondossola, G., Szanto, J.: Experiences with integrating recovery strategies into a primary substation automation system. In: Proc. of Int. Conf. on Dependable Systems and Networks (DSN 2003), Dependable Computing and Communications Symp., San Francisco, CA, June 22-25, pp. 80\u201385 (2003)","DOI":"10.1109\/DSN.2003.1209919"},{"issue":"2","key":"6_CR5","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1109\/TR.2002.1011520","volume":"51","author":"G. Deconinck","year":"2002","unstructured":"Deconinck, G., De Florio, V., Botti, O.: Software-Implemented Fault Tolerance and Separate Recovery Strategies Enhance Maintainability. IEEE Trans. Reliability\u00a051(2), 158\u2013165 (2002)","journal-title":"IEEE Trans. Reliability"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Deconinck, G., De Florio, V., Lauwereins, R., Belmans, R.: A Software Library, a Control Backbone and User-Specified Recovery Strategies to Enhance the Dependability of Embedded Systems. In: Proc. 25th Euromicro Conf., Worksh. on Dependable Computing Systems, Milan, Italy, September 1999, pp. II 98-104 (1999)","DOI":"10.1109\/EURMIC.1999.794767"},{"key":"6_CR7","unstructured":"De Florio, V.: A Fault Tolerance Linguistic Structure for Distributed Applications., PhD thesis, Katholieke Universiteit Leuven, Belgium (October 2000)"},{"key":"6_CR8","volume-title":"Fault-tolerant Computer System Design","author":"D.K. Pradhan","year":"1996","unstructured":"Pradhan, D.K.: Fault-tolerant Computer System Design. Prentice Hall, Upper Saddle River (1996)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"De Florio, V., Deconinck, G.: REL: A Fault-Tolerance Linguistic Structure for Distributed Applications. In: Proc. 9th IEEE Conf. and Workshop on Engineering of Computer-Based Systems (ECBS 2002), Lund, Sweden, April 2002, pp. 51\u201358 (2002)","DOI":"10.1109\/ECBS.2002.999822"},{"key":"6_CR10","unstructured":"Gargiuli, R., Mirandola, P.G., et al.: ENEL Approach to Computer Supervisory Remote Control of Electric Power Distribution Network. In: Proc. 6th IEE Int. Conf. on Electricity Distribution (CIRED 1981), Brighton (UK), pp. 187\u2013192 (1981)"},{"key":"6_CR11","doi-asserted-by":"crossref","first-page":"648","DOI":"10.1007\/978-1-4615-1663-7","volume-title":"Distributed Systems for System Architects","author":"P. Ver\u00edssimo","year":"2001","unstructured":"Ver\u00edssimo, P., Rodrigues, L.: Distributed Systems for System Architects, p. 648. Kluwer Academic Publishers, Boston (2001)"},{"key":"6_CR12","unstructured":"Nizzoli, G.P., Mazzini, G.: Map Discovery Procedures in Internet Protocol Version 6. In: Proc. IEEE 10th Int. Conf. on software, telecommunications and computer networks (SOFTCOM 2002), Split, Croatia, October 2002, pp. 204\u2013208 (2002)"},{"key":"6_CR13","unstructured":"Mazzini, G., Nizzoli, G.P., Bergamo, P.: Measurements of Redundant Source-Routing. In: Proc. IEEE 10th Int. Conf. on software, telecommunications and computer networks (Soft- COM 2002), Split, Croatia, October 2002, pp. 95\u201399 (2002)"},{"key":"6_CR14","unstructured":"Tirtea, R., Deconinck, G., De Florio, V., Belmans, R.: QoS monitoring at middleware level for dependable distributed automation systems. In: Suppl. Proc. 13th Int. Symp. on Software Reliability Engineering (ISSRE 2002), Annapolis, Maryland, November 2002, pp. 217\u2013218 (2002)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Tirtea, R., Deconinck, G., De Florio, V., Belmans, R.: Using Resource Monitoring to Select Recovery Strategies. Accepted for Reliability and Maintainability Symposium (RAMS 2004), January 26-29, IEEE Reliability Soc., Los Angeles (2004)","DOI":"10.1109\/RAMS.2004.1285459"},{"key":"6_CR16","unstructured":"International Electrotechnical Commission, \u201cIEC60300: Dependability Management\u201d, http:\/\/www.iec.ch"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Mandrioli, D., Morzenti, A.: TRIO a Logic Language for Executable Specifications of Real-time Systems. Journal of Systems and Software (June 1990)","DOI":"10.1016\/0164-1212(90)90074-V"},{"key":"6_CR18","unstructured":"Bernardi, S.: \"Building Stochastic Petri Net models for the verification of complex software systems,\u201d Ph.D. Thesis, University of Turin (Italy), Dept of Informatics (2003)"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Donatelli, S., Merseguer, J.: From UML Sequence Diagrams and StateCharts to analysable Petri Net models. In: ACM Proc. 3rd Int. Worksh. on Software and Performance (WOSP 2002), Rome (Italy), July 2002, pp. 35\u201345 (2002)","DOI":"10.1145\/584369.584376"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Donatelli, S.: Building Petri net scenarios for dependable automation systems. In: IEEE Proc. 10th Int. Workshop on Petri Nets and Performance Models (PNPM 2003), Urbana-Champaign, Illinois (USA), September 2003, pp. 72\u201381 (2003)","DOI":"10.1109\/PNPM.2003.1231544"},{"key":"6_CR21","unstructured":"DepAuDE, \u201cDependability requirements in the developments of wide-scale distributed automation system: a methodological guidance,\u201d Deliverable D1.4, project IST-2000-25434, available from http:\/\/www.depaude.org"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-46428-X_7","volume-title":"Fundamental Approaches to Software Engineering","author":"G. Dondossola","year":"2000","unstructured":"Dondossola, G., Botti, O.: System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol.\u00a01783, pp. 82\u201396. Springer, Heidelberg (2000)"},{"key":"6_CR23","unstructured":"Maestri, F., Meda, R., Redaelli, G.L.: Un ambiente di sviluppo di funzioni applicative strutturate per sistemi di automazione di impianti ENEL. Automazione e strumentazione (December 1997) (in Italian)"},{"key":"6_CR24","unstructured":"Meda, R., Bertani, A., Colombo, P., D\u2019Imporzano, S., Perna, P.: Il Sistema di Protezione e Controllo della Cabina Primaria., ENEL internal report (February 1999) (in Italian)"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Ciapessoni, E., Maestri, F., et al.: Partitioning of Hierarchical Automation Systems. In: Proc. Euromicro Conf. on Real-time Systems, Delft, The Netherlands, June 2001, pp. 143\u2013153 (2001)","DOI":"10.1109\/EMRTS.2001.934018"},{"key":"6_CR26","unstructured":"Moro, A.: Traduttore delle reti ASFA. In: Tesi di laurea, Politecnico di Milano, Milan, Italy (1998) (in Italian)"},{"key":"6_CR27","unstructured":"Anonymous, \u201cEditor Grafico di ASFA \u2013 Manuale Utente\u201d, ENEL internal report, ENEL SpA, Milan, Italy, 1995 (in Italian)"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Deconinck, G., Botti, O., Cassinari, F., De Florio, V., Lauwereins, R.: Stable Memory in Substation Automation: a Case Study. In: Proc. 28th Ann. Int. Symp. on Fault-Tolerant Computing (FTCS), Munich, Germany, June 1998, pp. 452\u2013457 (1998)","DOI":"10.1109\/FTCS.1998.689497"},{"key":"6_CR29","volume-title":"Software Fault Tolerance","author":"Y. Huang","year":"1995","unstructured":"Huang, Y., Kintala, C.M.R.: Software Fault Tolerance in the Application Layer. In: Lyu, M. (ed.) Software Fault Tolerance, John Wiley & Sons, Chichester (March 1995)"},{"volume-title":"Handbook of Software Reliability Engineering","year":"1995","key":"6_CR30","unstructured":"Lyu, M.R. (ed.): Handbook of Software Reliability Engineering. McGraw-Hill, New York (1995)"},{"issue":"6","key":"6_CR31","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1109\/71.774907","volume":"10","author":"Z.T. Kalbarczyk","year":"1999","unstructured":"Kalbarczyk, Z.T., Iyer, R.K., Bagchi, S., Whisnant, K.: Chameleon: A Software Infrastructure for Adaptive Fault Tolerance. IEEE Trans. On Parallel and Distributed Systems\u00a010(6), 560\u2013579 (1999)","journal-title":"IEEE Trans. On Parallel and Distributed Systems"},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"Kim, K.H.: ROAFTS: A Middleware Architecture for Real-time Object-oriented Adaptive Fault Tolerance Support. In: Proc. HASE 1998 (IEEE CS 1998 High-Assurance Systems Engineering Symp.), Washington, D.C., November 1998, pp. 50\u201357 (1998)","DOI":"10.1109\/HASE.1998.731595"},{"issue":"1","key":"6_CR33","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/TC.2003.1159752","volume":"52","author":"R. Yansong","year":"2003","unstructured":"Yansong, R., Bakken, D., Courtney, T., Cukier, M., Karr, D.A., Rubel, P., Sabnis, C., Sanders, W.H., Schantz, R.E.: AQuA: an adaptive architecture that provides dependable distributed objects. IEEE Trans. on Computers\u00a052(1), 31\u201350 (2003)","journal-title":"IEEE Trans. on Computers"},{"key":"6_CR34","first-page":"78","volume":"47","author":"J.-C. Fabre","year":"1998","unstructured":"Fabre, J.-C., P\u00e9rennou, T.: A Metaobject Architecture for Fault-Tolerant Distributed Systems: The FRIENDS Approach. IEEE Trans. on Computers (Special issue on dependability of computing systems)\u00a047, 78\u201395 (1998)","journal-title":"IEEE Trans. on Computers (Special issue on dependability of computing systems)"},{"key":"6_CR35","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1405.001.0001","volume-title":"The Art of the Metaobject Protocol","author":"G. Kiczales","year":"1991","unstructured":"Kiczales, G., des Rivi\u00e8res, J., Bobrow, D.G.: The Art of the Metaobject Protocol. MIT Press, The (1991)"},{"key":"6_CR36","unstructured":"Object Management Group, Fault Tolerant CORBA, V3.0.3 (March 2004), Available from http:\/\/www.omg.org"},{"key":"6_CR37","unstructured":"Object Management Group, Real-time CORBA, V2.0 (November 2003), Available from http:\/\/www.omg.org"},{"key":"6_CR38","unstructured":"Gokhale, A.S., Schmidt, D.C., Cross, J.K., Andrews, C., Fernandez, S.J., Natarajan, B., Wang, N., Gill, C.D.: Towards Real-time Support in Fault-tolerant CORBA. In: Proc. IEEE Workshop on Dependable Middleware-Based Systems, Washington, D.C. (June 2002)"},{"key":"6_CR39","doi-asserted-by":"crossref","unstructured":"Coen-Porisini, A., Pradella, M., Rossi, M., Mandrioli, D.: A Formal Approach for Designing CORBA based Applications. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a012(2) (April 2003)","DOI":"10.1145\/941566.941567"},{"issue":"6","key":"6_CR40","doi-asserted-by":"publisher","first-page":"580","DOI":"10.1109\/71.774908","volume":"10","author":"D. Powell","year":"1999","unstructured":"Powell, D., Arlat, J., Beus-Dukic, L., Bondavalli, A., Coppola, P., Fantechi, A., Jenn, E., Rab\u00e9jac, C., Wellings, A.: GUARDS: A Generic Upgradeable Architecture for Real-Time Dependable Systems. IEEE Trans. On Parallel and Distributed Systems\u00a010(6), 580\u2013597 (1999)","journal-title":"IEEE Trans. On Parallel and Distributed Systems"},{"volume-title":"ESPRIT Basic Research Series: Predictably Dependable Computing Systems","year":"1995","key":"6_CR41","unstructured":"Randell, B., Laprie, J.-C., Kopetz, H., Littlewood, B. (eds.): ESPRIT Basic Research Series: Predictably Dependable Computing Systems. Springer, Berlin (1995)"}],"container-title":["Lecture Notes in Computer Science","Architecting Dependable Systems II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25939-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T15:09:15Z","timestamp":1740841755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25939-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231684","9783540259398"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25939-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}