• DocumentCode
    549754
  • Title

    SPECTS 2011/SummerSim 2011 keynote speech - 1: Modeling and simulation for complex design and verification

  • Author

    Fuchs, J.

  • fYear
    2011
  • fDate
    27-30 June 2011
  • Abstract
    Summary form only given. Modeling and simulation is often mentioned together. It is obvious that modeling is required to get to simulation, but there is also modeling which does not necessarily result in simulations, in particular dynamic simulations. Models are in that case an essential part of the design process and the formalization of the engineering information for different purposes. The presentation will highlight the uses of modeling and simulation in the system development lifecycle for complex space systems, addressing the uses in the design and development process as well as the application for the design and system verification. It will cover aspects such as modeling methodologies (including cross sectorial issues), simulators and related test benches, system of system modeling and some related standardization activities in the space domain.
  • Keywords
    aerospace engineering; formal verification; program testing; complex design modeling; complex design simulation; complex space systems; cross sectorial issues; design verification; dynamic simulations; engineering information; standardization activities; system development lifecycle; system modeling; system verification; test benches;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Performance Evaluation of Computer & Telecommunication Systems (SPECTS), 2011 International Symposium on
  • Conference_Location
    The Hague
  • Print_ISBN
    978-1-4577-0139-9
  • Type

    conf

  • Filename
    5984837