Squeeze All the Power Out of Your Hardware to Verify Your Software!

• Název česky: Vymačkejte veškerou šťávu svého hardware pro verifikovaci vašeho software
• Autoři: BARNAT Jiří; BRIM Luboš
• Rok publikování: 2008
• Druh: Článek ve sborníku
• Konference: Leveraging Applications of Formal Methods, Verification and Validation
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: Parallel; LTL Model Checking
• Popis: 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.

Související projekty

• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Institut Teoretické Informatiky
• Automatizovaná verifikace softwaru