Grupo de Ingeniería Microelectrónica

Grupo de Ingeniería Microelectrónica

Departamento de Tecnología Electrónica, Ingeniería de Sistemas y Automática Universidad de Cantabria
Home   Personas   Investigación   Docencia   Doctorado   Publicaciones   Herramientas   Bolsa de Empleo   english version Wed 09-Oct-24 . 05:34



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.
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster