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
Projeto RAISSS: Relato de uma análise comparativa dos sistemas de bloqueio
Subject
Bloqueio Systems, RAISSS: Sinalização Ferroviária: SEGURANÇA SEGURANÇA E
Description
Sinalização é a pedra angular do sistema de transporte ferroviário e, além disso, o sistema de bloqueio atua um papel central concessão das questões-chave como a segurança de todo o sistema. A fim de desenvolver um novo sistema de intertravamento, além de estudar os princÃpios interligados e têm um fundo razoável no computador baseado arquitetura temos que aprender com o? S proposta state-of -the-art do fornecedor ferrovias existentes. Para cobrir o assunto, este relatório reúne todos os principais aspectos que se relacionam com uma escolha de umas das sistemas de bloqueio mais utilizados na Europa. Isto inclui a arquitetura geral, a polÃtica de resiliência a falhas, software usado para implementar as funções principais e de interagir com os operadores ferroviários. Sendo SIL4 sistemas de classificados, eles têm algumas caracterÃsticas comuns, tais como:? o processo de desenvolvimento tem que seguir V & modelo V;? métodos formais para especificação, validação, verificação é obrigatória. Nota-se também que a lógica de bloqueio? a questão central - geralmente é um modelo abstrato do circuito do relé devido conhecimento de engenharia da ferrovia bem estabelecida s?. Na verdade, o dialeto principal é o diagrama de escada ou 1-1 tradução a partir da equação booleana para código. Por outro lado alguns sistemas mais recentes usam o novo paradigma de projeto orientado a objetos que leva a usar um diagrama de modelo de objeto (e ferramentas relativas à geração de código) como statecharts Harel? S ou linguagem proprietária como ObjRail. O documento está estruturado em três grandes seção com subseções relativos:? Ferrovias fornecedor? S bloqueio soluções o Sinalização SSI o Siemens (Ex- Invensys ) Westrace o Invensys Westlock o Alstom SmartLock O Ansaldo STS Prec o AZD Praha Esa 33 o ECM HRM9? outros sistemas o Thales Elektra O ProRail Movares o Bombardier Transportation Ebi -lock? considerações finais
Technical
N° accesses
1297
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