Ficha completa |
Título: | AADS+: AADL simulation including the Behavioral Annex |
Tipo: | Publicacion en Proceedings o Actas internacionales |
Lugar: | Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems |
Fecha: | 2010-03 |
Autores: |
Roberto Varona
Eugenio Villar
|
Líneas: |
Diseño y verificación de sistemas embebidos HW/SW
|
Proyectos: |
ITEA 05015 SPICES
|
ISBN: | 978-0-7695-40153 |
Fichero: |
|
Resumen: | AADL has been proposed for designing and analysing SW and HW architectures for real-time, mission-crital, embedded systems. In this paper AADS+ is proposed for AADL simulation and performance analysis enriched with behavior specification.
Paper. |