• DocumentCode
    954701
  • Title

    CARH: service-oriented architecture for validating system-level designs

  • Author

    Patel, Hiren D. ; Mathaikutty, Deepak A. ; Berner, David ; Shukla, Sandeep K.

  • Author_Institution
    Virginia Polytech. Inst., Virginia Polytech. Inst. & State Univ., Blacksburg, VA, USA
  • Volume
    25
  • Issue
    8
  • fYear
    2006
  • Firstpage
    1458
  • Lastpage
    1474
  • Abstract
    Existing system-level design languages (SLDLs) and frameworks mainly provide a modeling and a simulation framework. However, there is an increasing demand for supporting tools to aid designers in quick and faster design space and architectural exploration. As a result, numerous tools such as integrated development environments (IDEs) and others that help in debugging, visualization, validation, and verification are commonly employed by designers. As with most tools, they are targeted for a specific purpose, making it difficult for designers to possess all desired features from one particular tool. Only public-domain tools can be easily extended or interfaced with other existing tools, which a lot of the existing commercial tools do not promote. Having an extendable framework allows designers to implement their own desirable features and incorporate them into their framework. However, for technology reuse and transfer, it is important to have a tidy infrastructure for interfacing the extension with the framework, such that the added solution is not highly coupled with the environment, making distribution and deployment to other frameworks difficult, if not impossible. This requires a plug-and-play framework where features can be easily integrated. These issues of extendibility, deployment, and the inadequacies in SLDLs and frameworks are tackled by presenting a service-oriented architecture for validating SLDs for SystemC, called CARH, We code name our software systems after famous computer scientists. CARH which uses a variety of open-source technologies such as Doxygen, Apache´s Xerces extensible markup language parsers, SystemC, and the adaptive communication environment (ACE) object request broker.
  • Keywords
    computer debugging; data visualisation; distributed object management; middleware; program verification; public domain software; CARH; CORBA; debugging; integrated development environments; middleware; open-source technologies; public-domain tools; service-oriented architecture; validating system-level designs; validation; verification; visualization; Adaptive systems; Debugging; Open source software; Service oriented architecture; Software systems; Space exploration; Superluminescent diodes; System-level design; Visualization; XML; Common object request broker architecture (CORBA); SystemC; embedded system design; introspection; middleware; reflection; verification and validation;
  • fLanguage
    English
  • Journal_Title
    Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0278-0070
  • Type

    jour

  • DOI
    10.1109/TCAD.2005.857315
  • Filename
    1637736