|
Descripción
|
|
|---|---|
| Increasing trend towards automatic code generation in real-time systems arising from model-driven engineering. Timing analysis tools can be integrated in MDE environments required for real-time analysis in critical systems. We have used such a setup to assess differences between manually-generated and tool-generated code. ? MBSDL (Model-Based Software Development Lifecycle) ? ESA project carried out by Indra, UPM, Unican ? Rapita Verification Suite (RVS) integrated in TASTE by UPM ? RVS data extracted from AADL and for implementation code ? Ocarina transformation scripts ? Structural analysis computes possible execution paths ? Dynamic analysis provides execution traces with time data ? used to estimate WCET values | |
|
Internacional
|
Si |
|
Nombre congreso
|
21st International Conference on Reliable Software Technologies - Ada-Europe 2016 |
|
Tipo de participación
|
960 |
|
Lugar del congreso
|
Pisa, Italy |
|
Revisores
|
Si |
|
ISBN o ISSN
|
0000-0000 |
|
DOI
|
|
|
Fecha inicio congreso
|
13/06/2016 |
|
Fecha fin congreso
|
17/06/2016 |
|
Desde la página
|
0 |
|
Hasta la página
|
0 |
|
Título de las actas
|
Poster session (no hay actas) |