Squeeze All the Power Out of Your Hardware to Verify Your Software!
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F08%3A00024322" target="_blank" >RIV/00216224:14330/08:00024322 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Squeeze All the Power Out of Your Hardware to Verify Your Software!
Original language description
The computer industry is undergoing a paradigm shift. Chip manufacturers are shifting development resources away from single- processor chips to a new generation of multi-processor chips, huge clusters of multi-core workstations are easily accessible everywhere, external memory devices, such as hard disks or solid state disks, are getting more powerful both in terms of capacity and access speed. This fundamental technological shift in core computing architecture will require a fundamental change in howwe ensure the quality of software. The key issue is that verification techniques need to undergo a similarly deep technological transition to catch up with the complexity of software designed for the new hardware. In this position paper we would like toadvocate the necessity of fully exploiting the power offered by the new computer hardware to make the verification techniques capable of handling next-generation software.
Czech name
Vymačkejte veškerou šťávu svého hardware pro verifikovaci vašeho software
Czech description
Počítačový průmysl prochází změnou paradigmatu. Výrobci HW dnes zdokonalují výkon svých čipů spíše než zrychlováním jednoho CPU jádra spíše zaváděním více jader do jednoho CPU. Navíc jsou běžně dostupné klastry pracovních stanic, výkoné a extrémně velkéexterní paměťová zařízení. Tato technologická změna vyžaduje fundamentální změnu ve způsobu, kterým je zajišťována kvalita software. V tomto článku obhajujeme potřebu změny dosud používaných algoritmů pro verifikaci software.
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Leveraging Applications of Formal Methods, Verification and Validation
ISBN
978-3-540-88478-1
ISSN
—
e-ISSN
—
Number of pages
15
Pages from-to
—
Publisher name
Springer
Place of publication
Berlin Heidelberg
Event location
Berlin Heidelberg
Event date
Jan 1, 2008
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000261596900042