Problems of Managing Technical Assets in Railway Domain

2022 ◽  
pp. 3-14
Author(s):  
Igor Borisovich Shubinsky ◽  
Alexei Mikhailovitch Zamyshlaev
Keyword(s):  
Railway Domain

Ontology netword analysis for safety learning in the railway domain

2016 ◽  
pp. 2937-2942
Author(s):  
Miguel Figueres-Esteban ◽  
Peter Hughes ◽  
Coen van
Keyword(s):  
Railway Domain

Research on Semantic Retrieval System for the Document Knowledge Based on Domain Ontology

2011 ◽  
Vol 204-210 ◽  
pp. 2171-2175
Author(s):  
Zi Yu Liu ◽  
Dong Li Zhang ◽  
Xue Hui Li
Keyword(s):  
High Speed ◽  
Retrieval System ◽  
Domain Ontology ◽  
Experimental Results ◽  
Semantic Retrieval ◽  
High Speed Railway ◽  
Knowledge Based ◽  
Main Components ◽  
Railway Domain ◽  
Concept Similarity

Domain ontology can effectively organize the knowledge of that domain and make it easier to share and reuse. We can build domain ontology on thesaurus and thematic words and index document knowledge using domain ontology. Under which this paper designs a semantic retrieval system for the document knowledge based on domain ontology, and the system consists of four main components: ontology query, semantic precomputation for document and the concept similarity, semantic extended search and reasoning search. Finally, this paper makes an experiment on high-speed railway domain. The experimental results show that the developed semantic retrieval system can reach the satisfied recall and precision.

scholarly journals Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl

2013 ◽  
pp. 178-194 ◽  
Author(s):  
Phillip James ◽  
Alexander Knapp ◽  
Till Mossakowski ◽  
Markus Roggenbach
Keyword(s):  
Domain Specific Languages ◽  
Domain Specific ◽  
Railway Domain

scholarly journals On the Industrial Uptake of Formal Methods in the Railway Domain

2018 ◽  
pp. 20-29 ◽  
Author(s):  
Davide Basile ◽  
Maurice H. ter Beek ◽  
Alessandro Fantechi ◽  
Stefania Gnesi ◽  
Franco Mazzanti ◽  
...  
Keyword(s):  
Formal Methods ◽  
Railway Domain

The Role of Formal Methods in Software Development for Railway Applications

2014 ◽  
pp. 1103-1118
Author(s):  
Alessandro Fantechi
Keyword(s):  
Model Checking ◽  
Software Development ◽  
Formal Verification ◽  
Formal Methods ◽  
Industrial Application ◽  
Safety Certification ◽  
Software Designers ◽  
Recent Trends ◽  
Railway Domain

Formal methods for thirty years have promised to be the solution for the safety certification headaches of railway software designers. This chapter looks at the current industrial application of formal methods in the railway domain. After a recall of the dawning of formal methods in this domain, recent trends are presented that focus in particular on formal verification by means of model checking engines, with its potential and limitations. The paper ends with a perspective into the next future, in which formal methods will be expected to pervade in more respects the production of railway software and systems.

Designing Usable Interactive Systems within the Railway Domain

2012 ◽  
pp. 317-326
Author(s):  
Nina Jellentrup ◽  
Michael Meyer zu Hörste
Keyword(s):  
Communication Systems ◽  
System Development ◽  
Interactive Systems ◽  
Interactive System ◽  
Quality Attribute ◽  
Information And Communication ◽  
Computer Based ◽  
Train Drivers ◽  
Technical Functions ◽  
Railway Domain

Train drivers as well as signallers interact with several computer based information and communication systems to ensure safe and effective train operations. So far the technical progress mostly determines the design of such interactive systems and requirements out of a human factors perspective are not integrated. Beside the development of technical functions it is essential to take the usability as a quality attribute of every interactive system into account. If the usability is not considered during system development, it could occur that there are several functions available within a system but the user does not know how to use them in an efficient way. This chapter describes a psychological approach to design or redesign usable interactive systems within the railway domain. Some examples will be discussed to demonstrate the approach and the results.

The Role of Formal Methods in Software Development for Railway Applications

2012 ◽  
pp. 282-297 ◽  
Author(s):  
Alessandro Fantechi
Keyword(s):  
Model Checking ◽  
Software Development ◽  
Formal Verification ◽  
Formal Methods ◽  
Industrial Application ◽  
Safety Certification ◽  
Software Designers ◽  
Recent Trends ◽  
Railway Domain

Formal methods for thirty years have promised to be the solution for the safety certification headaches of railway software designers. This chapter looks at the current industrial application of formal methods in the railway domain. After a recall of the dawning of formal methods in this domain, recent trends are presented that focus in particular on formal verification by means of model checking engines, with its potential and limitations. The paper ends with a perspective into the next future, in which formal methods will be expected to pervade in more respects the production of railway software and systems.

Sign in / Sign up

Export Citation Format

Share Document