Información del autor
Autor Romanovsky, Alexander |
Documentos disponibles escritos por este autor (5)
Crear una solicitud de compra Refinar búsquedaComputer Safety, Reliability, and Security / Romanovsky, Alexander ; Troubitsyna, Elena ; Bitsch, Friedemann
TÃtulo : Computer Safety, Reliability, and Security : 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. Idioma : Inglés (eng) 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. Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019. The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Computer Safety, Reliability, and Security : 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.
Idioma : Inglés (eng)
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. Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019. The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland. The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are: ASSURE 2019: 7th International Workshop on Assurance Cases for Software-Intensive Systems DECSoS 2019: 14th ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems SASSUR 2019: 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems STRIVE 2019: Second International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms WAISE 2019: Second International Workshop on Artificial Intelligence Safety Engineering . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
Idioma : Inglés (eng)
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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland. The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are: ASSURE 2019: 7th International Workshop on Assurance Cases for Software-Intensive Systems DECSoS 2019: 14th ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems SASSUR 2019: 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems STRIVE 2019: Second International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms WAISE 2019: Second International Workshop on Artificial Intelligence Safety Engineering . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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. Idioma : Inglés (eng) 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. Clasificación: 005.1 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. . Tipo de medio : Computadora Summary : This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and verification for safety; light rail and urban transit; and engineering techniques and standards. The book also contains one keynote talk in full-paper length. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
Idioma : Inglés (eng)
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. Clasificación: 005.1 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. . Tipo de medio : Computadora Summary : This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and verification for safety; light rail and urban transit; and engineering techniques and standards. The book also contains one keynote talk in full-paper length. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 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. Idioma : Inglés (eng) 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 Clasificación: 005.1 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. . Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019. The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 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.
Idioma : Inglés (eng)
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 Clasificación: 005.1 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. . Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019. The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Software Engineering for Resilient Systems : 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. Idioma : Inglés (eng) 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 Clasificación: 005.1 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, resilience and robustness software. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Software Engineering for Resilient Systems : 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.
Idioma : Inglés (eng)
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 Clasificación: 005.1 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, resilience and robustness software. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
