• DocumentCode
    3783885
  • Title

    System modeling in the COSMA environment

  • Author

    W.B. Daszczuk;W. Grabski;J. Miescicki;J. Wytrebowicz

  • Author_Institution
    Inst. of Comput. Sci., Warsaw Univ. of Technol., Poland
  • fYear
    2001
  • fDate
    6/23/1905 12:00:00 AM
  • Firstpage
    152
  • Lastpage
    157
  • Abstract
    The aim of this paper is to demonstrate how the COSMA environment can be used for system modeling. This environment is a set of tools based on concurrent state machines paradigm and is developed in the Institute of Computer Science at the Warsaw University of Technology. Our demonstration example is a distributed brake control system dedicated for a railway transport. The paper shortly introduces COSMA. Next it shows how the example model can be validated by our temporal logic analyzer.
  • Keywords
    "Modeling","Computer science","Hardware","Engines","Protocols","Automata","Distributed control","Control systems","Logic","Safety"
  • Publisher
    ieee
  • Conference_Titel
    Digital Systems Design, 2001. Proceedings. Euromicro Symposium on
  • Print_ISBN
    0-7695-1239-9
  • Type

    conf

  • DOI
    10.1109/DSD.2001.952264
  • Filename
    952264
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3783885