| dc.contributor.advisor | Herrmann, Peter | nb_NO |
| dc.contributor.advisor | Kraemer, Frank Alexander | nb_NO |
| dc.contributor.author | Gisnås, Øystein | nb_NO |
| dc.date.accessioned | 2014-12-19T14:11:47Z | |
| dc.date.available | 2014-12-19T14:11:47Z | |
| dc.date.created | 2010-09-02 | nb_NO |
| dc.date.issued | 2006 | nb_NO |
| dc.identifier | 346791 | nb_NO |
| dc.identifier | ntnudaim:1325 | nb_NO |
| dc.identifier.uri | http://hdl.handle.net/11250/261564 | |
| dc.description.abstract | 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. | nb_NO |
| dc.language | eng | nb_NO |
| dc.publisher | Institutt for telematikk | nb_NO |
| dc.subject | ntnudaim | no_NO |
| dc.subject | SIE7 kommunikasjonsteknologi | no_NO |
| dc.subject | Telematikk | no_NO |
| dc.title | A Constructive Approach to Support the Design of State Machines | nb_NO |
| dc.type | Master thesis | nb_NO |
| dc.source.pagenumber | 57 | nb_NO |
| dc.contributor.department | Norges teknisk-naturvitenskapelige universitet, Fakultet for informasjonsteknologi, matematikk og elektroteknikk, Institutt for telematikk | nb_NO |
