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
Specifications
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
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.
Lenguajes de especificación StateChart: extensión de un diagrama de estados SDL: Specification and Description Language ( Redes de Petri: Método para especificar causalidad. UML: Unified modeling language. Java VHDL SystemC Verilog y System Verilog SpecC