Mit der aktuellen Überarbeitung der Sprache SDL (Specification and Description Language) der ITU-T wurde die semantische Fundierung der formalen Definition dieser Sprache vollständig überarbeitet; die formale Definition basiert nun auf dem Kalkül der Abstract State Machines (ASMs). Ebenfalls neu definiert wurde das um objekt-orientierte Konzepte erweiterte Datentypsystem. Damit musste eine formale semantische Fundierung für diese neuen Konzepte gefunden werden. Der bisher verwendete Kalkül ACT.ONE sollte nicht mehr verwendet werden, da er schwer verwendbar, nicht implementierbar und nicht auf Objektsysteme erweiterbar ist. In der vorliegenden Arbeit werden die Prinzipien einer formalen Sprachdefinition dargelegt und die Umsetzung dieser Prinzipien für die Sprache SDL-2000 vorgestellt. Dabei wird erläutert, dass eine konsistente Sprachdefinition nur dadurch erreicht werden konnte, dass die Definition der formalen Semantik der Sprache parallel mit der Entwicklung der informalen Definition erfolgte. Dabei deckt die formale Sprachdefinition alle Aspekte der Sprache ab: Syn-tax, statische Semantik und dynamische Semantik. Am Beispiel der Datentypsemantik wird erläutert, wie jeder dieser Aspekte informal beschrieben und dann formalisiert wurde. Von zentraler Rolle für die Anwendbarkeit der formalen Semantikdefinition in der Praxis ist der Einsatz von Werkzeugen. Die Arbeit erläutert, wie aus der formalen Sprachdefinition voll-automatisch ein Werkzeug generiert wurde, das die Sprache SDL implementiert, und wie die durch die Umsetzung der formalen Semantikdefinition in ein Werkzeug Fehler in dieser Definition aufgedeckt und behoben werden konnten. / With the latest revision of ITU-T SDL (Specification and Description Language), the semantic foundations of the formal language definition were completely revised; the formal definition is now based on the calculus of Abstract State Machines (ASMs). In addition, the data type system of SDL was revised, as object-oriented concepts were added. As a result, a new semantical foundation for these new concepts had to be defined. The ACT.ONE calculus that had been used so far was not suitable as a foundation any more, as it is hard to use, unimplementable and not extensible for the object oriented features. In this thesis, we elaborate the principles of a formal language definition, and the realisation of these principles in SDL-2000. We explains that a consistent language definition can only be achieved by developing the formal semantics definition in parallel with the development of the informal definition. The formal language definition covers all aspects of the language: syntax, static semantics, and dynamic semantics. Using the data type semantics as an example, we show how each of these aspects is informally described, and then formalized. For the applicability of the formal semantics definition for practitioners, usage of tools plays a central role. We explain how we transform the formal language definition fully automatically into a tool that implements the language SDL. We also explain how creating the tool allowed us to uncover and correct errors in the informal definition.

Orientador: Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-04T00:33:45Z (GMT). No. of bitstreams: 1 Chung_StellaWingKwan_M.pdf: 1574709 bytes, checksum: 0da0dcfc25970e0c769f10026ff0c99f (MD5) Previous issue date: 2004 / Resumo: Este trabalho apresenta propostas de mobilidade para os protocolos H.323 e SIP. Para o protocolo H.323, são desenvolvidos sistemas com mobilidade intra-dominio, inter-dominios e inter-dominios em conjunto com os novos conceitos do protocolo H.510. Estas propostas se basearam na solução de mobilidade desenvolvida por Liao utilizando a expansão da conferencia ad hoc multiponto para realizar roaming e handoff em um estabelecimento de chamada entre terminais moveis H.323. Para o SIP, é desenvolvido o sistema com mobilidade inter-dominios para o estabelecimento de sess~ao entre terminais moveis SIP. Esta proposta se baseia na solução de mobilidade desenvolvida por Chen, Moh e Berquin utilizando a conferencia multiponto com a presença da MCU para realizar roaming e handoff. Todos estes sistemas foram especificados utilizando a linguagem de especificação formal SDL orientada a objeto a partir da ferramenta SDL TAU Suite. Esta ferramenta permite simular os sistemas a partir dos diagramas em MSC e validar os sistemas para detecção e correção de eventuais erros de logica e de especificação / Abstract: This work describes some proposals for mobility extension to H.323 and SIP protocols. The new proposals for H.323 involve intrazone and interzone mobility, and interzone mobility using resources with new entities, signallings and functions from H.510. Based on the mobility solution developed by Liao, these new systems have demonstrated how H.323 could be extended in order to offer mobility using ad hoc multipoint conference for roaming and handoff during a call establishment between H.323 mobile terminals. The other proposal is a system with interzone mobility using multipoint conference with MCU for roaming and handoff during a call establishment between SIP mobile terminals. This system is based on Chen, Moh and Berquin mobility solution. All these systems were specified using the SDL object-oriented formal language with SDL TAU Suite tool. This tool allows the simulation of the systems with MSC diagrams and the validation of the systems by detecting and correcting logical and specification errors / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

