02273oam 2200433zu 450 991014564470332120241212215414.097815386029351538602938(CKB)1000000000278016(SSID)ssj0000451908(PQKBManifestationID)12167272(PQKBTitleCode)TC0000451908(PQKBWorkID)10463764(PQKB)11242339(NjHacI)991000000000278016(EXLCZ)99100000000027801620160829d2005 uy engur|||||||||||txtccrHASE 2005: Ninth IEEE International Symposium on High Assurance Systems Engineering (12-14 October 2005/Heidelberg, Germany)[Place of publication not identified]IEEE Computer Society Press20051 online resource (xii, 173 pages) illustrationsBibliographic Level Mode of Issuance: Monograph9780769523774 0769523773 HASE 2005 focuses on the rapid development and increasing complexity of both software and hardware systems that impose tremendous challenges to systems engineers, in particular to the engineering of high assurance systems. This not only represents a growth trend for the conference, it also reflects the ever increasing importance of "assurance" in all the technology we have come to depend on in virtually all facets of life. The utility of computing technology, be it safety-critical, critical or service-critical, comes fundamentally from the trust we are able to put into it for sustained delivery of desired services. This year's proceedings addresses some of the challenges that systems engineers face. Special attention is paid to hard- and software testing, hardware verification and fault tolerant hard- and software architectures.Computer input-output equipmentCongressesComputer input-output equipment621.3984IEEE StaffPQKBPROCEEDING9910145644703321HASE 2005: Ninth IEEE International Symposium on High Assurance Systems Engineering (12-14 October 20052415246UNINA