Can Flash Memory Help in Model Checking?

• Název česky: Mohou flash paměti pomoci při ověřování modelu?
• Autoři: BARNAT Jiří; BRIM Luboš; EDELKAMP Stefan; SULEWSKI Damian; ŠIMEČEK Pavel
• Rok publikování: 2009
• Druh: Článek ve sborníku
• Konference: Formal Methods for Industrial Critical Systems
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://dx.doi.org/10.1007/978-3-642-03240-0_14
• Doi: https://doi.org/10.1007/978-3-642-03240-0_14
• Obor: Informatika
• Klíčová slova: Flash memory; SSD disks; Model Checking
• Popis: Technologie flash disků a pamětí se stala alternativou k pevným diskům. Tento článek zkoumá, zda algoritmy pro práci s externími mechanickými disky jsou stále dostatečně efektivní i pro práci s flash disky namísto pevných disků. V článku je definován nový model pro posuzování algoritmů pro práci s disky pro případ využití flash disků a je demonstrováno, že dedikované algoritmy pro flash disky mají svůj význam.

Související projekty

• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Vysoce paralelní a distribuované výpočetní systémy
• Automatizovaná verifikace softwaru