DocumentCode
144186
Title
Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (Short Paper)
Author
Rotondi Azevedo, Denise ; Ambrosio, Ana Maria ; Vieira, Marco
Author_Institution
Space Eng. & Technol., Nat. Inst. for Space Res., São José dos Campos, Brazil
fYear
2014
fDate
13-16 May 2014
Firstpage
194
Lastpage
197
Abstract
Specifying a resilience benchmark is a difficult task due to the complexity of the benchmark components and the need for standardization. Existing approaches for benchmark specification, including document-based and program-based approaches, are limited in terms of their scope and in the support they provide to the benchmark users. In this short paper we present the work we are conducting towards the definition of a description language for resilience benchmarks for the domain of satellite simulators.
Keywords
aerospace simulation; artificial satellites; formal specification; benchmark components; benchmark specification; document based approach; program based approach; resilience benchmarking description language; satellite simulator context; Benchmark testing; Computers; Data models; Resilience; Satellites; Solid modeling; XML; XML; description language; resilience benchmarking;
fLanguage
English
Publisher
ieee
Conference_Titel
Dependable Computing Conference (EDCC), 2014 Tenth European
Conference_Location
Newcastle
Type
conf
DOI
10.1109/EDCC.2014.19
Filename
6821105
Link To Document