The Agile Safety Case / Myklebust, Thor  

Público ISBD Ningún comentario para este registro. Título : The Agile Safety Case Tipo de documento: documento electrónico Autores: Myklebust, Thor, Autor ; Stålhane, Tor, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XII, 235 p. 34 ilustraciones, 29 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-70265-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  Ingeniería de Transporte  Ingeniería de tráfico  Gestión de software  Tecnología del Transporte e Ingeniería de Tráfico  Operaciones de TI Índice Dewey: 005.1 Programación (Computadoras) Resumen: El caso de seguridad (SC) es uno de los resultados más importantes de la industria ferroviaria para generar confianza en sus sistemas. Este es el primer libro sobre cómo escribir un SC, basado en la norma EN 50129:2003. La experiencia ha demostrado que preparar y comprender un SC es difícil y requiere mucho tiempo y, como tal, el libro proporciona ideas que mejoran la capacitación para redactar un SC. El libro analiza tanto casos de seguridad "regulares" como casos de seguridad ágiles, que evitan demasiada documentación, mejoran la comunicación entre las partes interesadas, permiten una aprobación más rápida del sistema y que son importantes a la luz de la tecnología que cambia rápidamente. Además, analiza la necesidad de actualizar el software con frecuencia debido a los requisitos del mercado, los cambios en los requisitos y el aumento de las amenazas a la ciberseguridad. Después de una introducción general a los SC y el pensamiento ágil en el capítulo 1, el capítulo 2 describe la mayoría de las funciones que son relevantes al desarrollar sistemas de señalización ferroviaria. A continuación, el capítulo 3 proporciona información relacionada con la evaluación de sistemas de señalización, con las certificaciones basadas en IEC 61508 y con la autorización de sistemas de señalización. Luego, el capítulo 4 explica cómo se puede desarrollar un plan de seguridad ágil que satisfaga los requisitos establecidos en EN 50126-1:1999, mientras que el capítulo 5 proporciona una breve introducción a los patrones y notaciones de casos de seguridad. Por último, el capítulo 6 combina todo esto y describe cómo se puede desarrollar un SC (ágil) y qué debe incluir. Para garantizar que los administradores de infraestructura, proveedores, consultores y otros puedan aprovechar al máximo la mentalidad ágil, el libro incluye ejemplos concretos y presenta prácticas ágiles relevantes. Aunque el alcance del libro se limita a los sistemas de señalización, los fundamentos básicos de los SC (ágiles) se describen claramente para que también puedan aplicarse en otros casos. Nota de contenido: 1 Introduction -- 2 Agile development.- Railway roles, assessment and authorisation -- 4 The Agile Safety Plan for signalling systems -- 5 Safety case patterns, notations and GSN -- 6 The Safety Case - Introduction and Definition of system -- 7 Safety case, Quality Management Report -- 8 Safety Management Report -- 9 Technical Safety Report -- 10 Related safety cases, Conclusion and Safety case references. 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 The Agile Safety Case [documento electrónico] / Myklebust, Thor, Autor ; Stålhane, Tor, Autor  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XII, 235 p. 34 ilustraciones, 29 ilustraciones en color. ISBN : 978-3-319-70265-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  Ingeniería de Transporte  Ingeniería de tráfico  Gestión de software  Tecnología del Transporte e Ingeniería de Tráfico  Operaciones de TI Índice Dewey: 005.1 Programación (Computadoras) Resumen: El caso de seguridad (SC) es uno de los resultados más importantes de la industria ferroviaria para generar confianza en sus sistemas. Este es el primer libro sobre cómo escribir un SC, basado en la norma EN 50129:2003. La experiencia ha demostrado que preparar y comprender un SC es difícil y requiere mucho tiempo y, como tal, el libro proporciona ideas que mejoran la capacitación para redactar un SC. El libro analiza tanto casos de seguridad "regulares" como casos de seguridad ágiles, que evitan demasiada documentación, mejoran la comunicación entre las partes interesadas, permiten una aprobación más rápida del sistema y que son importantes a la luz de la tecnología que cambia rápidamente. Además, analiza la necesidad de actualizar el software con frecuencia debido a los requisitos del mercado, los cambios en los requisitos y el aumento de las amenazas a la ciberseguridad. Después de una introducción general a los SC y el pensamiento ágil en el capítulo 1, el capítulo 2 describe la mayoría de las funciones que son relevantes al desarrollar sistemas de señalización ferroviaria. A continuación, el capítulo 3 proporciona información relacionada con la evaluación de sistemas de señalización, con las certificaciones basadas en IEC 61508 y con la autorización de sistemas de señalización. Luego, el capítulo 4 explica cómo se puede desarrollar un plan de seguridad ágil que satisfaga los requisitos establecidos en EN 50126-1:1999, mientras que el capítulo 5 proporciona una breve introducción a los patrones y notaciones de casos de seguridad. Por último, el capítulo 6 combina todo esto y describe cómo se puede desarrollar un SC (ágil) y qué debe incluir. Para garantizar que los administradores de infraestructura, proveedores, consultores y otros puedan aprovechar al máximo la mentalidad ágil, el libro incluye ejemplos concretos y presenta prácticas ágiles relevantes. Aunque el alcance del libro se limita a los sistemas de señalización, los fundamentos básicos de los SC (ágiles) se describen claramente para que también puedan aplicarse en otros casos. Nota de contenido: 1 Introduction -- 2 Agile development.- Railway roles, assessment and authorisation -- 4 The Agile Safety Plan for signalling systems -- 5 Safety case patterns, notations and GSN -- 6 The Safety Case - Introduction and Definition of system -- 7 Safety case, Quality Management Report -- 8 Safety Management Report -- 9 Technical Safety Report -- 10 Related safety cases, Conclusion and Safety case references. 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

