Formal Verification of Simulink/Stateflow Diagrams / Zhan, Naijun  

Público ISBD Ningún comentario para este registro. Título : Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach Tipo de documento: documento electrónico Autores: Zhan, Naijun, Autor ; Wang, Shuling, Autor ; Zhao, Hengjun, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XV, 258 p. 74 ilustraciones, 60 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-47016-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: Circuitos electrónicos  Microprocesadores  Arquitectura de Computadores  Circuitos y sistemas electrónicos  Arquitecturas de procesador Índice Dewey: 6.213.815 Resumen: Este libro presenta una técnica de vanguardia para la verificación formal de diagramas de Simulink/Stateflow de tiempo continuo, presentando un expresivo lenguaje de modelado de sistemas híbridos, una poderosa lógica de especificación y un enfoque de verificación basado en deducción, y algunos estudios de casos impresionantes y realistas. . Los lectores aprenderán el método deductivo basado en HCSP/HHL y el uso de las herramientas correspondientes para la verificación formal de diagramas de Simulink/Stateflow. También obtendrán algunas ideas básicas sobre elementos fundamentales de los métodos formales, como la sintaxis formal y la semántica, y especialmente las técnicas comunes aplicadas en el modelado formal y la verificación de sistemas híbridos. Al investigar los estudios de casos exitosos, los lectores se darán cuenta de cómo aplicar la teoría y las técnicas puras a aplicaciones reales y, con suerte, se sentirán inspirados para comenzar a utilizar el enfoque propuesto, o incluso desarrollar sus propios métodos formales en su trabajo futuro. Nota de contenido: 1 Introduction -- 2 Preliminaries -- 3 Unifying Theories of Programming -- 4 Simulink -- 5 Stateflow and Its Combination with Simulink -- 6 Hybrid CSP -- 7 Hybrid Hoare Logic -- 8 The HHL Prover -- 9 Invariant Generation -- 10 Translating Simulink Diagrams into HCSP -- 11 Translating Simulink/Stateflow Diagrams into HCSP -- 12 From HCSP to Simulink -- 13 MARS A Toolkit for Modelling, Analysis and Verification of Hybrid Systems -- 14 Case Studies. 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 Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach [documento electrónico] / Zhan, Naijun, Autor ; Wang, Shuling, Autor ; Zhao, Hengjun, Autor  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XV, 258 p. 74 ilustraciones, 60 ilustraciones en color. ISBN : 978-3-319-47016-0 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Circuitos electrónicos  Microprocesadores  Arquitectura de Computadores  Circuitos y sistemas electrónicos  Arquitecturas de procesador Índice Dewey: 6.213.815 Resumen: Este libro presenta una técnica de vanguardia para la verificación formal de diagramas de Simulink/Stateflow de tiempo continuo, presentando un expresivo lenguaje de modelado de sistemas híbridos, una poderosa lógica de especificación y un enfoque de verificación basado en deducción, y algunos estudios de casos impresionantes y realistas. . Los lectores aprenderán el método deductivo basado en HCSP/HHL y el uso de las herramientas correspondientes para la verificación formal de diagramas de Simulink/Stateflow. También obtendrán algunas ideas básicas sobre elementos fundamentales de los métodos formales, como la sintaxis formal y la semántica, y especialmente las técnicas comunes aplicadas en el modelado formal y la verificación de sistemas híbridos. Al investigar los estudios de casos exitosos, los lectores se darán cuenta de cómo aplicar la teoría y las técnicas puras a aplicaciones reales y, con suerte, se sentirán inspirados para comenzar a utilizar el enfoque propuesto, o incluso desarrollar sus propios métodos formales en su trabajo futuro. Nota de contenido: 1 Introduction -- 2 Preliminaries -- 3 Unifying Theories of Programming -- 4 Simulink -- 5 Stateflow and Its Combination with Simulink -- 6 Hybrid CSP -- 7 Hybrid Hoare Logic -- 8 The HHL Prover -- 9 Invariant Generation -- 10 Translating Simulink Diagrams into HCSP -- 11 Translating Simulink/Stateflow Diagrams into HCSP -- 12 From HCSP to Simulink -- 13 MARS A Toolkit for Modelling, Analysis and Verification of Hybrid Systems -- 14 Case Studies. 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 - 1 / 1) Par page : 25 50 100 200