GI LogoGI Logo
  • Login
Digital Library
    • All of DSpace

      • Communities & Collections
      • Titles
      • Authors
      • By Issue Date
      • Subjects
    • This Collection

      • Titles
      • Authors
      • By Issue Date
      • Subjects
Digital Library Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • English 
    • English
    • Deutsch
View Item 
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • INFORMATIK - Jahrestagung der Gesellschaft für Informatik e.V.
  • P192 - INFORMATIK 2011 - Informatik schafft Communities
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • INFORMATIK - Jahrestagung der Gesellschaft für Informatik e.V.
  • P192 - INFORMATIK 2011 - Informatik schafft Communities
  • View Item

Simulating a flash file system with CoreASM and Eclipse

Author:
Junker, Maximilian [DBLP] ;
Haneberg, Dominik [DBLP] ;
Schellhorn, Gerhard [DBLP] ;
Reif, Wolfgang [DBLP] ;
Ernst, Gidon [DBLP]
Abstract
The formal specification of a file system for flash memory is the first step towards its verification. But creating such a formal specification is complex and errorprone. Visualizing the system state and having an executable version of the specification helps to better understand the specified system. In this paper, we present an approach for simulating and visualizing specifications written in the Abstract State Machine (ASM) formalism. We extend the ASM execution engine CoreASM to execute ASMs written using algebraic specifications. Furthermore we develop an Eclipsebased visualization framework and integrate CoreASM into it. This enables us to create different abstract views of the CoreASM system state and allows the user to interact with the specification in an intuitive way. We apply our techniques to the visualization of an abstract specification of a flash memory file system and report on our experiences with CoreASM and Eclipse.
  • Citation
  • BibTeX
Junker, M., Haneberg, D., Schellhorn, G., Reif, W. & Ernst, G., (2011). Simulating a flash file system with CoreASM and Eclipse. In: Heiß, H.-U., Pepper, P., Schlingloff, H. & Schneider, J. (Hrsg.), INFORMATIK 2011 – Informatik schafft Communities. Bonn: Gesellschaft für Informatik e.V.. (S. 355-355).
@inproceedings{mci/Junker2011,
author = {Junker, Maximilian AND Haneberg, Dominik AND Schellhorn, Gerhard AND Reif, Wolfgang AND Ernst, Gidon},
title = {Simulating a flash file system with CoreASM and Eclipse},
booktitle = {INFORMATIK 2011 – Informatik schafft Communities},
year = {2011},
editor = {Heiß, Hans-Ulrich AND Pepper, Peter AND Schlingloff, Holger AND Schneider, Jörg} ,
pages = { 355-355 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
355.pdf26.21Kb PDF View/Open

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback

More Info

ISBN: 978-88579-286-4
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2011
Language: en (en)
Content Type: Text/Conference Paper
Collections
  • P192 - INFORMATIK 2011 - Informatik schafft Communities [324]

Show full item record


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.