Autor Romanovsky, Alexander
|
|
Documentos disponibles escritos por este autor (5)
Hacer una sugerencia Refinar búsqueda38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings / Romanovsky, Alexander ; Troubitsyna, Elena ; Bitsch, Friedemann
TÃtulo : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings Tipo de documento: documento electrónico Autores: Romanovsky, Alexander, ; Troubitsyna, Elena, ; Bitsch, Friedemann, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XXI, 316 p. 320 ilustraciones, 92 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-26601-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: IngenierÃa Informática Red de computadoras Inteligencia artificial IngenierÃa de software Visión por computador Microprogramación IngenierÃa Informática y Redes Estructuras de control y microprogramación Ãndice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 38.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2019, celebrada en Turku, Finlandia, en septiembre de 2019. Los 16 artÃculos completos y 5 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 65 presentaciones. . Fueron organizados en secciones temáticas denominadas: verificación formal; conducción autónoma; modelado de seguridad y confiabilidad; ingenierÃa de seguridad y evaluación de riesgos; argumentación de seguridad; verificación y validación de sistemas autónomos; y sistemas interactivos y validación de diseños. . Nota de contenido: Formal Verification -- Towards Zero Alarms in Sound Static Analysis of Finite State Machines -- Graceful Degradation Design Process for Autonomous Driving System -- Formal Verification of Memory Preservation of x86-64 Binaries -- Autonomous Driving -- Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits -- Fitness Functions for Testing Automated and Autonomous Driving Systems -- A SysML Profile for Fault Trees — linking safety models to system design -- Safety and Reliability Modeling -- Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models -- Forecast Horizon for Automated Safety Actions in Automated Driving Systems -- Digital Forensics in Industrial Control Systems -- Security Engineering and Risk Assessment -- Efficient Model-level Reliability Analysis of Simulink Models -- Increasing Trust in Data-Driven Model Validation - A Framework for Probabilistic Augmentation of Images and Meta-Data Generation using Application Scope Characteristics -- A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems -- Safety Argumentation -- BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact -- Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems -- Dynamic risk assessment enabling automated interventions for medical cyber-physical systems -- Verification and Validation of Autonomous Systems -- Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems -- Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety -- Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities -- Interactive Systems and Design Validation -- SafeDeML: On Integrating the Safety Design into the System Model -- Towards Trusted Security Context Exchange Protocol for SDN based Low Latency Networks -- Devil's in the detail:Through-life safety and security co-assurance using SSAF. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings [documento electrónico] / Romanovsky, Alexander, ; Troubitsyna, Elena, ; Bitsch, Friedemann, . - 1 ed. . - [s.l.] : Springer, 2019 . - XXI, 316 p. 320 ilustraciones, 92 ilustraciones en color.
ISBN : 978-3-030-26601-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa Informática Red de computadoras Inteligencia artificial IngenierÃa de software Visión por computador Microprogramación IngenierÃa Informática y Redes Estructuras de control y microprogramación Ãndice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 38.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2019, celebrada en Turku, Finlandia, en septiembre de 2019. Los 16 artÃculos completos y 5 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 65 presentaciones. . Fueron organizados en secciones temáticas denominadas: verificación formal; conducción autónoma; modelado de seguridad y confiabilidad; ingenierÃa de seguridad y evaluación de riesgos; argumentación de seguridad; verificación y validación de sistemas autónomos; y sistemas interactivos y validación de diseños. . Nota de contenido: Formal Verification -- Towards Zero Alarms in Sound Static Analysis of Finite State Machines -- Graceful Degradation Design Process for Autonomous Driving System -- Formal Verification of Memory Preservation of x86-64 Binaries -- Autonomous Driving -- Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits -- Fitness Functions for Testing Automated and Autonomous Driving Systems -- A SysML Profile for Fault Trees — linking safety models to system design -- Safety and Reliability Modeling -- Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models -- Forecast Horizon for Automated Safety Actions in Automated Driving Systems -- Digital Forensics in Industrial Control Systems -- Security Engineering and Risk Assessment -- Efficient Model-level Reliability Analysis of Simulink Models -- Increasing Trust in Data-Driven Model Validation - A Framework for Probabilistic Augmentation of Images and Meta-Data Generation using Application Scope Characteristics -- A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems -- Safety Argumentation -- BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact -- Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems -- Dynamic risk assessment enabling automated interventions for medical cyber-physical systems -- Verification and Validation of Autonomous Systems -- Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems -- Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety -- Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities -- Interactive Systems and Design Validation -- SafeDeML: On Integrating the Safety Design into the System Model -- Towards Trusted Security Context Exchange Protocol for SDN based Low Latency Networks -- Devil's in the detail:Through-life safety and security co-assurance using SSAF. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
TÃtulo : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings Tipo de documento: documento electrónico Autores: Romanovsky, Alexander, ; Troubitsyna, Elena A., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIV, 201 p. 56 ilustraciones ISBN/ISSN/DL: 978-3-319-65948-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: IngenierÃa de software Ciencias de la Computación Compiladores (programas informáticos) Computadoras digitales electrónicas Ordenadores Profesiones Inteligencia artificial Lógica informática y fundamentos de la programación Compiladores e intérpretes Rendimiento y evaluación del sistema La profesión informática Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas del Taller Internacional sobre IngenierÃa de Software para Sistemas Resilientes, SERENE 2017, celebrado en Ginebra; Suiza, en septiembre de 2017. Los 11 artÃculos presentados junto con 2 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados entre 16 presentaciones. Cubren las siguientes áreas: modelado y especificación; seguridad y proteccion; Software de tolerancia a fallos, resiliencia y robustez. Nota de contenido: Modeling and specification -- Safety and security -- Fault tolerance, resilience and robustness software. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings [documento electrónico] / Romanovsky, Alexander, ; Troubitsyna, Elena A., . - 1 ed. . - [s.l.] : Springer, 2017 . - XIV, 201 p. 56 ilustraciones.
ISBN : 978-3-319-65948-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa de software Ciencias de la Computación Compiladores (programas informáticos) Computadoras digitales electrónicas Ordenadores Profesiones Inteligencia artificial Lógica informática y fundamentos de la programación Compiladores e intérpretes Rendimiento y evaluación del sistema La profesión informática Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas del Taller Internacional sobre IngenierÃa de Software para Sistemas Resilientes, SERENE 2017, celebrado en Ginebra; Suiza, en septiembre de 2017. Los 11 artÃculos presentados junto con 2 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados entre 16 presentaciones. Cubren las siguientes áreas: modelado y especificación; seguridad y proteccion; Software de tolerancia a fallos, resiliencia y robustez. Nota de contenido: Modeling and specification -- Safety and security -- Fault tolerance, resilience and robustness software. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
TÃtulo : Computer Safety, Reliability, and Security : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings Tipo de documento: documento electrónico Autores: Romanovsky, Alexander, ; Troubitsyna, Elena, ; Gashi, Ilir, ; Schoitsch, Erwin, ; Bitsch, Friedemann, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVI, 412 p. 163 ilustraciones, 90 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-26250-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: IngenierÃa Informática Red de computadoras Inteligencia artificial Protección de datos CriptografÃa Cifrado de datos (Informática) IngenierÃa de software Visión por computador IngenierÃa Informática y Redes Seguridad de datos e información CriptologÃa Ãndice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de los talleres celebrados junto con SAFECOMP 2019, 38.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, en septiembre de 2019 en Turku, Finlandia. Los 32 artÃculos regulares incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 43 presentaciones; el libro también contiene dos artÃculos invitados. Los talleres incluidos en este volumen son: ASSURE 2019: 7° Taller Internacional sobre Casos de Aseguramiento para Sistemas Intensivos en Software DECSoS 2019: 14° Taller ERCIM/EWICS/ARTEMIS sobre Sistemas de Sistemas y Sistemas de Sistemas CiberfÃsicos, Inteligentes y Confiables SASSUR 2019: Octavo taller internacional sobre la próxima generación de enfoques de garantÃa de sistemas para sistemas crÃticos para la seguridad STRIVE 2019: Segundo taller internacional sobre seguridad y privacidad en sistemas automotrices WAISE 2019: Segundo taller internacional sobre ingenierÃa de seguridad con inteligencia artificial. Nota de contenido: 7th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2019) -- Combining GSN and STPA for safety arguments -- A modelling approach for system life cycles assurance -- Contract-based Modular Safety Cases for Incremental Certification of Product Lines -- 14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2019) -- Comparative Evaluation of Security Fuzzing Approaches -- Assuring compliance with protection profiles with Threatget -- A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems -- Combined Approach for Safety and Security -- Towards Integrated Quantitative Security and Safety Risk Assessment -- Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications -- Increasing Safety of Neural Networks in Medical Devices -- Smart Wristband for Voting -- 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019) -- Automotive Cybersecurity standards - relation and overview -- A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems -- Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance -- The SISTER approach for Verification and Validation: a lightweight process for reusable results -- Introduction to the Safecomp 2018 Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) -- Demo: CANDY CREAM -- CarINA - Car sharing with IdeNtity based Access control re-enforced by TPM -- Combining Safety and Security in Autonomous Cars Using Blockchain Technologies -- Enhancing CAN security by means of lightweight stream-ciphers and protocols -- Analysis of Security Overhead in Broadcast V2V Communications -- You overtrust your printer -- 2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018) -- Three Reasons Why: Framing the Challenges of Assuring AI -- Improving ML Safety with Partial Specifications -- An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles -- RL-Based Method for Benchmarking the Adversarial Resilience and Robustness of Deep Reinforcement Learning Policies -- A Safety Standard Approach for Fully Autonomous Vehicles (Position Paper) -- Open Questions in Testing of Learned Computer Vision Functions for Automated Driving -- Adaptive Deployment of Safety Monitors for Autonomous Systems -- Uncertainty Wrappers for Data-driven Models - Increase the Transparency of AI/ML-based Models through Enrichment with Dependable Situation-aware Uncertainty Estimates -- Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions -- Bayesian Uncertainty Quantification with Synthetic Data -- A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence -- Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests -- The Moral Machine: Is It Moral. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Computer Safety, Reliability, and Security : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings [documento electrónico] / Romanovsky, Alexander, ; Troubitsyna, Elena, ; Gashi, Ilir, ; Schoitsch, Erwin, ; Bitsch, Friedemann, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVI, 412 p. 163 ilustraciones, 90 ilustraciones en color.
ISBN : 978-3-030-26250-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa Informática Red de computadoras Inteligencia artificial Protección de datos CriptografÃa Cifrado de datos (Informática) IngenierÃa de software Visión por computador IngenierÃa Informática y Redes Seguridad de datos e información CriptologÃa Ãndice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de los talleres celebrados junto con SAFECOMP 2019, 38.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, en septiembre de 2019 en Turku, Finlandia. Los 32 artÃculos regulares incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 43 presentaciones; el libro también contiene dos artÃculos invitados. Los talleres incluidos en este volumen son: ASSURE 2019: 7° Taller Internacional sobre Casos de Aseguramiento para Sistemas Intensivos en Software DECSoS 2019: 14° Taller ERCIM/EWICS/ARTEMIS sobre Sistemas de Sistemas y Sistemas de Sistemas CiberfÃsicos, Inteligentes y Confiables SASSUR 2019: Octavo taller internacional sobre la próxima generación de enfoques de garantÃa de sistemas para sistemas crÃticos para la seguridad STRIVE 2019: Segundo taller internacional sobre seguridad y privacidad en sistemas automotrices WAISE 2019: Segundo taller internacional sobre ingenierÃa de seguridad con inteligencia artificial. Nota de contenido: 7th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2019) -- Combining GSN and STPA for safety arguments -- A modelling approach for system life cycles assurance -- Contract-based Modular Safety Cases for Incremental Certification of Product Lines -- 14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2019) -- Comparative Evaluation of Security Fuzzing Approaches -- Assuring compliance with protection profiles with Threatget -- A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems -- Combined Approach for Safety and Security -- Towards Integrated Quantitative Security and Safety Risk Assessment -- Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications -- Increasing Safety of Neural Networks in Medical Devices -- Smart Wristband for Voting -- 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019) -- Automotive Cybersecurity standards - relation and overview -- A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems -- Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance -- The SISTER approach for Verification and Validation: a lightweight process for reusable results -- Introduction to the Safecomp 2018 Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) -- Demo: CANDY CREAM -- CarINA - Car sharing with IdeNtity based Access control re-enforced by TPM -- Combining Safety and Security in Autonomous Cars Using Blockchain Technologies -- Enhancing CAN security by means of lightweight stream-ciphers and protocols -- Analysis of Security Overhead in Broadcast V2V Communications -- You overtrust your printer -- 2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018) -- Three Reasons Why: Framing the Challenges of Assuring AI -- Improving ML Safety with Partial Specifications -- An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles -- RL-Based Method for Benchmarking the Adversarial Resilience and Robustness of Deep Reinforcement Learning Policies -- A Safety Standard Approach for Fully Autonomous Vehicles (Position Paper) -- Open Questions in Testing of Learned Computer Vision Functions for Automated Driving -- Adaptive Deployment of Safety Monitors for Autonomous Systems -- Uncertainty Wrappers for Data-driven Models - Increase the Transparency of AI/ML-based Models through Enrichment with Dependable Situation-aware Uncertainty Estimates -- Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions -- Bayesian Uncertainty Quantification with Synthetic Data -- A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence -- Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests -- The Moral Machine: Is It Moral. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
TÃtulo : Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings Tipo de documento: documento electrónico Autores: Fantechi, Alessandro, ; Lecomte, Thierry, ; Romanovsky, Alexander, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XVIII, 265 p. 80 ilustraciones ISBN/ISSN/DL: 978-3-319-68499-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: IngenierÃa de software Inteligencia artificial Ciencias de la Computación IngenierÃa Informática Red de computadoras Protección de datos Microprogramación TeorÃa de la Computación IngenierÃa Informática y Redes Seguridad de datos e información Estructuras de control y microprogramación Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen constituye las actas de la Segunda Conferencia Internacional sobre Confiabilidad, Seguridad y Protección de los Sistemas Ferroviarios, RRSRail 2017, celebrada en Pistoia, Italia, en noviembre de 2017. Los 16 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 34 presentaciones. Están organizados en secciones temáticas denominadas: desafÃos de comunicación en los sistemas ferroviarios; modelado formal y verificación de seguridad; tren ligero y transporte urbano; y técnicas y estándares de ingenierÃa. El libro también contiene una charla magistral en formato artÃculo completo. . Nota de contenido: Keynote Talk -- Cyber Security in Railways: Quo vadis? -- Communication Challenges in Railway Systems -- LTE System Design for Urban Light Rail Transport -- A framework to evaluate 5G networks for smart and fail-safe communications in ERTMS/ETCS -- Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-Engineering -- Formal Modelling and Verification for Safety -- Formal modelling techniques for efficient development of railway control products -- OVADO: Enhancing Data Validation for Safety-Critical Railway Systems -- A Domain-Specific Language for Generic Interlocking Models and Their Properties -- Bayesian Network Modeling Applied on Railway Level Crossing Safety -- Deductive Verification of Railway Operations -- Safety Analysis of a CBTC System: A Rigorous Approach with Event-B -- B-PERFect: Applying the PERF approach to B based system developments -- Formal Verification of Train Control with Air Pressure Brakes -- Light Rail and Urban Transit -- An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems -- Redundant and Reliable Architecture Based On Open Source Tools for Light-Rail-Transit On-Board-Systems -- Dynamic Routing for Urban Transport Systems Through Integer Linear Programming -- Engineering Techniques and Standards -- Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks -- Are Standards an Ambiguity-free Reference for Product Validation. . En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings [documento electrónico] / Fantechi, Alessandro, ; Lecomte, Thierry, ; Romanovsky, Alexander, . - 1 ed. . - [s.l.] : Springer, 2017 . - XVIII, 265 p. 80 ilustraciones.
ISBN : 978-3-319-68499-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa de software Inteligencia artificial Ciencias de la Computación IngenierÃa Informática Red de computadoras Protección de datos Microprogramación TeorÃa de la Computación IngenierÃa Informática y Redes Seguridad de datos e información Estructuras de control y microprogramación Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen constituye las actas de la Segunda Conferencia Internacional sobre Confiabilidad, Seguridad y Protección de los Sistemas Ferroviarios, RRSRail 2017, celebrada en Pistoia, Italia, en noviembre de 2017. Los 16 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 34 presentaciones. Están organizados en secciones temáticas denominadas: desafÃos de comunicación en los sistemas ferroviarios; modelado formal y verificación de seguridad; tren ligero y transporte urbano; y técnicas y estándares de ingenierÃa. El libro también contiene una charla magistral en formato artÃculo completo. . Nota de contenido: Keynote Talk -- Cyber Security in Railways: Quo vadis? -- Communication Challenges in Railway Systems -- LTE System Design for Urban Light Rail Transport -- A framework to evaluate 5G networks for smart and fail-safe communications in ERTMS/ETCS -- Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-Engineering -- Formal Modelling and Verification for Safety -- Formal modelling techniques for efficient development of railway control products -- OVADO: Enhancing Data Validation for Safety-Critical Railway Systems -- A Domain-Specific Language for Generic Interlocking Models and Their Properties -- Bayesian Network Modeling Applied on Railway Level Crossing Safety -- Deductive Verification of Railway Operations -- Safety Analysis of a CBTC System: A Rigorous Approach with Event-B -- B-PERFect: Applying the PERF approach to B based system developments -- Formal Verification of Train Control with Air Pressure Brakes -- Light Rail and Urban Transit -- An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems -- Redundant and Reliable Architecture Based On Open Source Tools for Light-Rail-Transit On-Board-Systems -- Dynamic Routing for Urban Transport Systems Through Integer Linear Programming -- Engineering Techniques and Standards -- Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks -- Are Standards an Ambiguity-free Reference for Product Validation. . En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
TÃtulo : Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings Tipo de documento: documento electrónico Autores: Collart-Dutilleul, Simon, ; Lecomte, Thierry, ; Romanovsky, Alexander, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIX, 297 p. 200 ilustraciones, 91 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-18744-6 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: IngenierÃa de software Compiladores (programas informáticos) TeorÃa de las máquinas Ciencias de la Computación Algoritmos Simulación por ordenador Compiladores e intérpretes Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación Modelado por computadora Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la Tercera Conferencia Internacional sobre Confiabilidad, Seguridad y Protección de los Sistemas Ferroviarios, RSSRail 2019, celebrada en Lille, Francia, en junio de 2019. Los 18 artÃculos completos presentados en este libro fueron cuidadosamente revisados ​​y seleccionados entre 38 presentaciones. . Cubren una variedad de temas que incluyen modelos avanzados de infraestructura y sistemas ferroviarios; programación y planificación de seguimiento; proceso de seguridad y validación; modelado; verificación formal; y seguridad. . Nota de contenido: Railways System and Infrastructure Advance Modelling -- Scheduling and Track Planning -- Safety Process and Validation -- Modelling -- Formal Verification -- Security. . En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings [documento electrónico] / Collart-Dutilleul, Simon, ; Lecomte, Thierry, ; Romanovsky, Alexander, . - 1 ed. . - [s.l.] : Springer, 2019 . - XIX, 297 p. 200 ilustraciones, 91 ilustraciones en color.
ISBN : 978-3-030-18744-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa de software Compiladores (programas informáticos) TeorÃa de las máquinas Ciencias de la Computación Algoritmos Simulación por ordenador Compiladores e intérpretes Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación Modelado por computadora Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la Tercera Conferencia Internacional sobre Confiabilidad, Seguridad y Protección de los Sistemas Ferroviarios, RSSRail 2019, celebrada en Lille, Francia, en junio de 2019. Los 18 artÃculos completos presentados en este libro fueron cuidadosamente revisados ​​y seleccionados entre 38 presentaciones. . Cubren una variedad de temas que incluyen modelos avanzados de infraestructura y sistemas ferroviarios; programación y planificación de seguimiento; proceso de seguridad y validación; modelado; verificación formal; y seguridad. . Nota de contenido: Railways System and Infrastructure Advance Modelling -- Scheduling and Track Planning -- Safety Process and Validation -- Modelling -- Formal Verification -- Security. . En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
