| 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 [Malasia] : 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. |
| Idioma : |
Inglés (eng) |
| Palabras clave: |
IngenierÃa de software IngenierÃa de control TeorÃa de sistemas y control |
| Clasificación: |
005.1 |
| 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. |
| Tipo de medio : |
Computadora |
| Summary : |
Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods including architecture description languages, virtual prototyping, and formal analysis methods. CPS are based on a new design paradigm intended to enable emerging software-intensive systems. Embedded computers and networks monitor and control the physical processes, usually with the help of feedback loops where physical processes affect computations and vice versa. The principal challenges in system design lie in this constant interaction of software, hardware and physics. Developing reliable CPS has become a critical issue for the industry and society, because many applications such as transportation, power distribution, medical equipment and tele-medicine are dependent on CPS. Safety and security requirements must be ensured by means of powerful validation tools. Satisfying such requirements, including quality of service, implies having formally proven the required properties of the system before it is deployed. The book is concerned with internationally standardized modeling languages such as AADL, SysML, and MARTE. As the effectiveness of the technologies is demonstrated with industrial sample cases from the automotive and aerospace sectors, links between the methods presented and industrial problems are clearly understandable. Each chapter is self-contained, addressing specific scientific or engineering problems, and identifying further issues. In closing, it includes perspectives on future directions in CPS design from an architecture analysis viewpoint. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
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 [Malasia] : 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. Idioma : Inglés ( eng)
| Palabras clave: |
IngenierÃa de software IngenierÃa de control TeorÃa de sistemas y control |
| Clasificación: |
005.1 |
| 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. |
| Tipo de medio : |
Computadora |
| Summary : |
Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods including architecture description languages, virtual prototyping, and formal analysis methods. CPS are based on a new design paradigm intended to enable emerging software-intensive systems. Embedded computers and networks monitor and control the physical processes, usually with the help of feedback loops where physical processes affect computations and vice versa. The principal challenges in system design lie in this constant interaction of software, hardware and physics. Developing reliable CPS has become a critical issue for the industry and society, because many applications such as transportation, power distribution, medical equipment and tele-medicine are dependent on CPS. Safety and security requirements must be ensured by means of powerful validation tools. Satisfying such requirements, including quality of service, implies having formally proven the required properties of the system before it is deployed. The book is concerned with internationally standardized modeling languages such as AADL, SysML, and MARTE. As the effectiveness of the technologies is demonstrated with industrial sample cases from the automotive and aerospace sectors, links between the methods presented and industrial problems are clearly understandable. Each chapter is self-contained, addressing specific scientific or engineering problems, and identifying further issues. In closing, it includes perspectives on future directions in CPS design from an architecture analysis viewpoint. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsquedaCyber-Physical System Design from an Architecture Analysis Viewpoint / Nakajima, Shin ; Talpin, Jean-Pierre ; Toyoshima, Masumi ; Yu, Huafeng