Orientador: Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-23T08:02:09Z (GMT). No. of bitstreams: 1 Macario_CarlaGeovanadoNascimento_M.pdf: 8704471 bytes, checksum: bee9de6493b42d0139961cb43f32cb24 (MD5) Previous issue date: 1997 / Resumo: Este trabalho propõe uma metodologia alternativa para o desenvolvimento e evolução do AIOA, um software para o gerenciamento e análise de dados experimentais, em desenvolvimento na Embrapa. Esta nova metodologia consiste no uso combinado da técnica OMT (Object Modeling Technique) com a linguagem de especificação formal SOL (Specification and Oescription Language), e apresenta facilidades que produzem ga¿n ANTPOT. H¿os no processo de desenvolvimento de software, como a possibilidade de validação e de simulação do sistema, e também a geração de código para sua prototipação. A partir do modelo de classes proposto pela OMT, passa-se à especificação do sistema em SOL, levando-se em conta na elaboração de ambos os modelos, conceitos como reuso, herança e evolução de sistemas. A validação, a simulação e a geração de código do sistema tornam-se possíveis com o uso da ferramenta CASE SOT1(SOL Oesign Tool - Telelogic, Suécia). É apresentada a evolução do ambiente AIOA centralizado até uma versão distribuída, considerando uma arquitetura cliente-servidor com mecanismo CORBA, bem como exemplos de simulação e de validação destes sistemas / Abstract: The present work proposes an alternative methodology for the development and evolution of AIOA, a software environment for the management and analysis of experimental data, being developed at Embrapa, Brazil. This new technique consists of the combined use of OMT (Object Modeling Technique) with the formal specification language SDL (Specification and Description Language), in its 1992 version SDL-92, presenting strong facilities on the software development process, allowing the validation, simulation and eventual code generation for software prototyping. From the system object model and after mapping to SOL-92, the formal specification is generated considering concepts such as reuse, inheritance, and system evolution. The validation, the simulation and code generation of the system is allowed through the use of the CASE tool SOT (SOL Oesign Tool - Telelogic, Sweden). The specification of the centralized AIOA to its evolution to distributed version are presented, validated and simulated. This is followed up with a specialization and validation of thedistributed AIOA, considering an arquitecture client-server with CORBA mechanism / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-12-13T15:34:18Z No. of bitstreams: 1 Dissertação - Mitsuyoshi N. Carvalho.pdf: 2218487 bytes, checksum: dee728ee846d66a58515c2e64c63ff4f (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-12-13T15:35:18Z (GMT) No. of bitstreams: 1 Dissertação - Mitsuyoshi N. Carvalho.pdf: 2218487 bytes, checksum: dee728ee846d66a58515c2e64c63ff4f (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-12-13T15:35:51Z (GMT) No. of bitstreams: 1 Dissertação - Mitsuyoshi N. Carvalho.pdf: 2218487 bytes, checksum: dee728ee846d66a58515c2e64c63ff4f (MD5) / Made available in DSpace on 2016-12-13T15:35:51Z (GMT). No. of bitstreams: 1 Dissertação - Mitsuyoshi N. Carvalho.pdf: 2218487 bytes, checksum: dee728ee846d66a58515c2e64c63ff4f (MD5) Previous issue date: 2013-02-28 / FINEP - Financiadora de Estudos e Projetos / The Common Channel Signaling System No. 7 (SS7) is one of the most important signaling systems used in today’s telecommunication networks and continues to be used on new architectures of fixed and mobile telephony. This dissertation presents an implementation for the control functions of the Signaling System Number 7 level 2 (referred in this work as MTP2-H) using the VHDL as the hardware description language. The specification of the control functions for the SS7 level 2 is made by using SDL diagrams described in Recommendation Q.703 of ITU-T. To accomplish the implementation, a methodology was developed for conversion of systems described in SDL to VHDL, consisting of a set of rules and a standard VHDL model that were applied on those SDL diagrams. The implementation was performed in order to provide the modularity and portability characteristics to the generated code. This way, the developed module can be replicated as many times as necessary in a programmable logic component (respecting the limitations of the component) and can also be synthesized in components from different manufacturers. The validation of implementation was done by means of functional tests using the Modelsim simulation tool. The developed code was compiled in development tools from different manufacturers to validate the portability feature and to estimate the amount of resources required in programmable logic components. / O Sistema de Sinalização por Canal Comum número 7 (SS7) é um dos mais importantes sistemas de sinalização utilizado em redes atuais de telecomunicações e continua a ser usado em novas arquiteturas tanto de telefonia fixa como móvel. O presente trabalho de dissertação apresenta a implementação das funções de controle do nível 2 do Sistema de Sinalização número 7 (denominado nesse trabalho como MTP2-H) utilizando a linguagem de descrição de hardware VHDL. A especificação das funções de controle do nível 2 do SS7 é feita através de diagramas em linguagem SDL na recomendação Q.703 do ITU-T. Para realizar a implementação, foi desenvolvida uma metodologia para conversão de sistemas descritos em SDL para VHDL, composta por um conjunto de regras e um modelo padrão em VHDL que foram aplicados nos referidos diagramas SDL. A implementação foi realizada de forma a proporcionar características de modularidade e portabilidade ao código gerado. Com isso, o módulo desenvolvido poderá ser replicado o número de vezes em que for necessário em um componente de lógica programável (respeitando as limitações do componente) e também poderá ser sintetizado em componentes de diferentes fabricantes. A validação da implementação foi feita por meio de testes funcionais utilizando a ferramenta de simulação Modelsim. O código desenvolvido foi compilado em ferramentas de desenvolvimento de diferentes fabricantes para validar a característica de portabilidade e para estimar a quantidade de recursos necessários nos componentes de lógica programáveis.

Orientador: Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-04T00:34:51Z (GMT). No. of bitstreams: 1 Castro_MarcelCavalcantide_M.pdf: 1488533 bytes, checksum: 5a2e57ba0fe96d5603c60ef84835b558 (MD5) Previous issue date: 2004 / Resumo: Este trabalho apresenta propostas de implementação de qualidade de serviço na arquitetura VPN MPLS e analise de desempenho destas propostas. São desenvolvidos sistemas com base na arquitetura VPN MPLS e sugerido uma proposta de expansão da arquitetura VPN MPLS para mapeamento dinamico das prioridades dos clientes VPN na rede do provedor de serviço atraves da inserção do valor de prioridade de rota na tabela vrf e modificações realizadas no protocolo MP-BGP. As propostas foram especificadas utilizando a linguagem de especificação formal SDL orientada a objetos a partir da ferramenta SDL TAU Suite. Esta ferramenta permite simular os sistemas especificados, a partir de diagramas MSC, e validar estes sistemas para detecção e correção dos erros de logica e de especificação. A analise de desempenho das propostas foi realizada com o uso do simulador Opnet Modeler / Abstract: This work describe proposals for the implementation of quality of service (QoS) in VPN MPLS architecture, and their performance analysis based on simulations are presented. New systems are developed based on the VPN MPLS architecture, and it is being proposed an extension for the VPN MPLS architecture to construct a dynamic mapping of VPN clients priorities into service provider network through the insertion of priority field at vrf table and MP-BGP protocol modification. All these systems were specified using the SDL object-oriented formal language with the SDL TAU Suite tool (Telelogic, Sweden). This tool allows the simulation with MSC diagrams of the specified systems, and the validation of these systems by detecting and correcting logical and specification errors. The performance analysis of these proposals were realized through the Opnet Modeler simulator / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

<p>Network on Chip is a scalable and flexible communication infrastructure for the design of core based System on Chip. Communication performance of a NoC depends heavily on the routing algorithm. Deterministic and adaptive distributed routing algorithms have been advocated in all the current NoC architectural proposals. In this thesis we make a case for the use of source routing for NoCs, especially for regular topologies like mesh. The advantages of source routing include in-order packet delivery; faster and simpler router design; and possibility of mixing non-minimal paths in a mainly minimal routing. We propose a method to compute paths for various communications in such a way that traffic congestion is avoided while ensuring deadlock free routing. We also propose an efficient scheme to encode the paths.</p><p>We developed a tool in Matlab that computes paths for source routing for both general and application specific communications. Depending upon the type of traffic, this tool computes paths for source routing by selecting best routing algorithm out of many routing algorithms. The tool uses a constructive path improvement algorithm to compute paths that give more uniform link load distribution. It also generates different types of traffics. We also developed a simulator capable of simulating source routing for mesh topology NoC. The experiments and simulations which we performed were successful and the results show that the advantages of source routing especially lower packet latency more than compensate its disadvantages. The results also demonstrate that source routing can be a good routing candidate for practical core based SoCs design using network on chip communication infrastructure.</p>

This thesis describes extensions to state machines in the Umple model-oriented programming language to offer queued state machines (QSM), pooled state machines (PSM) and handing of the arrival of unexpected events. These features allow for modeling the behavior of a system or protocol in a more accurate way in Umple because they enable detecting and fixing common design errors such as unspecified receptions. In addition, they simplify the communication between communicating state machines by allowing for asynchronous calls of events and passing of messages between state machines. Also, a pooled state machine (PSM) has been developed to provide a different policy of handling events that avoid unspecified receptions. This mechanism has similar semantics as a queued state machine, but it differs in the way of detecting unspecified receptions because it helps handling these errors. Another mechanism has been designed to use the keyword ‘unspecified’ in whatever state of a state machine the user wants to detect these errors. In this thesis, the test-driven development (TDD) process has been followed to first modify the Umple syntax to add ‘queued,’ ‘pooled,’ and ‘unspecified’ keywords to Umple state machine’s grammar; and second, to make a change to the Umple semantics in order to implement these extensions in Umple. Then, additional modifications have been made to allow for Java code generation from those types of state machines. Finally, more test cases have been written to ensure that these models are syntactically and semantically correct. In order to show the usefulness and usability of these new features, an example is shown as a case study that is modeled using the queued state machine (QSM) besides other small tests cases.

Network on Chip is a scalable and flexible communication infrastructure for the design of core based System on Chip. Communication performance of a NoC depends heavily on the routing algorithm. Deterministic and adaptive distributed routing algorithms have been advocated in all the current NoC architectural proposals. In this thesis we make a case for the use of source routing for NoCs, especially for regular topologies like mesh. The advantages of source routing include in-order packet delivery; faster and simpler router design; and possibility of mixing non-minimal paths in a mainly minimal routing. We propose a method to compute paths for various communications in such a way that traffic congestion is avoided while ensuring deadlock free routing. We also propose an efficient scheme to encode the paths. We developed a tool in Matlab that computes paths for source routing for both general and application specific communications. Depending upon the type of traffic, this tool computes paths for source routing by selecting best routing algorithm out of many routing algorithms. The tool uses a constructive path improvement algorithm to compute paths that give more uniform link load distribution. It also generates different types of traffics. We also developed a simulator capable of simulating source routing for mesh topology NoC. The experiments and simulations which we performed were successful and the results show that the advantages of source routing especially lower packet latency more than compensate its disadvantages. The results also demonstrate that source routing can be a good routing candidate for practical core based SoCs design using network on chip communication infrastructure.