Mapa Web
Localización
Noticias
Info Santander
Gestión BD
|
| GIM>Investigación>Publicación |
| PUBLICACION |
| |
| Ficha completa |
| Título: | Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness trade-off
|
| Tipo: | Capitulo de libro |
| Lugar: | Kiyofumi Tanaka: "Embedded Systems - Theory and Design Methodology", InTech, Croatia |
| Fecha: | 2012-02 |
| Autores: |
Fernando Herrera
Iñigo Ugarte
|
| Líneas: |
Especificación de sistemas embebidos
|
| Proyectos: |
FP7 IP 247999 COMPLEX
|
| ISBN: | 978-953-51-01673 |
| Fichero: |
|
| Resumen: | Este capítulo revisa diferentes aproximaciones y técnicas para el aseguramiento de la corrección de especificaciones concurrentes, para finalmente mostrar el compromiso existente entre flexibilidad en el uso de un lenguaje de especificación y la correción del código especificado. El capítulo se estructura de la siguiente manera. En la sección 2 se introduce un problema de especificación aparentemente simple con el que se muestra como un lenguaje rico tal como SystemC hace posible muchas soluciones correctas, pero también incorrectas y similares. Entonces, la sección 3 explora las posibilidades y limitaciones en el chequeo de uns especificación SystemC a través de la aplicación de técnicas de verificación basadas en simulación. Finalmente en la sección 4 se introduce una alternativa, basada en metodologías de especificación correcta-por-construcción y/o especificación para la verificación. La sección 5 da conclusiones acerca del compromiso existente entre flexibilidad en la especificación, y la posibilidad y costo de la verificación de la misma.
Book. |
|
|
