open workshop,pisa, november 2002 vi framework: integrated project dependability foundations for...
TRANSCRIPT
Open Workshop,Pisa, November 2002
VI Framework: Integrated ProjectDependability Foundations for Information infrastructures - Network of Excellence
DeFINE
CESICESI
CESI position in DeFINE
Giovanna DondossolaAutomation and Information
Business Unit
7Open Workshop, Pisa, November 2002
VI Framework DeFINE
CESICESI
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
8Open Workshop, Pisa, November 2002
VI Framework DeFINE
CESICESI
Methods and Tools
UML-CD
CustomizedUML-CD
PredefinedTRIO
CustomizedTRIO
ParametricGSPN
CustomizedGSPN
UMLBehavioural
diagrams
Modellerexperience
Rules and predefined models
Automatic translation
Customizationguidelines
Customizationand refinement
Info from customization
9Open Workshop, Pisa, November 2002
VI Framework DeFINE
CESICESI
Technologies Rigorous design & Formal V&V
temporal logic approach: Modular TRIO dialect [FAST European project www.prover.com/FAST
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
10Open Workshop, Pisa, November 2002
VI Framework DeFINE
CESICESI
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 solutionsmeasures from modelling
11Open Workshop, Pisa, November 2002
VI Framework DeFINE
CESICESI
Central Topics
Open information infrastructuresecuring the open communication infrastructure for providing
the Level of Service required by Remote Functions of Electric System
Embedded systemsefficient faul tolerance satisfying real time constraints of cyclic
applications
Critical infrastructure interdependenciesElectric Network & ICT infrastructure
12Open Workshop, Pisa, November 2002
VI Framework DeFINE
CESICESI
13Open Workshop, Pisa, November 2002
VI Framework DeFINE
CESICESI
Editor Window: PSAS System
14Open Workshop, Pisa, November 2002
VI Framework DeFINE
CESICESI
15Open Workshop, Pisa, November 2002
VI Framework DeFINE
CESICESI
CESI event CESI is member of Cigré WG 37-35 on
Information technology development and its effect on the economy, security and market operation of power systems www.cigre-drustvo.si/slokcig/index-ANG
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)