skip to main content
10.1145/1400751.1400854acmconferencesArticle/Chapter ViewAbstractPublication PagespodcConference Proceedingsconference-collections
demonstration

Extracting models from design documents with mapster

Published: 18 August 2008 Publication History

Abstract

We cannot apply PODC methodologies to industrial designs without formal models of the designs. Formal models are usually hard to find. We have built a tool that extracts formal models directly from design documents.

References

[1]
M. Azimi, C.-T. Chou, A. Kumar, V. W. Lee, P. K. Mannava, and S. Park. Experience with applying formal methods to protocol specification and system architecture. Formal Methods in System Design, 22(2):109--116, Mar. 2003.
[2]
C. Heitmeyer, M. Archer, R. Bharadwaj, and R. Jeffords. Tools for constructing requirements specifications: The SCR toolset at the age of ten. International Journal of Computer Systems Science and Engineering, 20(1):19--35, Jan. 2005.
[3]
C. N. Ip and D. L. Dill. Better verification through symmetry. In Computer Hardware Description Languages and their Applications, pages 97--111, Apr. 1993.
[4]
D. Parnas. Inspection of safety-critical software using program function tables. In Proceedings of the IFIP 13th World Computer Congress, pages 270---277, Aug. 1994.

Cited By

View all
  • (2021)SSEL: An Extensible Specification Language for SoC Security2021 Asian Hardware Oriented Security and Trust Symposium (AsianHOST)10.1109/AsianHOST53231.2021.9699640(1-6)Online publication date: 16-Dec-2021
  • (2015)Transaction flows and executable modelsProceedings of the 15th Conference on Formal Methods in Computer-Aided Design10.5555/2893529.2893558(168-175)Online publication date: 27-Sep-2015
  • (2015)Transaction flows and executable models: formalization and analysis of message-passing protocols2015 Formal Methods in Computer-Aided Design (FMCAD)10.1109/FMCAD.2015.7542267(168-175)Online publication date: Sep-2015
  • Show More Cited By

Index Terms

  1. Extracting models from design documents with mapster

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    PODC '08: Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing
    August 2008
    474 pages
    ISBN:9781595939890
    DOI:10.1145/1400751
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 18 August 2008

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. industrial design
    2. models
    3. verification

    Qualifiers

    • Demonstration

    Conference

    PODC '08

    Acceptance Rates

    Overall Acceptance Rate 740 of 2,477 submissions, 30%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)1
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 17 Jan 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2021)SSEL: An Extensible Specification Language for SoC Security2021 Asian Hardware Oriented Security and Trust Symposium (AsianHOST)10.1109/AsianHOST53231.2021.9699640(1-6)Online publication date: 16-Dec-2021
    • (2015)Transaction flows and executable modelsProceedings of the 15th Conference on Formal Methods in Computer-Aided Design10.5555/2893529.2893558(168-175)Online publication date: 27-Sep-2015
    • (2015)Transaction flows and executable models: formalization and analysis of message-passing protocols2015 Formal Methods in Computer-Aided Design (FMCAD)10.1109/FMCAD.2015.7542267(168-175)Online publication date: Sep-2015
    • (2014)Shape and ContentIntegrated Formal Methods10.1007/978-3-319-10181-1_1(3-17)Online publication date: 2014

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media