Descripción
|
|
---|---|
High-integrity computer systems are usually required to go through a strict verication and validation process, often leading to certi cation according to some safety or security standard. Verication activities may include some kind of static analysis because some types of errors cannot be removed just with testing. Temporal analysis techniques are available for systems with hard real-time requirements, but they are limited to systems complying with a well-dened computational model and with a restricted semantics that ensures a predictable temporal behaviour. The Ravenscar prole implements such a model for Ada programs running on single processor platforms, but it cannot be used in distributed high-integrity real-time systems, which are becoming more and more common. This papers discusses the feasibility of designing a real-time middleware for distributed high-integrity Ada programs with an statically analysable behaviour, and the necessary language restrictions that should be used in order to enable the required predictability and timeliness properties. | |
Internacional
|
Si |
Nombre congreso
|
14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, |
Tipo de participación
|
960 |
Lugar del congreso
|
Brest, France |
Revisores
|
Si |
ISBN o ISSN
|
978-3-642-01923-4 |
DOI
|
10.1007/978-3-642-01924-1_2 |
Fecha inicio congreso
|
08/06/2009 |
Fecha fin congreso
|
12/06/2009 |
Desde la página
|
16 |
Hasta la página
|
29 |
Título de las actas
|
Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, |