A Constructive Approach to Support the Design of State Machines
Master thesis
Permanent lenke
http://hdl.handle.net/11250/261564Utgivelsesdato
2006Metadata
Vis full innførselSamlinger
Sammendrag
The components of telecommunication systems can be described by state machines that communicate by sending messages asynchronously. It is difficult to keep a component consistent with the other components it is connected to. Interface protcol descriptions can be used to specify the correct sequence of messages. This thesis provides a method to create the behavioural state machine of a component by using the protocol descriptions of its interfaces. The method takes a stepwise approach on the problem by limiting the design options for each transition. A prototype has been implemented and integrated into the Ramses tool suite. Tests so far show promising results increased development speed, better overview for the developer and consistency.