• DocumentCode
    1549242
  • Title

    Modelling a distributed real-time system for feedback control in a nuclear fusion experiment

  • Author

    Manduchi, G.

  • Author_Institution
    Consorzio RFX, Padova, Italy
  • Volume
    146
  • Issue
    2
  • fYear
    1999
  • fDate
    4/1/1999 12:00:00 AM
  • Firstpage
    96
  • Lastpage
    103
  • Abstract
    The paper presents a real time distributed application which is used for feedback control in a nuclear fusion experiment. The system employs a number of Texas TMS320C40 digital signal processors mounted on VME crates which communicate by means of dedicated communication ports and reflective memories. Owing to the distributed architecture of the system, a formal analysis was necessary to fully understand its behaviour and derive performance measures. The system has been modelled using interval time Petri nets, an extension of Petri nets which associates time intervals with transitions. Based on this model, an automated analysis tool has been developed and has been used to derive performance parameters, such as system throughput and delays
  • Keywords
    Petri nets; computerised control; digital signal processing chips; distributed processing; feedback; nuclear engineering computing; nuclear fusion; real-time systems; Texas TMS320C40 digital signal processors; VME crates; automated analysis tool; dedicated communication ports; distributed architecture; distributed real time system model; feedback control; formal analysis; interval time Petri nets; nuclear fusion experiment; performance measures; performance parameters; real time distributed application; reflective memories; system throughput;
  • fLanguage
    English
  • Journal_Title
    Software, IEE Proceedings -
  • Publisher
    iet
  • ISSN
    1462-5970
  • Type

    jour

  • DOI
    10.1049/ip-sen:19990399
  • Filename
    785343