Descripción
|
|
---|---|
This paper describes some important aspects of high- integrity software development based on the authors? work. Current group research is oriented towards mixed- criticality partitioned systems, development tools, real- time kernels, and language features. The UPMSat-2 satellite software is being used as technology demonstra- tor and a case study for the assessment of the research results. The flight software that will run on the satellite is based on proven technology, such as GNAT/ORK+ and LEON3. There is an experimental version that is being built using a partitioned approach, aiming at assessing a toolset targeting partitioned multi-core em- bedded systems. The singularities of both approaches are discussed, as well as some of the tools that are being used for developing the software. | |
Internacional
|
Si |
JCR del ISI
|
No |
Título de la revista
|
Ada User Journal |
ISSN
|
1381-6551 |
Factor de impacto JCR
|
|
Información de impacto
|
|
Volumen
|
35 |
DOI
|
|
Número de revista
|
1 |
Desde la página
|
55 |
Hasta la página
|
60 |
Mes
|
MARZO |
Ranking
|