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
Link To Document :
بازگشت