抽象的な
A computational model for biomedical system
Sungeetha D, Vasumathi K Narayanan
In this paper, we discuss about the specification of timed state transition systems that communicate by binary and rendezvous interactions. The observed approach unfolds the state machines according to synchronization and timing requirements. The unfolded state transition diagrams has been used to approximate a global time and to verify the safety, liveness and fairness properties of the system. A Master, Worker and Assembler of laser speckle image processing system in biomedical engineering are used as running example to illustrate the approach and properties.
免責事項: この要約は人工知能ツールを使用して翻訳されており、まだレビューまたは確認されていません。