Open Workshop,Pisa, November 2002 VI Framework: Integrated Project Dependability Foundations for Information infrastructures - Network of Excellence DeFINE CESI position in DeFINE Giovanna Dondossola Automation and Information Business Unit
Open Workshop, Pisa, November 2002 VI Framework DeFINE 2 CESI history large investments in testing facilities to qualify Italian electromechanical Industry skills on power system analysis for the development of the national grid CESI was founded in 1956 with the support of the Italian electrical utilities and electromechanical manufacturers and aimed at concentrating:
Open Workshop, Pisa, November 2002 VI Framework DeFINE 3 Our history Our history (continued) widening the range of services offered to the national & international market in the electro- energetic and environmental sectors developing “full range approaches and solutions” to the market r With the liberalization of the Italian Electrical System Enel Research is incorporated in CESI with the aim of:
Open Workshop, Pisa, November 2002 VI Framework DeFINE 4 The shareholders Enel 26% Terna 15% Interpower3% GRTN, Sogin12% ABB, Alstom, Ansaldo, Pirelli, Vatech, Siemens 29% Edison, Sondel, Aem Milan, Aem Turin, Endesa Italia, Eurogen 15% Share capital: 8.55 Million Euro Equity: Million Euro
Open Workshop, Pisa, November 2002 VI Framework DeFINE 5 Personnel ( ): 1052 Our figures Turnover 2001:123.7 million € Facilities area: 300,000 m 2
Open Workshop, Pisa, November 2002 VI Framework DeFINE Our organization structure T & D Networks D. Lucarella Managing Director G. Santagostino Environment A. Pigini Industry, End Uses & Renewables A. Porrino Generation P. Motta Tests & Components V. Scarioni Certification U. Colombo Personnel, Organization & Quality L. Anelli Sales F. Giornelli Research & Product Development R. Buccianti Administration & Finance V. Della Bona Automation & Information Techn. A.R. Tiramani Business Units Departments
Open Workshop, Pisa, November 2002 VI Framework DeFINE 7 Research Goals To address the evolution of tools supporting dependability in electric automation systems by including support to dependability in pre- existing development tools by developing techniques allowing to improve the efficiency of formal analysis processes by developing efficient fault tolerance solution applicable to real time control
Open Workshop, Pisa, November 2002 VI Framework DeFINE 8 Methods and Tools UML-CD Customized UML-CD Predefined TRIO Customized TRIO Parametric GSPN Customized GSPN UML Behavioural diagrams Modeller experience Rules and predefined models Automatic translation Customization guidelines Customization and refinement Info from customization
Open Workshop, Pisa, November 2002 VI Framework DeFINE 9 Technologies Rigorous design & Formal V&V temporal logic approach: Modular TRIO dialect [FAST European project construction of dependability strategy specifications application independent vs. application dependent parts techniques for pruning the model generation process (e.g. use of Abstract Test Cases) automatic generation of fault injection cases from specification testing and simulation with fault injection risk analysis methodology (collaboration with JRC) threats, vulnerability, attacks characterisation security functions and their correlation to threats/attacks
Open Workshop, Pisa, November 2002 VI Framework DeFINE 10 Cont. Fault tolerance mechanisms for tolerating transient and permanent faults in real time control intrusion tolerance components for protecting the automation infrastructure from external/internal malicious agents Evaluation of fault tolerance solutions measures from modelling
Open Workshop, Pisa, November 2002 VI Framework DeFINE 11 Central Topics Open information infrastructure securing the open communication infrastructure for providing the Level of Service required by Remote Functions of Electric System Embedded systems efficient faul tolerance satisfying real time constraints of cyclic applications Critical infrastructure interdependencies Electric Network & ICT infrastructure
Open Workshop, Pisa, November 2002 VI Framework DeFINE 12
Open Workshop, Pisa, November 2002 VI Framework DeFINE 13 Editor Window: PSAS System
Open Workshop, Pisa, November 2002 VI Framework DeFINE 14
Open Workshop, Pisa, November 2002 VI Framework DeFINE 15 CESI event CESI is member of Cigré WG on Information technology development and its effect on the economy, security and market operation of power systems representatives from several European electric utilities a main goal: survey the technological development of Information Technology (IT) and its future trend in power sector next meeting in January 2003 hosted by CESI, involving major IT producers for power systems (ABB, SIEMENS, ALSTOM, SELTA,...) and Operators (GRTN)