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
Especificación
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
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 ( forum.org) Redes de Petri: Método para especificar causalidad. UML: Unified modeling language. Java (entre otros: arnumber= arnumber= VHDL SystemC Verilog y System Verilog SpecC