Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução

A remoção de inconsistências em um projeto é menos custosa quando realizadas nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistências nas etapas iniciais de um projeto. Porém, a transformação de uma especificação formal para uma linguagem de programação é uma tarefa não trivial. Quando feita manualmente, é uma tarefa passível da inserção de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benefícios ao produto final a ser desenvolvido. Este trabalho propõe a extensão de uma ferramenta cujo foco é a tradução automática de especificações em CSPm para Handel-C. CSP é uma linguagem de descrição formal adequada para trabalhar com sistemas concorrentes. Handel-C é uma linguagem de programação cujo resultado pode ser compilado diretamente para FPGA's. A extensão consiste no aumento no número de operadores CSPm aceitos pela ferramenta, permitindo ao usuário definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Além disto, propomos também a implementação de um protocolo de comunicação que elimina algumas restrições da composição paralela de processos na tradução para Handel-C, permitindo que a comunicação entre múltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification

Distributed processing, reconfigurable processes and active network

The fast spread of the Internet and the increasing demands of the service are leading to radical changes in the structure and management of underlying telecommunications systems. Active networks (ANs) offer the ability to program the network on a per-router, per-user, or even per-packet basis, thus promise greater flexibility than current networks. To make this new network paradigm of active network being widely accepted, a lot of issues need to be solved. Management of the active network is one of the challenges. This thesis investigates an adaptive management solution based on genetic algorithm (GA). The solution uses a distributed GA inspired by bacterium on the active nodes within an active network, to provide adaptive management for the network, especially the service provision problems associated with future network. The thesis also reviews the concepts, theories and technologies associated with the management solution. By exploring the implementation of these active nodes in hardware, this thesis demonstrates the possibility of implementing a GA based adaptive management in the real network that being used today. The concurrent programming language, Handel-C, is used for the description of the design system and a re-configurable computer platform based on a FPGA process element is used for the hardware implementation. The experiment results demonstrate both the availability of the hardware implementation and the efficiency of the proposed management solution.

Beethovens Geburtszimmer im Beethovenhaus zu Bonn, ganz im alten Zustande erhalten. Die in diesem geweihten Raume stehende Marmorbüste von Prof. C. Voss ist alleiniges Eigenthum des Beethovenhauses und nicht im Handel.

Signatur des Originals: S 36/F02872

An Inside View of the Pantheon exhibiting their Majesties Box & c. as fitted up under the direction of Mr. James Wyatt, for the Commemoration of Handel.

Signatur des Originals: S 36/G03858

The Boston Handel and Haydn Society collection of church music : being a selection of the most approved psalm and hymn tunes, anthems, sentences, chants, &c. : together with many beautiful extracts from the works of Haydn, Mozart, Beethoven, and other eminent composers, harmonized for three and four voices, with a figured base for the organ and piano forte /

Mode of access: Internet.

Tankar om frihet i handel. Akademisk afhandling, hvilken med ampliss. consistorii Academici tillstånd samt med vidtlagfarna juridiska facultetens i Åbo samtycke ställes under offentlig granskning å Kejserl. Universitetet i juridiska lärosalen den 4 nov. 1826, f. m. af Michaël Tjeder. Åbo-bo

Dedikaatio: Handels-societeten i Åbo [ruots. pr.].

Die Judenfrage gegenüber dem deutschen Handel und Gewerbe : ein Manifest an die deutsche Nation

von Egon Waldegg [d.i. Alexander Pinkert]

Handel, Schacher und Wucher der Juden im Kalender für Zeit und Ewigkeit von Alban Stolz : ein Wort d. Verwahrung u. zur Abwehr

von L. Wolff

Briefe über die Moral des Handels : (voran ein Gewissensfall im Handel, nebst einem Schreiben v. Mendelssohn)

geschrieben im Jahr 1785 von David Friedländer

Der freie Handel in staatswirthschaftlicher und industrieller Bedeutung

Boberach: Ein Dialog erläutert die Vorteile des Freihandels für Deutschland

Der freie Handel und die Schutzzölle

Boberach: Die Deutsche Nationalversammlung muß Zunftzwang und Schutzzölle beseitigen, durch Freihandel die Industrie fördern

Der Kongo-Freistaat und der Handel : Antwort auf die Broschüre: "La Conférence de Bruxelles et les Pays-Bas" par "un ami de la vérité" (Antwerpen bei Max Ruef )

durch einen holländischen Kaufmann

Die künstlichen Dünger. Vorkommen, Handel, Fabrikation, und Bedeutung, derselben für die Landwirtschaft.

Mode of access: Internet.