Especificación de sistemas embebidos Agustín J. González 1s07 Se ha tomado como base el material generado por Peter Marwedel de la Univ. Dortmund, Alemania.

Presentación del tema: "Especificación de sistemas embebidos Agustín J. González 1s07 Se ha tomado como base el material generado por Peter Marwedel de la Univ. Dortmund, Alemania."— Transcripción de la presentación:

1 Especificación de sistemas embebidos Agustín J. González 1s07 Se ha tomado como base el material generado por Peter Marwedel de la Univ. Dortmund, Alemania

2 Especificación

3 Requerimientos de técnicas de especificación (1) Jerarquía : Debe poder representar jerarquías (abstracciones), el hombre no puede manejar más de ~5 objetos a la vez. Expresar comportamiento en el tiempo Expresar comportamiento orientado a estados Manejo de eventos externos o internos Manejo de excepciones adecuadamente

4 Requerimientos de técnicas de especificación (2) Concurrencia Sincronización y comunicaciones Que se pueda ejecutar Expresar propiedades no funcionales como consumo, peso, etc. Ningún lenguaje cumple todos los requerimientos.

5 Lenguajes de especificación StateChart: extensión de un diagrama de estados SDL: Specification and Description Language (WWW.sdl- forum.org) Redes de Petri: Método para especificar causalidad. UML: Unified modeling language. Java (entre otros: http://ieeexplore.ieee.org/iel4/4236/15040/00683797.pdf? arnumber=683797 http://ieeexplore.ieee.org/iel4/4236/15040/00683797.pdf? arnumber=683797 http://java.sun.com/javase/embedded/index.jsp) VHDL SystemC Verilog y System Verilog SpecC