Autor Nakajima, Shin
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsquedaCyber-Physical System Design from an Architecture Analysis Viewpoint / Nakajima, Shin ; Talpin, Jean-Pierre ; Toyoshima, Masumi ; Yu, Huafeng
Título : Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings Tipo de documento: documento electrónico Autores: Nakajima, Shin, ; Talpin, Jean-Pierre, ; Toyoshima, Masumi, ; Yu, Huafeng, Mención de edición: 1 ed. Editorial: Singapore [Malasya] : Springer Fecha de publicación: 2017 Número de páginas: XIV, 159 p. 52 ilustraciones, 32 ilustraciones en color. ISBN/ISSN/DL: 978-981-10-4436-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 Ingeniería de control Teoría de sistemas y control Índice Dewey: 005.1 Programación (Computadoras) Resumen: Al proporcionar una amplia variedad de tecnologías para garantizar la seguridad y confiabilidad de los sistemas ciberfísicos (CPS), este libro ofrece una introducción completa al modelado, análisis y verificación de CPS centrados en la arquitectura. En particular, se centra en métodos de ingeniería basados en modelos, incluidos lenguajes de descripción de arquitectura, creación de prototipos virtuales y métodos de análisis formal. Los CPS se basan en un nuevo paradigma de diseño destinado a permitir sistemas emergentes con uso intensivo de software. Las computadoras y redes integradas monitorean y controlan los procesos físicos, generalmente con la ayuda de circuitos de retroalimentación donde los procesos físicos afectan los cálculos y viceversa. Los principales desafíos en el diseño de sistemas residen en esta interacción constante de software, hardware y física. El desarrollo de CPS confiables se ha convertido en una cuestión crítica para la industria y la sociedad, porque muchas aplicaciones como el transporte, la distribución de energía, los equipos médicos y la telemedicina dependen de los CPS. Los requisitos de seguridad deben garantizarse mediante potentes herramientas de validación. Satisfacer dichos requisitos, incluida la calidad del servicio, implica haber probado formalmente las propiedades requeridas del sistema antes de su implementación. El libro trata sobre lenguajes de modelado estandarizados internacionalmente como AADL, SysML y MARTE. Como la eficacia de las tecnologías se demuestra con casos de muestra industriales de los sectores automovilístico y aeroespacial, se entiende claramente la relación entre los métodos presentados y los problemas industriales. Cada capítulo es independiente y aborda problemas científicos o de ingeniería específicos e identifica otras cuestiones. Para terminar, incluye perspectivas sobre direcciones futuras en el diseño de CPS desde el punto de vista del análisis de la arquitectura. Nota de contenido: 1 Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs -- 2 Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL -- 3 Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard -- 4 MARTE for CPS and CPSoS -- 5 Combined Model Checking and Testing Create Confidence – A Case on Commercial Automotive Operating System -- 6 Formal Methods for Aerospace Systems. 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 Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings [documento electrónico] / Nakajima, Shin, ; Talpin, Jean-Pierre, ; Toyoshima, Masumi, ; Yu, Huafeng, . - 1 ed. . - Singapore [Malasya] : Springer, 2017 . - XIV, 159 p. 52 ilustraciones, 32 ilustraciones en color.
ISBN : 978-981-10-4436-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 Ingeniería de control Teoría de sistemas y control Índice Dewey: 005.1 Programación (Computadoras) Resumen: Al proporcionar una amplia variedad de tecnologías para garantizar la seguridad y confiabilidad de los sistemas ciberfísicos (CPS), este libro ofrece una introducción completa al modelado, análisis y verificación de CPS centrados en la arquitectura. En particular, se centra en métodos de ingeniería basados en modelos, incluidos lenguajes de descripción de arquitectura, creación de prototipos virtuales y métodos de análisis formal. Los CPS se basan en un nuevo paradigma de diseño destinado a permitir sistemas emergentes con uso intensivo de software. Las computadoras y redes integradas monitorean y controlan los procesos físicos, generalmente con la ayuda de circuitos de retroalimentación donde los procesos físicos afectan los cálculos y viceversa. Los principales desafíos en el diseño de sistemas residen en esta interacción constante de software, hardware y física. El desarrollo de CPS confiables se ha convertido en una cuestión crítica para la industria y la sociedad, porque muchas aplicaciones como el transporte, la distribución de energía, los equipos médicos y la telemedicina dependen de los CPS. Los requisitos de seguridad deben garantizarse mediante potentes herramientas de validación. Satisfacer dichos requisitos, incluida la calidad del servicio, implica haber probado formalmente las propiedades requeridas del sistema antes de su implementación. El libro trata sobre lenguajes de modelado estandarizados internacionalmente como AADL, SysML y MARTE. Como la eficacia de las tecnologías se demuestra con casos de muestra industriales de los sectores automovilístico y aeroespacial, se entiende claramente la relación entre los métodos presentados y los problemas industriales. Cada capítulo es independiente y aborda problemas científicos o de ingeniería específicos e identifica otras cuestiones. Para terminar, incluye perspectivas sobre direcciones futuras en el diseño de CPS desde el punto de vista del análisis de la arquitectura. Nota de contenido: 1 Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs -- 2 Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL -- 3 Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard -- 4 MARTE for CPS and CPSoS -- 5 Combined Model Checking and Testing Create Confidence – A Case on Commercial Automotive Operating System -- 6 Formal Methods for Aerospace Systems. 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 : Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan Meetings Tipo de documento: documento electrónico Autores: Ait-Ameur, Yamine, ; Nakajima, Shin, ; Méry, Dominique, Mención de edición: 1 ed. Editorial: Singapore [Malasya] : Springer Fecha de publicación: 2021 Número de páginas: XII, 346 p. 138 ilustraciones, 29 ilustraciones en color. ISBN/ISSN/DL: 978-981-1550546-- 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 Lógica matemática Lógica Matemática y Fundamentos Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro aborda los mecanismos para reducir la heterogeneidad de los modelos inducida por la ausencia de expresión semántica explícita en las técnicas formales utilizadas para especificar modelos de diseño. Más precisamente, destaca los avances en el manejo de la semántica tanto implícita como explícita en el desarrollo de sistemas formales, y analiza diferentes contribuciones que expresan diferentes puntos de vista y percepciones sobre la semántica implícita y explícita. El libro se basa en las discusiones de la reunión de Shonan sobre este tema celebrada en 2016, e incluye contribuciones de los participantes que resumen sus perspectivas sobre el problema y ofrecen soluciones. Dividido en 5 partes: modelado de dominio, modelado basado en conocimiento, modelado basado en pruebas, casos de aseguramiento y modelado basado en refinamiento, y ofrece inspiración para investigadores y profesionales en los campos de métodos formales, ingeniería de sistemas y software, modelado de conocimiento de dominio, análisis de requisitos y semántica explícita e implícita de lenguajes de modelado. Nota de contenido: Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line -- Chapter 2: Domain-specific Developments using Rodin Theories -- Chapter 3: Integrating Domain Knowledge in Formal Requirements Engineering -- Chapter 4: Operations over Lightweight Ontologies and their Implementation -- Chapter 5: Formal Ontological Analysis for Medical Protocol -- Chapter 6: Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems -- Chapter 7: Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns -- Chapter 8: An Explicit Semantics for Event-B Refinements -- Chapter 9: Contextual Dependency in State-based Modelling -- Chapter 10: Configuration of complex systems -- Chapter 11: Towards Making Safety Case Arguments Explicit, Precise, and Well Founded -- Chapter 12: The Indefeasibility Criterion for Assurance Cases -- Chapter 13: An Event-B development process for the distributed BIPframework -- Chapter 14: Explicit Exploration of Refinement Design in Proof-based Approach -- Chapter 15: Constructing Rigorous Sketches for Refinement-based Formal Development. 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 Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan Meetings [documento electrónico] / Ait-Ameur, Yamine, ; Nakajima, Shin, ; Méry, Dominique, . - 1 ed. . - Singapore [Malasya] : Springer, 2021 . - XII, 346 p. 138 ilustraciones, 29 ilustraciones en color.
ISBN : 978-981-1550546--
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 Lógica matemática Lógica Matemática y Fundamentos Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro aborda los mecanismos para reducir la heterogeneidad de los modelos inducida por la ausencia de expresión semántica explícita en las técnicas formales utilizadas para especificar modelos de diseño. Más precisamente, destaca los avances en el manejo de la semántica tanto implícita como explícita en el desarrollo de sistemas formales, y analiza diferentes contribuciones que expresan diferentes puntos de vista y percepciones sobre la semántica implícita y explícita. El libro se basa en las discusiones de la reunión de Shonan sobre este tema celebrada en 2016, e incluye contribuciones de los participantes que resumen sus perspectivas sobre el problema y ofrecen soluciones. Dividido en 5 partes: modelado de dominio, modelado basado en conocimiento, modelado basado en pruebas, casos de aseguramiento y modelado basado en refinamiento, y ofrece inspiración para investigadores y profesionales en los campos de métodos formales, ingeniería de sistemas y software, modelado de conocimiento de dominio, análisis de requisitos y semántica explícita e implícita de lenguajes de modelado. Nota de contenido: Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line -- Chapter 2: Domain-specific Developments using Rodin Theories -- Chapter 3: Integrating Domain Knowledge in Formal Requirements Engineering -- Chapter 4: Operations over Lightweight Ontologies and their Implementation -- Chapter 5: Formal Ontological Analysis for Medical Protocol -- Chapter 6: Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems -- Chapter 7: Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns -- Chapter 8: An Explicit Semantics for Event-B Refinements -- Chapter 9: Contextual Dependency in State-based Modelling -- Chapter 10: Configuration of complex systems -- Chapter 11: Towards Making Safety Case Arguments Explicit, Precise, and Well Founded -- Chapter 12: The Indefeasibility Criterion for Assurance Cases -- Chapter 13: An Event-B development process for the distributed BIPframework -- Chapter 14: Explicit Exploration of Refinement Design in Proof-based Approach -- Chapter 15: Constructing Rigorous Sketches for Refinement-based Formal Development. 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
