• DocumentCode
    3125870
  • Title

    Rethinking system-level development: striving for coherency, certitude, and realizability

  • Author

    Mulcare, Oenriis B.

  • Author_Institution
    SAIC, Warner Robins, GA, USA
  • fYear
    1995
  • fDate
    1995
  • Firstpage
    143
  • Lastpage
    150
  • Abstract
    Superior system level development of computer based systems (CBSs) demands a rigorous approach that authoritatively defines an integrated design solution before proceeding very far with customary pro forma documentation. Such an approach would early on address issues like overall concurrency logic, real time performance, and system management overhead in a unified and exacting manner. The prototype model presented mainly addresses the architectural dynamics of the nascent system infrastructure. Accordingly, the modeling captures the absolute time based behavior of abstract active system elements. This focus enables the precise definition of the logical interfaces for concurrency interactions and the quantitative determination of sizing and timing parameters for a system level design solution. Once the system specification is prepared, the infrastructure prototype model is elaborated to acknowledge physical component allocations. The system level concurrency logic and the quantitative parameters are then apportioned over the physical component models. Upon verification and optimization, these details are inserted in the respective top level component specifications.
  • Keywords
    formal specification; software prototyping; systems analysis; absolute time based behavior; abstract active system elements; architectural dynamics; computer based systems; concurrency interactions; concurrency logic; infrastructure prototype model; integrated design solution; logical interfaces; nascent system infrastructure; physical component allocations; prototype model; quantitative determination; quantitative parameters; real time performance; rigorous approach; system level design solution; system level development; system management overhead; system specification; timing parameters; Concurrent computing; Documentation; Logic; Prototypes; Real time systems; System-level design; Timing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Systems Engineering of Computer Based Systems, 1995., Proceedings of the 1995 International Symposium and Workshop on
  • Conference_Location
    Tucson, AZ, USA
  • Print_ISBN
    0-7803-2531-1
  • Type

    conf

  • DOI
    10.1109/ECBS.1995.521850
  • Filename
    521850