Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: In this work the real-time field bus PROFIBUS for industrial communication networks, is specified with the formal specification language LOTOS and its associated tools. The paper introduces the general characteristics of LOTOS and its related tools, and the main features of PROFIBUS, particularly related to its data link layer. The methodology and data types implemented are explained, with an instance of performance tests developed for the specification. With LOTOS specification of the PROFIBUS protocol, FDL based techniques will contribute to achieve more accurate designs and fast prototyping in the field of industrial communications.
['Perfecto Mariño', 'Francisco Poza', 'Miguel Angel Domínguez', 'J. Nogueira']
I am writing a research paper on a idea Formal specification applied to industrial LAN's design
[{"from": "human", "value": "I am writing a research paper on a idea Formal specification applied to industrial LAN's design"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: In this work the real-time field bus PROFIBUS for industrial communication networks, is specified with the formal specification language LOTOS and its associated tools. The paper introduces the general characteristics of LOTOS and its related tools, and the main features of PROFIBUS, particularly related to its data link layer. The methodology and data types implemented are explained, with an instance of performance tests developed for the specification. With LOTOS specification of the PROFIBUS protocol, FDL based techniques will contribute to achieve more accurate designs and fast prototyping in the field of industrial communications."}]