Title :
Formal Architectural Analysis of Complex Computer Systems
Author :
Kurkovsky, Anatoly
Author_Institution :
Dept. of Math., Phys., & Comput. Sci., Univ. of the Sci. in Philadelphia, PA
Abstract :
Today, most computer systems are designed using off the shelf hardware and software components. This significantly accelerates the system development process but does not guarantee the quality of the finished product. In this paper we consider quality as a compliance of the designed computer system with the requirements of potential users. We assume that there are limited cost and hardware/software restrictions during the development process of a computer system. To measure the quality of the developed system architecture we use a set of specified effectiveness criteria
Keywords :
development systems; formal verification; microcomputers; complex computer systems; formal architectural analysis; hardware/software restrictions; Acceleration; Computer architecture; Costs; Data processing; Embedded software; Geophysics computing; Hardware; Process design; Real time systems; Software systems;
Conference_Titel :
System Theory, 2006. SSST '06. Proceeding of the Thirty-Eighth Southeastern Symposium on
Conference_Location :
Cookeville, TN
Print_ISBN :
0-7803-9457-7
DOI :
10.1109/SSST.2006.1619037