Functional Safety and Proof of Compliance / Myklebust, Thor  

Público ISBD Ningún comentario para este registro. Título : Functional Safety and Proof of Compliance Tipo de documento: documento electrónico Autores: Myklebust, Thor, Autor ; Stålhane, Tor, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XXIV, 265 p. 73 ilustraciones, 57 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-86152-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  Gestión industrial  Protección de datos  Gestión de software  Operaciones de TI  Servicios de seguridad Índice Dewey: 51.068 Resumen: Este libro tiene como objetivo facilitar y mejorar el trabajo de desarrollo relacionado con todos los documentos e información requeridos por las normas de seguridad funcional. La Prueba de Cumplimiento (PoC) es importante para el evaluador y los organismos de certificación cuando se les llama para confirmar que el fabricante ha desarrollado un sistema de software de acuerdo con los estándares de seguridad requeridos. Si bien los documentos PoC no agregan funcionalidad al producto ni para el desarrollador ni para el cliente, sí agregan confianza al producto y facilitan la certificación y, como tales, son importantes para el valor del producto. A pesar de este valor agregado, la documentación necesaria para PoC a menudo se desarrolla tarde en el proyecto y de manera desordenada. Este libro está dirigido a desarrolladores, evaluadores, organismos de certificación y compradores de sistemas instrumentados de seguridad e informa al lector sobre los documentos PoC más importantes. Una documentación PoC típica abarca de 50 a 200 documentos, varios de los cuales se mencionan en las normas de seguridad (por ejemplo, 82 documentos en la serie IEC 61508:2010, 101 documentos en la serie EN 5012X y 106 productos de trabajo en la serie ISO 26262:2018). Estos documentos también incluyen referencias adicionales, normalmente de una a veinte, y el número total de páginas desarrolladas por el fabricante varía entre 2000 y 10000 páginas. El libro proporciona orientación y ejemplos sobre qué incluir en los planes y documentos relevantes. Características y beneficios • Primer libro sobre cómo planificar y desarrollar información y documentación de prueba de cumplimiento relevante • Describe en detalle qué incluir en los planes y documentos relevantes • Proporciona a fabricantes, desarrolladores, consultores y operadores numerosos planes de ejemplo. Nota de contenido: 1. The Introduction -- 2. Agile Practices -- 3. POC in Agile Development and for SMEs -- 4. Generic Documents -- 5. Plans and Functional safety Management -- 6. Safety Analysis Methods Applied to Software -- 7. Safety and Risk Documents -- 8. Software Documents -- 9. Test, Analysis and V&V. 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 Functional Safety and Proof of Compliance [documento electrónico] / Myklebust, Thor, Autor ; Stålhane, Tor, Autor  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XXIV, 265 p. 73 ilustraciones, 57 ilustraciones en color. ISBN : 978-3-030-86152-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  Gestión industrial  Protección de datos  Gestión de software  Operaciones de TI  Servicios de seguridad Índice Dewey: 51.068 Resumen: Este libro tiene como objetivo facilitar y mejorar el trabajo de desarrollo relacionado con todos los documentos e información requeridos por las normas de seguridad funcional. La Prueba de Cumplimiento (PoC) es importante para el evaluador y los organismos de certificación cuando se les llama para confirmar que el fabricante ha desarrollado un sistema de software de acuerdo con los estándares de seguridad requeridos. Si bien los documentos PoC no agregan funcionalidad al producto ni para el desarrollador ni para el cliente, sí agregan confianza al producto y facilitan la certificación y, como tales, son importantes para el valor del producto. A pesar de este valor agregado, la documentación necesaria para PoC a menudo se desarrolla tarde en el proyecto y de manera desordenada. Este libro está dirigido a desarrolladores, evaluadores, organismos de certificación y compradores de sistemas instrumentados de seguridad e informa al lector sobre los documentos PoC más importantes. Una documentación PoC típica abarca de 50 a 200 documentos, varios de los cuales se mencionan en las normas de seguridad (por ejemplo, 82 documentos en la serie IEC 61508:2010, 101 documentos en la serie EN 5012X y 106 productos de trabajo en la serie ISO 26262:2018). Estos documentos también incluyen referencias adicionales, normalmente de una a veinte, y el número total de páginas desarrolladas por el fabricante varía entre 2000 y 10000 páginas. El libro proporciona orientación y ejemplos sobre qué incluir en los planes y documentos relevantes. Características y beneficios • Primer libro sobre cómo planificar y desarrollar información y documentación de prueba de cumplimiento relevante • Describe en detalle qué incluir en los planes y documentos relevantes • Proporciona a fabricantes, desarrolladores, consultores y operadores numerosos planes de ejemplo. Nota de contenido: 1. The Introduction -- 2. Agile Practices -- 3. POC in Agile Development and for SMEs -- 4. Generic Documents -- 5. Plans and Functional safety Management -- 6. Safety Analysis Methods Applied to Software -- 7. Safety and Risk Documents -- 8. Software Documents -- 9. Test, Analysis and V&V. 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

