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