DocumentCode
1655022
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
fYear
2006
Firstpage
29
Lastpage
33
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SSST.2006.1619037
Filename
1619037
Link To Document