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
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;
Conference_Titel :
Dependable Computing Conference (EDCC), 2014 Tenth European
Conference_Location :
Newcastle
DOI :
10.1109/EDCC.2014.19