Descargar la presentación
La descarga está en progreso. Por favor, espere
1
Especificación de sistemas embebidos Agustín J. González 1s06 Se ha tomado como base el material generado por Peter Marwedel de la Univ. Dortmund, Alemania
2
Specifications
3
Requerimientos de técnicas de especificación (1) Jerarquía : Debe poder representarla, 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 VHDL SystemC Verilog y System Verilog SpecC
Presentaciones similares
