• DocumentCode
    3723848
  • Title

    SPIN model checking for the BEE system

  • Author

    Chikatoshi Yamada;Sudhakar Ganti;D. Michael Miller

  • Author_Institution
    Department of Information and Communication Systems Engineering, Okinawa National College of Technology, Japan
  • fYear
    2015
  • Firstpage
    1
  • Lastpage
    6
  • Abstract
    This paper discusses the application of SPIN model checking to BEE platform Simulink models. In particular, Simulink Stateflow models are added to BEE platform models to facilitate checking using the SPIN tool. Algorithms are given for doing the necessary translations and we present empirical results to illustrate the application of the approach introduced in this paper. We also show how our tools allow SPIN to be used for model checking nondeterministic behaviour of BEE models.
  • Keywords
    "Computational modeling","Analytical models","Stators","Junctions","Hardware design languages"
  • Publisher
    ieee
  • Conference_Titel
    TENCON 2015 - 2015 IEEE Region 10 Conference
  • ISSN
    2159-3442
  • Print_ISBN
    978-1-4799-8639-2
  • Electronic_ISBN
    2159-3450
  • Type

    conf

  • DOI
    10.1109/TENCON.2015.7373092
  • Filename
    7373092
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3723848