Web Map
Location
News
Santander Info
|
| GIM>Research>Publication |
| PUBLICATION |
| |
| Full record |
| Title: | AADS+: AADL simulation including the Behavioral Annex |
| Type: | International Conference |
| Where: | Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems |
| Date: | 2010-03 |
| Authors: |
Roberto Varona
Eugenio Villar
|
| R&D Lines: |
Design and verification of HW/SW embedded systems
|
| Projects: |
ITEA 05015 SPICES
|
| ISBN: | 978-0-7695-40153 |
| PDF File: |
|
| Abstract: | 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.
|
|
|
