ANSALDO: BACKGROUND experience in dependable Signalling Automation Systems experience in dependable Management Automation Systems experience in installation,

  • View
    213

  • Download
    1

Embed Size (px)

Text of ANSALDO: BACKGROUND experience in dependable Signalling Automation Systems experience in dependable...

  • Slide 1
  • ANSALDO: BACKGROUND experience in dependable Signalling Automation Systems experience in dependable Management Automation Systems experience in installation, commissioning, Validation Diagnostic and Maintenance of large automation systems for rail
  • Slide 2
  • ANSALDO: ARCHITECTURES FOR DEPENDABLE INFRASTRUCTURES
  • Slide 3
  • Ansaldo: Architectures for dependable infrastructures Architecture FEASIBILITY STUDIES use of COTS DEVELOPMENT OF THE INFRASTRUCTURE (HW+SW) Development of typical APPLICATION with application SWs belonging to systems of different integrity level VALIDATION
  • Slide 4
  • Ansaldo: Architectures for dependable infrastructures SEVERE SAFETY REQUIREMENTS (reference to CENELEC SIL 4 for RAIL) SEVERE AVAILABILITY REQUIREMENTS HIGH FAULT TOLERANT PERFORMANCE GRACEFULL DEGRADATION
  • Slide 5
  • Ansaldo: Architectures for dependable infrastructures PROTECTED COMMUNICATION BETWEEN SYSTEMS THROUGH CLOSED AND OPEN NETWORKS COMMUNICATION BETWEEN SIGNALLING EMBEDDED SYSTEMS COMMUNICATION BETWEEN SIGNALLING AND MANAGEMENT EMBEDDED SYSTEMS
  • Slide 6
  • Ansaldo: Architectures for dependable infrastructures THIS LEADS TO APPLICATION OF DIFFERENT INTEGRITY LEVEL IN THE SAME PLATFORMS, SPATIAL AND TEMPORAL FIREWALLS TO PROTECT THE HIGHER INTEGRITY LEVEL APPLICATIONS
  • Slide 7
  • Ansaldo: VITAL SW development and VALIDATION... UML METHODS FAULT TREE ANALISYS FOR TOP DOWN VALIDATION REAL TIME UML AUTOMATIC CODING Sw TEST cases, derived automatically by the selected methods and tools SYSTEM SIMULATION AND MODELLING
  • Slide 8
  • Ansaldo: SW VALIDATION: EVENT TREE ANALYSIS EXTENDED TO SW VALIDATION SW TEST CASES, DERIVED AUTOMATICALLY BY THE SELECTED METHODS AND TOOLS: the ANSALDO interest is in using the methods and tools in the validation of a SW application
  • Slide 9
  • WE ARE DEALING WITH LARGE EMBEDDED SYSTEM CONCERNING : SAFE SIGNALLING route control, train protection SUPERVISION AND MANAGEMENT OF RAIL & TRAFFIC PLANT SURVEILLANCE TRANSPORT BUSENESS
  • Slide 10
  • A possible example of APPLICATIONs of different Integrity level in the same VITAL COMPUTER : SIGNALLING APPLICATION (e.g. : Central Interlocking functions and Radio Block Center functions in ERTMS level 3) DIAGNOSTICS & SUPPORT to MAINTENANCE
  • Slide 11
  • ANSALDO DIAGNOSTICS & MAINTENANCE
  • Slide 12
  • INTELLIGENT SUPPORT TO. DIAGNOSTICS ALSO FOR : PREDICTIVE MAINTENANCE
  • Slide 13
  • INTELLIGENT SUPPORT ALSO TO. design (based on RAMS data from field) data preparation for configuration of systems data bases of data collected from field methods to derive RAMS parameters from field data configuration of systems in factory or in field commissioning of Large Automation Plants validation
  • Slide 14
  • INTELLIGENT SUPPORT... suitable data bases (information is large, and differentiated for different users belonging to suppliers and clients )
  • Slide 15
  • INTELLIGENT SUPPORT.. focal topics : open infrastructures wireless communication proactive computing embedded systems critical infrastructures interdependencies
  • Slide 16
  • INTELLIGENT SUPPORT... dependability: fault forecasting for System evaluation security requirement are essential (e.g. access to reserved information must be forbidden to non authorised personnel, connection with subsystem of different integrity level is necessary, intrusion of hackers must be avoided, etc)
  • Slide 17
  • INTELLIGENT SUPPORT ansaldo would like... Participate to the NoE De-fine Participate to the IP De-sire for design & development and testing of suitable methods
  • Slide 18
  • Sw Architecture for INTELLIGENT SUPPORT:
  • Slide 19
  • INTELLIGENT SUPPORT: low integrity Sw Requirement low cost validation for NON VITAL APPLICATION, even when implemented in vital computers
  • Slide 20
  • INTELLIGENT SUPPORT: Additional lower integrity Sw Requirements INCREMENTALITY: able to allow in future new application services even not initially defined by the specification
  • Slide 21
  • INTELLIGENT SUPPORT: Sw Architecture Requirements PERVASIVITY: able to be used also by other clients with no or minor constraints on their platforms and SW architectures
  • Slide 22
  • INTELLIGENT SUPPORT: Sw Architecture Requirements DECENTRALISATION able to avoid a unique center and a unique network center to manage the exchange of data between the users
  • Slide 23
  • INTELLIGENT SUPPORT: Sw Architecture Requirements EXTENSIBILITY able to deliver application services both on old formats or protocols and on new ones (generally correspondent to new services)
  • Slide 24
  • INTELLIGENT SUPPORT: Sw Architecture Requirements INTEROPERABILITY open to all potential new users and services suppliers
  • Slide 25
  • INTELLIGENT SUPPORT: Sw Architecture Requirements OPEN TO EXTERNAL able to provide its services and information through the network, accessible through Internet (Buseness to buseness Portal)
  • Slide 26
  • INTELLIGENT SUPPORT: Sw Architecture Requirements SECURITY to protect the exchange of information with external to protect the internal information not authorised for external delivery to protect the internal information from intruders
  • Slide 27