المؤلفون: Evelina Pencheva, Ventsislav Trifonov, Ivaylo Atanasov

المصدر: Proceedings of the XXth Conference of Open Innovations Association FRUCT, Vol 31, Iss 1, Pp 229-236 (2022)

مصطلحات موضوعية: high speed rails, european train control systems, network function virtualization, artificial intelligence, machine learning, future rail mobile communication system, Telecommunication, TK5101-6720

وصف الملف: electronic resource

Relation: https://www.fruct.org/publications/fruct31/files/Pen.pdf; https://doaj.org/toc/2305-7254; https://doaj.org/toc/2343-0737

URL الوصول: https://doaj.org/article/d9ae3462e6de457cac517f6d088c435a

المؤلفون: Martínez Plazas, Laura Natalia

مصطلحات موضوعية: Fixed Block, Moving Block, Communications-Based Train Control (CBTC), European, Train Control Systems (ETCS), Train Control, Automatic Train Operation (ATO), Automatic Train Protection (ATP), Automatic Train Supervision (ATS), Canton de distancia fija, Bloque corredizo (canton glissant), Control de Trenes Basado en Comunicaciones (CBTC), Sistema de Control Ferroviario Europeo (ETCS), Control de trenes, Operación Automática de Trenes (ATO), Protección Automática de Trenes (ATP), Supervisión Automática de Trenes (ATS), Ciencias sociales, Ciencias sociales / Comercio, comunicaciones, transporte, transporte / Transporte ferroviario

جغرافية الموضوع: Colombia

وصف الملف: PDF

Relation: Colfuturo; http://babel.banrepcultural.org/cdm/ref/collection/p17054coll23/id/1417

الاتاحة: http://babel.banrepcultural.org/cdm/ref/collection/p17054coll23/id/1417

المؤلفون: Mona Ahmadi Rad, Michael Hendry, Lianne M. Lefsrud

مصطلحات موضوعية: Human factors, Cognitive impacts, In-cab warning systems, Automated train control systems, Train protection systems

Relation: https://era.library.ualberta.ca/items/10988eee-743e-40af-935e-0e41c3bb59b7

الاتاحة: https://era.library.ualberta.ca/items/10988eee-743e-40af-935e-0e41c3bb59b7
https://doi.org/10.7939/r3-m4gt-v026

المؤلفون: Flammini, Francesco, 1978, Lazzaro, A., Mazzocca, N.

المصدر: International Journal of Safety and Security Engineering. 1(1):77-94

مصطلحات موضوعية: Control Software, Modeling, Railways, Refactoring, Reverse Engineering, Verification, Data structures, Models, Railroad traffic control, Railroads, Software testing, Unified Modeling Language, Complex control logic, Computer-based system, Refactorings, System implementation, Train control systems, Verification activities, control system, logistics, railway, railway construction, software, traffic management, train

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-73680
https://doi.org/10.2495/SAFE-V1-N1-77-94
https://www.witpress.com/elibrary/sse-volumes/1/1/490

المؤلفون: Flammini, Francesco, Senior Lecturer, 1978, Marrone, S., Mazzocca, N., Vittorini, V.

المصدر: Safety and Reliability for Managing Risk. :2675-2683

مصطلحات موضوعية: Bayesian networks, Computer networks, Control system analysis, Control systems, Control theory, Distributed parameter networks, Failure analysis, Fault tree analysis, Graph theory, Inference engines, Intelligent networks, Knowledge based systems, Locomotives, Marine biology, Network management, Petri nets, Quality assurance, Railroad cars, Railroad traffic control, Railroad transportation, Railroads, Reliability analysis, Risk management, Sensitivity analysis, Speech analysis, Speech recognition, Forestry, Case studies, Compositional approaches, Critical control systems, Design trades, Development costs, Distributed heterogeneous systems, Early design stages, European railways, Failure rates, Fault trees, Hardware architectures, Hardware reliabilities, Model systems, Modeling powers, Modeling systems, Real worlds, Reliability requirements, System reliabilities, Train control systems, Reliability, Design tradeoff, Failure rate, Fault-trees, Hardware architecture, Hardware reliability, Heterogeneous systems, Model system, Modeling power, Submodels, System reliability, Data- och informationsvetenskap, Computer and Information Sciences Computer Science

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-73696
https://www.researchgate.net/profile/Francesco_Flammini/publication/203738559_Modeling_system_reliability_aspects_of_ERTMSETCS_by_Fault_Trees_and_Bayesian_Networks/links/56d6f9fb08aebe4638af04dc/Modeling-system-reliability-aspects-of-ERTMS-ETCS-by-Fault-Trees-and-Bayesian-Networks.pdf?origin=publication_detail

المؤلفون: WU, Yongdong, WENG, Jian, TANG, Zhe, LI, Xin, DENG, Robert H.

المصدر: Research Collection School Of Computing and Information Systems

مصطلحات موضوعية: Balise, Cyber-physical system security, ETCS, Derailments, Transportation, Air-gaps, Catastrophic consequences, European Train Control Systems, Rail transport systems, Standard balise, Train control systems, Train derailment, Transport infrastructure, Control systems, Information Security