SafeScrum® – Agile Development of Safety-Critical Software / Hanssen, Geir Kjetil  

Público ISBD Ningún comentario para este registro. Título : SafeScrum® – Agile Development of Safety-Critical Software Tipo de documento: documento electrónico Autores: Hanssen, Geir Kjetil, Autor ; Stålhane, Tor, Autor ; Myklebust, Thor, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIII, 233 p. 87 ilustraciones, 3 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-99334-8 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  Gestión de software  Operaciones de TI Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro aborda el desarrollo de software crítico para la seguridad y para ello propone la metodología SafeScrum®. SafeScrum® se inspiró en el método ágil Scrum, que se utiliza ampliamente en muchas áreas de la industria del software. Sin embargo, Scrum no está destinado ni diseñado para su uso con sistemas críticos para la seguridad; por lo tanto, los autores proponen pautas y adiciones para que sea útil en la práctica y cumpla con los requisitos adicionales que se encuentran en las normas de seguridad. El libro proporciona una descripción general del desarrollo de software ágil y cómo se puede vincular con la seguridad y los estándares de seguridad relevantes. SafeScrum® se describe en detalle como un enfoque útil para aprovechar los beneficios de los métodos ágiles y pretende ser un conjunto de ideas y una base para la adaptación en proyectos industriales. El libro cubre roles, procesos y prácticas, y documentación. También incluye consejos sobre cómo se pueden emplear herramientas de proceso de software estándar. Por último, se proporcionan algunas ideas sobre investigaciones relevantes en este campo nuevo y emergente y se presentan ejemplos seleccionados del mundo real. Las ideas y descripciones de este libro se basan en la colaboración con la industria, en forma de discusiones con organizaciones de evaluación, discusiones generales dentro de los campos de investigación de seguridad y software y, por último, pero no menos importante, las propias experiencias e ideas de los autores. Fue escrito principalmente para profesionales de la industria que saben mucho sobre cómo producir software crítico para la seguridad, pero menos sobre desarrollo ágil en general y Scrum en particular. Nota de contenido: Preface -- Acknowledgements -- Glossary -- 1 Why you should read this book -- 2 What is agile software development - a short intro -- 3 What is safety-critical software -- 4 Placing agile in a safety context -- 5 Standards and certification -- 6 The SafeScrum process -- 7 SafeScrum activities -- 8 SafeScrum additional elements -- 9 Documentation and proof-of-compliance -- Annexes A-B-C-D The SafeScrum handbook. 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 SafeScrum® – Agile Development of Safety-Critical Software [documento electrónico] / Hanssen, Geir Kjetil, Autor ; Stålhane, Tor, Autor ; Myklebust, Thor, Autor  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XIII, 233 p. 87 ilustraciones, 3 ilustraciones en color. ISBN : 978-3-319-99334-8 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  Gestión de software  Operaciones de TI Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro aborda el desarrollo de software crítico para la seguridad y para ello propone la metodología SafeScrum®. SafeScrum® se inspiró en el método ágil Scrum, que se utiliza ampliamente en muchas áreas de la industria del software. Sin embargo, Scrum no está destinado ni diseñado para su uso con sistemas críticos para la seguridad; por lo tanto, los autores proponen pautas y adiciones para que sea útil en la práctica y cumpla con los requisitos adicionales que se encuentran en las normas de seguridad. El libro proporciona una descripción general del desarrollo de software ágil y cómo se puede vincular con la seguridad y los estándares de seguridad relevantes. SafeScrum® se describe en detalle como un enfoque útil para aprovechar los beneficios de los métodos ágiles y pretende ser un conjunto de ideas y una base para la adaptación en proyectos industriales. El libro cubre roles, procesos y prácticas, y documentación. También incluye consejos sobre cómo se pueden emplear herramientas de proceso de software estándar. Por último, se proporcionan algunas ideas sobre investigaciones relevantes en este campo nuevo y emergente y se presentan ejemplos seleccionados del mundo real. Las ideas y descripciones de este libro se basan en la colaboración con la industria, en forma de discusiones con organizaciones de evaluación, discusiones generales dentro de los campos de investigación de seguridad y software y, por último, pero no menos importante, las propias experiencias e ideas de los autores. Fue escrito principalmente para profesionales de la industria que saben mucho sobre cómo producir software crítico para la seguridad, pero menos sobre desarrollo ágil en general y Scrum en particular. Nota de contenido: Preface -- Acknowledgements -- Glossary -- 1 Why you should read this book -- 2 What is agile software development - a short intro -- 3 What is safety-critical software -- 4 Placing agile in a safety context -- 5 Standards and certification -- 6 The SafeScrum process -- 7 SafeScrum activities -- 8 SafeScrum additional elements -- 9 Documentation and proof-of-compliance -- Annexes A-B-C-D The SafeScrum handbook. 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

---

1 (1 - 3 / 3) Por página: 25 50 100 200