any types
document
image
pdf
--------------
3d
archive
audio
blog
braille music
collection
crossmedia
course
document
event
epub
excel
flash
forum
groups
html
image
page
pdf
playlist
slide
smil
tool
video
deep search
New Menu
Home
Events
DISIT Overview
Subscription & Registration
News Blog
Contacts and Assessment
Partners
Research
Industria 4.0
Big Data
Smart City: Km4City
Projects
Sii-Mobility
Ontologies
Recent Activities
Publications
Past Activities
Innovation
Disit Services OnLine
DISIT Tools
Services and Networks
White papers
Italy of Innovators Awards
Mobile App
Open Source
Education and Courses
All Courses
Thesis & Stages at DISIT
Sistemi Distribuiti
Big Data Architectures
Security and Knowledge Management
Master Big Data, MABIDA
KNOWLEDGE MANAGEMENT and PROTECTION SYSTEMS
Sistemi Operativi
PhD Courses
Accesso al DISIT
HowTo
Ricerca Avanzata di contenuti
Help on Search
Social Graph
Player and Tools
Mobile Content Organizer
QR and GPS
Services
Workshop on Using Smart City API 2017
Smart City and Big Data, 2015 Firenze
Supported Conferences
English (en-US)
Italiano (it)
Log in/Create account
RAISSS project: Report of a comparative analysis of the Interlocking Systems
Actions
Recommend
0
Related objects by text
Maintenance and Emergency Management ...
SMAU Florence: Maintenance smart for ...
Ontology Building vs Data Harvesting ...
Sistema Flessibile per la Gestione di ...
Modeling Performing Arts Metadata and ...
more
Comments
Login
or
Register
to add comments
collection's Playback
Metadata
Metadata languages
Some of these metadata have been automatically translated. Original metadata are in
English
.
Title
Projet de RAISSS: Rapport d'une analyse comparative des systèmes de verrouillage
Subject
Verrouillage Systems, RAISSS: signalisation ferroviaire: sécurité et sûreté
Description
Signalisation est la clé de voûte du système de transport ferroviaire et d'ailleurs, le système de verrouillage agit un rôle central octroi des questions clés telles la sécurité de l'ensemble du système. Afin de développer un nouveau système de verrouillage, en plus d'étudier les principes de verrouillage et d'avoir un fond raisonnable dans l'architecture assistée par ordinateur, nous devons apprendre à partir de la proposition de l'état - of-the- art des chemins de fer existants vendeur?. Pour couvrir le sujet, ce rapport regroupe tous les principaux aspects qui ont trait à un choix de celles des systèmes d'interverrouillage les plus utilisés en Europe. Cela inclut l'architecture globale, la politique faute de résilience, logiciel utilisé pour mettre en œuvre les principales fonctions et d'interagir avec les opérateurs ferroviaires. Étant SIL4 systèmes classée, ils ont des caractéristiques couramment tels que:? le processus de développement doivent suivre V et le modèle V;? méthodes formelles pour la spécification, la validation, la vérification est obligatoire. On remarque aussi que la logique de verrouillage? la question centrale - est généralement un modèle abstrait du circuit de relais en raison du chemin de fer bien établie de la connaissance de l'ingénierie?. En effet, le principal dialecte est le schéma de commande ou un à une translation de l'équation booléenne de code. Inversement certains systèmes récents utilisent le nouveau paradigme de la conception orientée objet qui conduit à utiliser un diagramme de modèle d'objet ( et des outils relatifs à la génération de code ) comme les diagrammes d'états Harel? S ou langage propriétaire comme ObjRail. Le document est structuré en trois sections principales aux paragraphes relatifs:? Chemins de fer fournisseur d? Verrouillage o solutions de signalisation SSI o Siemens ( Ex - Invensys ) Westrace o Invensys Westlock o Alstom Smartlock o Ansaldo STS Acc o AZD Praha Esa 33 o ECM HRM9? D'autres systèmes o Thales Elektra o Prorail Movares o Bombardier Transport Ebi -lock? considération finale
Technical
N° accesses
1296
Format
document
Type
pdf
Available platforms
PC, iPhone/iPad, Android, Windows Phone 7
Upload date
Tues, 2014-04-22 12:49
Group
General management
Published by
UNIFI
Upload user
root
Original filename
Rapporto di analisi comparata di Sistemi di Interlocking.pdf
Short url
http://www.disit.org/6042
Content-url
link to this content
QR code
axoid
urn:axmedis:00000:obj:1d485e7d-5f12-4bb9-8fca-ee16be1ee1cc
Classification
Creator
Imad Zaza, Paolo Nesi
Date
19/04/2013
Language
en
Taxonomy
research topics
/
formal methods
Taxonomy
application fields
/
industrial application
Taxonomy
application fields
/
railways systems
Taxonomy
application fields
/
real time systems
Taxonomy
project kind
/
Regional
Taxonomy
content kind
/
report
Taxonomy
models and systems
/
software engineering
Taxonomy
research topics
/
software engineering
Taxonomy
models and systems
/
software specification
Taxonomy
application fields
/
transport systems
Taxonomy
application fields
/
transport systems
Original metadata language
en
IPR information
Public
Yes
Location
Javascript is required to view this map.
Actions
All tags:
None
Login
or
register
to tag items
Average:
0
Your rating:
None
Submitted by root on Tues, 2014-04-22 12:49
Recommend
Download for PC
Download MPEG21 for PC
View QR code for this content
Search Filter
Content
Featured
Popular
Most Viewed (last 500)
Most Viewed All (last 500)
Less Popular
Last Posted
Top Rated
Location
Timeline
Preview & description
Embed
Copy HTML to clipboard
Cancel
Organize Personal Collection
Select resources to add to collections
Do you really want to start
from scratch?
Classification