وصف الملف: application/pdf

Relation: https://ink.library.smu.edu.sg/sis_research/3817; https://ink.library.smu.edu.sg/context/sis_research/article/4819/viewcontent/07534834__1_.pdf

الاتاحة: https://ink.library.smu.edu.sg/sis_research/3817
https://doi.org/10.1109/TITS.2016.2590579
https://ink.library.smu.edu.sg/context/sis_research/article/4819/viewcontent/07534834__1_.pdf

المؤلفون: Alessandro Fantechi, Stefania Gnesi, Gloria Gori

المصدر: Lecture Notes in Computer Science ISBN: 9783031197611
ISoLA 2022-11th International Symposium on Leveraging Applications of Formal Methods, pp. 269–285, Rhodes, Greece, 22-30/10/2022

مصطلحات موضوعية: Dependability assessment, Uncertainty, Train control systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7dacdcf0e262888562090dccd1478e84
https://doi.org/10.1007/978-3-031-19762-8_21

المؤلفون: Hlavchev, Dmytro

مصطلحات موضوعية: system services, on-board computers, automatic train control systems

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3033::15ccde5fb027c03a7e92a4da0d04f98f
http://repository.kpi.kharkov.ua/handle/KhPI-Press/57555

المؤلفون: Mona Ahmadi Rad, Lianne Lefsrud, Michael Hendry

مصطلحات موضوعية: Text mining, Machine learning, Railway accidents, Automated train control systems

Relation: https://era.library.ualberta.ca/items/5ff499e4-d3a5-468e-a06f-118633b380d7

الاتاحة: https://era.library.ualberta.ca/items/5ff499e4-d3a5-468e-a06f-118633b380d7
https://doi.org/10.7939/r3-nk9j-9r08

المؤلفون: Tahvili, Sahar, Hatvani, Leo, Felderer, Michael, Afzal, Wasif, Bohlin, Markus

المصدر: Proceedings - 2019 IEEE International Conference on Artificial Intelligence Testing, AITest 2019. :19-26

مصطلحات موضوعية: Clustering Doc2Vec, FCM, HDBSCAN, Paragraph Vectors, Software Testing, Test Case Dependency, Artificial intelligence, Cost effectiveness, Semantics, Testing, Bombardier Transportation, Classification methods, Functional dependency, Random under samplings, Test case, Train control systems, Clustering algorithms

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-39269

المؤلفون: Rad, M.A.

المصدر: Education and Research Archive.

مصطلحات موضوعية: Human factors, Cognitive impacts, In-cab warning systems, Automated train control systems, Train protection systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d45f8f7852ce7067bc72b68d535d1296
https://era.library.ualberta.ca/items/10988eee-743e-40af-935e-0e41c3bb59b7

المؤلفون: Mona Ahmadi Rad, Lianne M. Lefsrud, Michael Hendry, Daniel Blais

مصطلحات موضوعية: Human factors, Human-machine interaction, Train control systems, Automation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b66e5f8ffa3eec0e4dc8088661dd87c9

المؤلفون: Mona Ahmadi Rad, Lianne Lefsrud, Michael Hendry

مصطلحات موضوعية: Train control systems, In-cab warning systems, Automation, Rail safety, Alarm management

Relation: https://era.library.ualberta.ca/items/d0cbb108-99ee-4244-a4af-ed91637262ae

الاتاحة: https://era.library.ualberta.ca/items/d0cbb108-99ee-4244-a4af-ed91637262ae
https://doi.org/10.7939/r3-bx6h-5903

المؤلفون: Carnevali, Laura, Flammini, Francesco, 1978, Paolieri, Marco, Vicario, Enrico

المصدر: Computer Performance Engineering. EPEW 2015 Lecture Notes in Computer Science. :47-62

مصطلحات موضوعية: European Rail Traffic Management System (ERTMS), European Train Control System (ETCS), Markov Regenerative Process (MRP), Real-time systems design, Stochastic state classes, Transient analysis, Automatic train control, Control systems, Interactive computer systems, Interoperability, Markov processes, Railroad traffic control, Railroad transportation, Railroads, Safety engineering, Stochastic systems, Concurrent activities, European rail traffic management systems, European Train Control Systems, Markov regenerative process, Non-Markovian modeling, Performability evaluation, Train control systems, Real time systems, Software Technology, Programvaruteknik

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-73651

المؤلفون: Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi

المصدر: 22nd International Systems and Software Product Line Conference (SPLC'18), pp. 208–214, Gothenburg, Sweden, 10-14/9/2018
Proceeedings of the 22nd International Conference on Systems and Software Product Line-SPLC '18
Proceeedings of the 22nd International Conference on Systems and Software Product Line-SPLC 18
info:cnr-pdr/source/autori:ter Beek, M.H.; Fantechi, A.; Gnesi, S./congresso_nome:22nd International Systems and Software Product Line Conference (SPLC'18)/congresso_luogo:Gothenburg, Sweden/congresso_data:10-14%2F9%2F2018/anno:2018/pagina_da:208/pagina_a:214/intervallo_pagine:208–214
SPLC

مصطلحات موضوعية: Computer science, variability, Interoperability, Cyber-physical system, 020207 software engineering, 02 engineering and technology, ERTMS/ETCS train control systems, cyber-physical systems, Backward compatibility, Feature model, Perspective (geometry), Control system, Railway signalling, 0202 electrical engineering, electronic engineering, information engineering, Systems engineering, Product lines, 020201 artificial intelligence & image processing, Train, feature models

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e4b5966a4c72f3ae12d2e4758dd9fe43
https://openportal.isti.cnr.it/doc?id=people______::9fa9634cd933517fe1b184508e559ab8

المؤلفون: De Nicola, G., Di Tommaso, P., Esposito, R., Flammini, Francesco, Senior Lecturer, 1978, Marmo, P., Orazzo, A.

المصدر: Advances in Safety and Reliability - ESREL 2005. :1435-1442

مصطلحات موضوعية: Automatic train protection systems, Black-box testing, Code coverage, Embedded control systems, Functional testing, Grey-box, Regression testing, System behaviors, System specification, System test, Systematic functional testing, Target systems, Test case, Train control systems, Automatic train control, Control systems, Reliability, Software testing, Specifications, Testing, Explosions, Data- och informationsvetenskap, Computer and Information Sciences Computer Science

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-73699
https://www.crcpress.com/Advances-in-Safety-and-Reliability---ESREL-2005-Two-Volume-Set-Proceedings/Kolowrocki/p/book/9780415383400

المصدر: Railway Gazette International. Jan2014, Vol. 170 Issue 1, p8-8. 1/7p.

مصطلحات موضوعية: *CERTIFICATION, HIGH speed trains

الشركة/الكيان: TRAIN Control Systems (Company)

المؤلفون: Fantechi, A., Fokkink, W.J., Morzenti, A., Gnesi, S., Margarita, T.

المساهمون: Theoretical Computer Science, Network Institute

المصدر: Formal Methods for Industrial Critical Systems: A Survey of Applications, edited by Stefania Gnesi, Tiziana Margaria, pp. 61–84, 2013
Formal Methods for Industrial Critical Systems : a Survey of Applications, 63-84
STARTPAGE=63;ENDPAGE=84;TITLE=Formal Methods for Industrial Critical Systems : a Survey of Applications
Formal Methods for Industrial Critical Systems
Fantechi, A, Fokkink, W J & Morzenti, A 2013, Some trends in formal methods applications to railway signaling . in Formal Methods for Industrial Critical Systems: A Survey of Applications . Wiley-IEEE, pp. 63-84 .
Formal Methods for Industrial Critical Systems: A Survey of Applications, 63-84
STARTPAGE=63;ENDPAGE=84;TITLE=Formal Methods for Industrial Critical Systems: A Survey of Applications
info:cnr-pdr/source/autori:Fantechi A.; Fokkink W.; Morzenti A./titolo:Some trends in formal methods applications to railway signaling/titolo_volume:Formal Methods for Industrial Critical Systems: A Survey of Applications/curatori_volume:Stefania Gnesi, Tiziana Margaria/editore:/anno:2013
Vrije Universiteit Amsterdam

مصطلحات موضوعية: business.industry, Computer science, B-Method, Interlocking systems, Railway signaling, Formal methods, Engineering management, Software, Procurement, European Committee for Electrotechnical Standardization (CENELEC), Rail transportation, Train control systems, business, D.2.4SOFTWARE ENGINEERING. Formal Methods

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b590ddb73fdf21c99ae993ff8804d735
https://openportal.isti.cnr.it/doc?id=people______::c6e2bfa754b4a3608caeb9b259d4c9d6

المؤلفون: Ditmeyer, Steven R.

المساهمون: INDUSTRIAL COLL OF THE ARMED FORCES WASHINGTON DC

المصدر: DTIC

مصطلحات موضوعية: Surface Transportation and Equipment, Telemetry, Command, Control and Communications Systems, COMMAND CONTROL COMMUNICATIONS, RAILROADS, MONITORING, SYMPOSIA, SECURITY, OPERATIONAL EFFECTIVENESS, SCHEDULING, GLOBAL POSITIONING SYSTEM, COMMUNICATIONS NETWORKS, REMOTE DETECTORS, DATA LINKS, DIGITAL COMMUNICATIONS, INTELLIGENT RAILROAD SYSTEMS, NETWORK-CENTRIC RAILROADING, PTC(POSITIVE TRAIN CONTROL) SYSTEMS, RAILROAD SECURITY, droit, scipo

Relation: http://www.dtic.mil/docs/citations/ADA457549

الاتاحة: http://www.dtic.mil/docs/citations/ADA457549

المؤلفون: Lin, Junting, Min, Xiaoqin

مصطلحات موضوعية: train control systems, statistical model checking, safety analysis, hybrid automata, UPPAAL-SMC, system sterowania pociągiem, analiza bezpieczeństwa, automaty hybrydowe

URL الوصول: http://yadda.icm.edu.pl/baztech/element/bwmeta1.element.baztech-92589a68-39d3-4961-92b0-254563c24d3e