| Número de páginas: |
X, 288 p. 102 ilustraciones, 80 ilustraciones en color. |
| Resumen: |
Este libro presenta las innovaciones más avanzadas y revolucionarias en la automatización del diseño de sistemas ciberfísicos. Los autores analizan diversos aspectos del diseño de sistemas ciberfísicos, incluido el modelado, el codiseño, la optimización, las herramientas, los métodos formales y la validación. , verificación y estudios de casos. La cobertura incluye un estudio de las diversas metodologías de diseño funcional de sistemas ciberfísicos existentes y las herramientas relacionadas proporcionarán al lector una visión única del diseño conceptual de los sistemas ciberfísicos. Proporciona una referencia única sobre la automatización del diseño de sistemas ciberfísicos; Sirve como guía práctica para gestionar la complejidad durante el proceso de desarrollo de CPS con herramientas y metodologías de automatización del diseño; Analiza el modelado de sistemas ciberfísicos en varios niveles de abstracción; Incluye cobertura de síntesis de alto nivel para sistemas ciberfísicos; Analiza el diseño para el rendimiento/eficiencia energética/seguridad, así como varias herramientas para validación y verificación; Incluye estudios de casos en fabricación y sistemas de infraestructura crítica. |
Design Automation of Cyber-Physical Systems
