• 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