Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

Estabilização de sistemas fuzzy T-S incertos usando realimenta̧ão derivativa

In some practical problems, for instance, in the suppression of vibration in mechanical systems, the state-derivative signals are easier to obtain than the state signals. Thus, a method for state-derivative feedback design applied to uncertain nonlinear systems is proposed in this work. The nonlinear systems are represented by Takagi-Sugeno fuzzy models during the modeling of the problem, allowing to use Linear Matrix Inequalities (LMIs) in the controller design. This type of modeling ease the control design, because, LMIs are easily solved using convex programming technicals. The control design aimed at system stabilisation, with or without bounds on decay rate. The efficiency of design procedure is illustrated through a numerical example.

Optimal reactive power dispatch using stochastic chance-constrained programming

Deterministic Optimal Reactive Power Dispatch problem has been extensively studied, such that the demand power and the availability of shunt reactive power compensators are known and fixed. Give this background, a two-stage stochastic optimization model is first formulated under the presumption that the load demand can be modeled as specified random parameters. A second stochastic chance-constrained model is presented considering uncertainty on the demand and the equivalent availability of shunt reactive power compensators. Simulations on six-bus and 30-bus test systems are used to illustrate the validity and essential features of the proposed models. This simulations shows that the proposed models can prevent to the power system operator about of the deficit of reactive power in the power system and suggest that shunt reactive sourses must be dispatched against the unavailability of any reactive source. © 2012 IEEE.

Implementação de um ambiente computacional para ensino à distância

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Estudo das propriedades dinâmicas e sincronização no mapa de rede de Zaslavsky

Synchronization in nonlinear dynamical systems, especially in chaotic systems, is field of research in several areas of knowledge, such as Mechanical Engineering and Electrical Engineering, Biology, Physics, among others. In simple terms, two systems are synchronized if after a certain time, they have similar behavior or occurring at the same time. The sound and image in a film is an example of this phenomenon in our daily lives. The studies of synchronization include studies of continuous dynamic systems, governed by differential equations or studies of discrete time dynamical systems, also called maps. Maps correspond, in general, discretizations of differential equations and are widely used to model physical systems, mainly due to its ease of computational. It is enough to make iterations from given initial conditions for knowing the trajectories of system. This completion of course work based on the study of the map called ”Zaslavksy Web Map”. The Zaslavksy Web Map is a result of the combination of the movements of a particle in a constant magnetic field and a wave electrostatic propagating perpendicular to the magnetic field. Apart from interest in the particularities of this map, there was objective the deepening of concepts of nonlinear dynamics, as equilibrium points, linear stability, stability non-linear, bifurcation and chaos

Liberação de componentes do extrato de Casearia sylvestris Swartz empregando membranas de látex natural como suporte

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Domínios de potências fracionárias de operadores matriciais segundo Lasiecka-Triggiani

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Herstellung und physikochemische Charakterisierung von planaren gestützten Lipid-Modellmembran-Systemen

Es wurden funktionalisierte polymerunterstützte planare Phospholipid-Modellmembran-Systeme hergestellt und auf jeder Präparationsstufe eingehend charakterisiert. Dünne Polysaccharidfilme wurden in der Form von quellbaren Gelen auf oxidische Oberflächen aufgebracht und bezüglich ihres Quellungsverhaltens und der Oberflächeneigenschaften in Abhängigkeit vom Wassergehalt untersucht. Lipidmonoschichten unterschiedlicher Zusammensetzung wurden mittels Langmuir-Blodgett-Tranfer auf Polymersubstrate übertragen und bezüglich der Stärke der Lipid/Polymer Wechselwirkung, der lateralen Selbstdiffusion in Abhängigkeit von der Wasseraktivität, dem Spreitverhalten der monomolekularen Membran auf dem Substrat in Abhängigkeit von der Wasseraktivität und dem Lateraldruck der Monoschicht, sowie des Ausmaßes der Hydratation im Kopfgruppenbereich der Lipidmembran in Abhängigkeit von der Wasseraktivität mittels Fluoreszensondenmethoden (Fluoreszenzerholung nach Photobleichung (FRAP), Fluoreszenzmikroskopie und Fluoreszenzspektroskopie) untersucht. Diffusions- und Spreitverhalten von amphiphilen Monoschichten auf Polymersubstraten wurden auf der Basis von in dieser Arbeit entwickelten physikalischen Modellen diskutiert. Mittels Langmuir-Schäfer Transfer wurde auf polymerunterstützte Lipidmonoschichten eine zweite Monoschicht übertragen. Die somit erhaltenen Lipid-Doppelschichtmembranen wurden bezüglich ihrer Stabilität, der lateralen Struktur, der lateralen Selbstdiffusion, des Spreitverhaltens auf unbedeckte Bereiche sowie der Stärke der Membran/Substrat Wechselwirkung vermittels Fluoreszenzmikroskopie, FRAP und Interferenz-Kontrast-Mikroskopie (RICM) untersucht. Schließlich wurden substratgestützte Doppelschicht-Lipidmembranen mit als Protonenpumpen fungierenden integralen Membranproteinen versehen. Die laterale Selbstdiffusion der rekonstituierten Proteinmoleküle wurde mittels FRAP, die funktionale Aktivität der Protonenpumpen mit einem Ionen-sensitiven Feldeffekttransistor-Array analysiert.

Photofixierung von Lipidmembranen aus Glykolipopolymeren auf Goldoberflächen

Ziel war Herstellung und Charakterisierung festkörperunterstützter Membransysteme aus Glykolipopolymeren auf Goldoberflächen, mit elektrischen Eigenschaften, die denen der Schwarzfilmmembranen entsprechen. Um diese Eigenschaften mit impedanzspektroskopischen Techniken messen zu können, ist die Präparation der Membranen auf Goldfilmen notwendig. Eine direkte Verankerung der Glykolipopolymermoleküle (GLP) auf der Goldoberfläche ist nicht möglich, daher werden die untersuchten GLP mit Hilfe von photoreaktiven Molekülen kovalent auf der Goldoberfläche immobilisiert. Untersuchten Abstandhalter waren Thio-Polyethylenglykol und eine Mischung zweier Alkanthiole, bestehend aus 1-Thiohexanol und Bis-(Aminododecyl)-disulfid. Thio-PEG-Monoschichten zeigten sehr unterschiedliche Schichtdicken, weil die Moleküle auf der Oberfläche sehr unterschiedliche Konformationen annehmen können, die eine regelmässige Anordnung erschweren. Langmuir-Blodgett Übertrag sowie die durchgeführte photochemische Fixierung der GLP-Moleküle auf Thio-PEG Schichten führte zu Eigenschaften, die auf den Aufbau einer Lipidmonolage hinweisen. Diese stellte jedoch im Bereich der Lipidmoleküle keine geschlossene Schicht dar. Es kommen als Abstandhaltermoleküle für die Photofunktionalisierung nur Moleküle in Frage, die aufgrund ihrer Eigenschaften eine regelmässige Anordnung auf der Goldoberfläche anstreben. Diese Voraussetzung erfüllt am besten die Gruppe der Alkanthiole. Terminal funktionalisierte Alkanthiole müssen jedoch mit nicht oder anderweitig funktionalisierten Alkanthiolen verdünnt assembliert werden, um weitergehende Funktionalisierungen einzugehen. Die untersuchten GLP lassen sich aufgrund ihrer amphiphilen Struktur an der Wasser-Luft Grenzfläche vororientieren. In allen Fällen gelingt auch der Langmuir-Blodgett Übertrag der komprimierten Schicht, sowie, nach der für die Anbindung notwendigen Trocknung, die photochemisch kovalente Fixierung der Monoschicht durch Bestrahlung mit UV-Licht. Damit konnte erstmals die photochemisch kovalente Fixierung von GLPs auf der Goldoberfläche gezeigt werden. Untersuchungen erfolgten an einem Copolymer sowie zwei unterschiedlichen Homopolymermolekülen. Der unterschiedliche molekulare Aufbau der GLP spiegelt sich in ihrem Verhalten an der Wasser-Luft Grenzfläche sowie in den Eigenschaften der gebildeten Monoschichten wieder. Die Copolymer-Schichten zeigten sehr unterschiedliche Schichtdicken. Auch die EIS-Daten sind schlecht reproduzierbar. Dies ist auf die molekulare Struktur des Copolymers zurückzuführen. Gänzlich unterschiedlich verhalten sich die Homopolymere. Aufgrund ihrer Struktur lassen sie sich zu dichten Schichten komprimieren. Messungen der Fluoreszenzerholung nach Photobleichung (FRAP) zeigen homogene aber nicht fluide Schichten. Die photochemisch kovalente Fixierung des Moleküls auf der Goldoberfläche konnte durch SPR- sowie EIS-Messungen nachgewiesen werden. Die EIS-Messungen zeigen Werte, die sich in Bereichen der idealen Modellmembran bewegen. Der erfolgreiche Einbau von Valinomycin konnte bestätigt werden. FRAP Untersuchungen zeigten die Bildung homogener Schichten. Diese sind jedoch im Bereich der proximalen Lipidschicht nicht fluide. Um die Fluidität in Anlehnung an die Eigenschaften der natürlichen Membranen zu erhöhen, wurden die photochemisch kovalent fixierten Anker-Glykolipopolymer-Moleküle durch Mischung mit freien Lipiden lateral verdünnt. Auch die kovalente Fixierung der GLP-Bausteine innerhalb gemischten Schichten konnte erfolgreich demonstriert werden. Die Schichten zeigten sich jedoch, mit Ausnahme der Schichten aus 50mol% Homopolymer und 50mol% Lipid, inhomogen. Nach Photobleichung durch den Laserblitz kam es nur bei den 50mol%:50mol% -Schichten (Ho: Lipid) zur Erholung der Fluoreszenz, was auf das Vorliegen von beweglichen Lipidmolekülen innerhalb der Membran schliessen lässt. Der Versuch der Inkorporation von Valinomycin gelang ebenfalls. Alle genannten Ergebnisse deuten darauf hin, dass die molekulare Architektur der hergestellten Schichten durch die unterschiedlichen Längendimensionen des Homopolymer-Moleküls einerseits, sowie des Lipids andererseits nicht für alle Mischungsverhältnisse ausreichend stabil ist. Die für die kovalente Fixierung erforderliche Trocknung der Schicht führt zu einer deutlichen Verminderung des Wassergehaltes des Systems und einer daraus resultierenden starken Destabilisierung der aufgebauten Schichten. Insgesamt gesehen stellt somit die photochemische Fixierung der glykosidischen Homopolymer-Membranen ein vielversprechendes Modellsystem dar.

Induktion und Analyse spezifischer Immunantworten nach intranodaler Immunisierung mit RNA im murinen Modell

Die Wirksamkeit einer Vakzine ist von vielen Parametern abhängig. Dazu gehören unter anderen: das ausgewählte Antigen, die Formulation in der das Antigen benutzt wird sowie die Applikationsroute. Antigen-kodierende Ribonukleinsäuren (RNA) gilt heutzutage als eine sichere und effiziente Alternative zu traditionellen Impfstoff-Formulierungen, wie Peptiden, rekombinanten Proteinen, viralen Systemen oder DNA basierten Impfstoffen. Bezüglich des Applikationsortes repräsentiert der Lymphknoten ein optimales Milieu für die Interaktion zwischen antigenpräsentierenden Zellen und T-Zellen. Vor diesem Hintergrund war die Zielsetzung dieser Arbeit, ein auf direktem in vivo Transfer von Antigen-kodierender in vitro transkribierter RNA (IVT-RNA) basierendes Impfverfahren zu entwickeln, zu charakterisieren und auf seine anti-tumorale Wirksamkeit zu testen. In der vorliegenden Arbeit konnte gezeigt werden, dass dendritische Zellen (DCs) in vitro hocheffizient mit IVT-RNA transfiziert werden können und eine hohe stimulatorische Kapazität besitzen. Durch Sequenzmodifikation der IVT-RNA konnten wir die Transkriptstabilität und Translationseffizienz erhöhen was zu einer Steigerung der stimulatorischen Kapazität in vivo führte. Darüber hinaus untersuchten wir die Auswirkung der Insertion eines Signalpeptides 5’ sowie einer C-terminalen transmembran- und zytosolischen-Domäne eines MHC-Klasse-I-Moleküls am 3’ der Antigen-kodierenden Sequenz auf die Effizienz der MHC-Klasse-I und -II Präsentation. Wir konnten in vitro und in vivo nachweisen, dass diese Modifikation zu einer gesteigerten, simultanen Stimulation von antigenspezifischen CD4+ und CD8+ T-Zellen führt. Auf der Basis der optimierten Vektorkassetten etablierten wir die intranodale (i.n.) Transfektion von antigenpräsentierenden Zellen in der Maus. Dazu nutzten wir verschiedene Reportersysteme (eGFP-RNA, fluoreszensmarkierte RNA) und konnten zeigen, dass die intranodale Applikation von IVT-RNA zu selektiven Transfektion und Maturation lymphknotenresidenter DCs führt. Zur Untersuchung der immunologischen Effekte wurden in erster Linie auf Influenza-Hemagglutinin-A und Ovalbumin basierende Modellantigensysteme verwendet. Beide Antigene wurden als Antigen-MHC-Fusionskonstrukte genutzt. Als Responderzellen wurden TCR-transgene Lymphozyten verwendet, die MHC-Klasse-I oder -Klasse-II restringierte Epitope des Influenza-Hemagglutinin-A bzw. des Ovalbumin-Proteins erkennen. Wir konnten in vivo zeigen, dass die intranodale Immunisierung mit IVT-RNA zu einer effizienten Stimulation und Expansion von antigenspezifischen CD4+ und CD8+ T-Zellen in einer dosisabhängigen Weise führt. Funktionell konnte gezeigt werden, dass diese T-Zellen Zytokine sezernieren und zur Zytolyse befähigt sind. Wir waren in der Lage durch repetitive i.n. RNA Immunisierung ein ‚Priming’ CD8+ T-Zellen in naiven Mäusen sowohl gegen virale als auch gegen Tumor assoziierte Antigene zu erreichen. Die geprimten T-Zellen waren befähigt eine zytolytische Aktivität gegen mit spezifischem Peptid beladene Targetzellen zu generieren. Darüber hinaus waren wir in der Lage Gedächtnisszellen expandieren zu können. Abschließend konnten wir in Tumormodellen sowohl in prophylaktischen als auch in therapeutischen Experimenten zeigen dass die i.n. RNA Vakzination die Potenz zur Induktion einer anti-tumoralen Immunität besitzt.

Structural characterisation of tBLMs

Biological membranes are one of the vital key elements of life but are also highly complex architectures. Therefore, various model membrane systems have been developed to enable systematic investigations of different membrane related processes. A biomimetic model architecture should provide a simplified system, which allows for systematic investigation of the membrane while maintaining the essential membrane characteristics such as membrane fluidity or electrical sealing properties. This work has been focused on two complementary parts. In a first part, the behaviour of the whey protein ß-lactoglobulin (ßlg) at a membrane interface has been investigated. Protein-lipid interactions have been studied using Langmuir monolayers at the air-water interface and tethered bilayer lipid membranes. A combination of different surface analytical techniques such as surface plasmon spectroscopy, neutron reflectivity and electrochemical techniques allowed for a detailed analysis of the underlying processes. Those experiments showed that the protein adsorbed in native confirmation, slightly flattened, to hydrophobic monolayers. If hydrophilic bilayers with defects were present, ßlg penetrated the upper layer. Interactions with phospholipids were only observed if the protein was denatured beforehand. Experiments at the air-water interface showed a more rigid conformation of the protein at acidic pH compared to alkaline pH. In the second part of this work, the structure of different model membrane systems has been investigated. Solid supported membrane systems have been established as powerful biomimetic architectures, which allow for the systematic investigation of various membrane related processes. Additionally, these systems have been proposed for biosensing applications. Tethered bilayer lipid membranes (tBLMS) are one type of solid supported membranes. The structure of the anchor lipid that tethers the membrane to the solid support has a significant impact on the membrane properties. Especially the sub-membrane part, which is defined by the spacer group, is important for the biological activity of incorporated membrane proteins. Various anchor lipids have been synthesised with different spacer and anchor groups. An increase of the spacer length led to a direct increase of the water reservoir beneath the membrane. However, this elongation also resulted in an amplified roughness of the monolayer and subsequently to diminished mechanical and electrical bilayer qualities. Additionally, a cholesterol-spacer had been designed to modulate the membrane fluidity. Model membrane systems with additional cholesterol-spacer or upper bilayer leaflets with additional cholesterol also exhibited an increased water reservoir with only slightly diminished mechanical and electrical abilities. Both parts show that tBLMs are very effective model systems that can be applied as biomimetic platforms to study for example lipid-protein interactions. They also enable the incorporation of ion channels and allow for potential biosensing application.

Derivate des Ionentransporters Valinomycin

In der vorliegenden Arbeit wurden Derivate des Ionentransporters Valinomycin synthetisiert und als Sensorelemente in Modellmembransysteme inkorporiert. Als Modellmembranen wurden festkörpergestützte Lipiddoppelschichten (tBLMs, tethered bilayer lipid membranes) verwendet. rnValinomycin transportiert selektiv Kalium-Ionen durch Membranen, was durch einen Rückgang des Widerstandes über elektrochemische Messmethoden nachgewiesen werden kann. Es ist ein zyklisches Dodecadepsipeptid, das aus zwei verschiedenen Aminosäuren (L- und D-Valin) und  Hydroxysäuren (L Milchsäure und D Hydroxyisovaleriansäure) besteht. In dieser Arbeit wurde ein L Valin durch ein L-Lysin ausgetauscht, um eine freie Aminogruppe zum Anbinden verschiedenster Liganden zu erhalten. rnDie Synthese erfolgte in Lösung über einen linearen Decadepsipeptid-Precursor, hierbei wurde hauptsächlich mit Benzyl- und Boc-Schutzgruppen gearbeitet. An den Precursor wurden dann unterschiedlich modifizierte Lysin-Didepside gebunden und das daraus erhaltene lineare Dodecadepsipeptid zyklisiert.rnInsgesamt wurden sechs verschiedene Derivate synthetisiert, deren Ionentransportfähigkeit mit Hilfe eines angebundenen Liganden blockiert wurde. Diese Blockade kann entweder mechanisch durch Festhalten des Ionencarriers an der Oberfläche der Membran oder chemisch durch Einbringen einer Ladung erfolgen, da geladene Moleküle eine Membran nicht überwinden können. rnAcetyl-Lysin-Valinomycin wurde als Testsystem hergestellt, um zu zeigen, dass die Synthese einen funktionsfähigen Ionencarrier ergeben hatte. Im nächsten Schritt wurde Lysin-Valinomycin mit freier Aminogruppe synthetisiert, um es als pH-Sensor zu nutzen und damit zu überprüfen, ob das chemische Einbringen einer Ladung möglich ist. Es konnte ein pH abhängiger Kalium-Transport nachgewiesen werden, die Blockade der Ionentransportfähigkeit über eine eingebrachte Ladung ist somit möglich. rnAuf dem gleichen Konzept beruht Ferrocen-Valinomycin. Wird der Ferrocen-Ligand oxidiert, liegt eine positive Ladung vor und der Ionencarrier kann die Membran nicht mehr überwinden. Eine Reduktion macht diesen Prozess reversibel. Ferrocen-Valinomycin konnte innerhalb einer tBLM chemisch oxidiert und reduziert werden, dieses System kann somit als chemischer Redox-Sensor eingesetzt werden.rnEine mechanische Blockade liegt dem Biotin- und dem Sulfonamid-Valinomycin zugrunde. Dabei soll die Zugabe von Streptavidin bzw. BCA II (bovine Carboanhydrase) den Ionentransport durch die Membran stoppen. Beide Valinomycin-Derivate zeigten aber keine Ionentransportfähigkeit, eine Inkorporation in tBLMs konnte jedoch über SPR gezeigt werden. rnDie Synthese eines fluoreszenz-markierten (FITC) Valinomycins ergab zwar auch keinen transportfähigen Ionencarrier, aber mit diesem Derivat konnte der Diffusionskoeffizient von Valinomycin in sBLMs mit Hilfe von Fluorescence Recovery after photobleaching (FRAP) bestimmt werden.rn

Differential dynamic properties of scleroderma fibroblasts in response to perturbation of environmental stimuli.

Diseases are believed to arise from dysregulation of biological systems (pathways) perturbed by environmental triggers. Biological systems as a whole are not just the sum of their components, rather ever-changing, complex and dynamic systems over time in response to internal and external perturbation. In the past, biologists have mainly focused on studying either functions of isolated genes or steady-states of small biological pathways. However, it is systems dynamics that play an essential role in giving rise to cellular function/dysfunction which cause diseases, such as growth, differentiation, division and apoptosis. Biological phenomena of the entire organism are not only determined by steady-state characteristics of the biological systems, but also by intrinsic dynamic properties of biological systems, including stability, transient-response, and controllability, which determine how the systems maintain their functions and performance under a broad range of random internal and external perturbations. As a proof of principle, we examine signal transduction pathways and genetic regulatory pathways as biological systems. We employ widely used state-space equations in systems science to model biological systems, and use expectation-maximization (EM) algorithms and Kalman filter to estimate the parameters in the models. We apply the developed state-space models to human fibroblasts obtained from the autoimmune fibrosing disease, scleroderma, and then perform dynamic analysis of partial TGF-beta pathway in both normal and scleroderma fibroblasts stimulated by silica. We find that TGF-beta pathway under perturbation of silica shows significant differences in dynamic properties between normal and scleroderma fibroblasts. Our findings may open a new avenue in exploring the functions of cells and mechanism operative in disease development.

Differential dynamic properties of scleroderma fibroblasts in response to perturbation of environmental stimuli.

Diseases are believed to arise from dysregulation of biological systems (pathways) perturbed by environmental triggers. Biological systems as a whole are not just the sum of their components, rather ever-changing, complex and dynamic systems over time in response to internal and external perturbation. In the past, biologists have mainly focused on studying either functions of isolated genes or steady-states of small biological pathways. However, it is systems dynamics that play an essential role in giving rise to cellular function/dysfunction which cause diseases, such as growth, differentiation, division and apoptosis. Biological phenomena of the entire organism are not only determined by steady-state characteristics of the biological systems, but also by intrinsic dynamic properties of biological systems, including stability, transient-response, and controllability, which determine how the systems maintain their functions and performance under a broad range of random internal and external perturbations. As a proof of principle, we examine signal transduction pathways and genetic regulatory pathways as biological systems. We employ widely used state-space equations in systems science to model biological systems, and use expectation-maximization (EM) algorithms and Kalman filter to estimate the parameters in the models. We apply the developed state-space models to human fibroblasts obtained from the autoimmune fibrosing disease, scleroderma, and then perform dynamic analysis of partial TGF-beta pathway in both normal and scleroderma fibroblasts stimulated by silica. We find that TGF-beta pathway under perturbation of silica shows significant differences in dynamic properties between normal and scleroderma fibroblasts. Our findings may open a new avenue in exploring the functions of cells and mechanism operative in disease development.

Modelado en alto nivel con SystemC

El presente proyecto final de carrera titulado “Modelado de alto nivel con SystemC” tiene como objetivo principal el modelado de algunos módulos de un codificador de vídeo MPEG-2 utilizando el lenguaje de descripción de sistemas igitales SystemC con un nivel de abstracción TLM o Transaction Level Modeling. SystemC es un lenguaje de descripción de sistemas digitales basado en C++. En él hay un conjunto de rutinas y librerías que implementan tipos de datos, estructuras y procesos especiales para el modelado de sistemas digitales. Su descripción se puede consultar en [GLMS02] El nivel de abstracción TLM se caracteriza por separar la comunicación entre los módulos de su funcionalidad. Este nivel de abstracción hace un mayor énfasis en la funcionalidad de la comunicación entre los módulos (de donde a donde van datos) que la implementación exacta de la misma. En los documentos [RSPF] y [HG] se describen el TLM y un ejemplo de implementación. La arquitectura del modelo se basa en el codificador MVIP-2 descrito en [Gar04], de dicho modelo, los módulos implementados son: · IVIDEOH: módulo que realiza un filtrado del vídeo de entrada en la dimensión horizontal y guarda en memoria el video filtrado. · IVIDEOV: módulo que lee de la memoria el vídeo filtrado por IVIDEOH, realiza el filtrado en la dimensión horizontal y escribe el video filtrado en memoria. · DCT: módulo que lee el video filtrado por IVIDEOV, hace la transformada discreta del coseno y guarda el vídeo transformado en la memoria. · QUANT: módulo que lee el video transformado por DCT, lo cuantifica y guarda el resultado en la memoria. · IQUANT: módulo que lee el video cuantificado por QUANT, realiza la cuantificación inversa y guarda el resultado en memoria. · IDCT: módulo que lee el video procesado por IQUANT, realiza la transformada inversa del coseno y guarda el resultado en memoria. · IMEM: módulo que hace de interfaz entre los módulos anteriores y la memoria. Gestiona las peticiones simultáneas de acceso a la memoria y asegura el acceso exclusivo a la memoria en cada instante de tiempo. Todos estos módulos aparecen en gris en la siguiente figura en la que se muestra la arquitectura del modelo: Figura 1. Arquitectura del modelo (VER PDF DEL PFC) En figura también aparecen unos módulos en blanco, dichos módulos son de pruebas y se han añadido para realizar simulaciones y probar los módulos del modelo: · CAMARA: módulo que simula una cámara en blanco y negro, lee la luminancia de un fichero de vídeo y lo envía al modelo a través de una FIFO. · FIFO: hace de interfaz entre la cámara y el modelo, guarda los datos que envía la cámara hasta que IVIDEOH los lee. · CONTROL: módulo que se encarga de controlar los módulos que procesan el vídeo, estos le indican cuando terminan de procesar un frame de vídeo y este módulo se encarga de iniciar los módulos que sean necesarios para seguir con la codificación. Este módulo se encarga del correcto secuenciamiento de los módulos procesadores de vídeo. · RAM: módulo que simula una memoria RAM, incluye un retardo programable en el acceso. Para las pruebas también se han generado ficheros de vídeo con el resultado de cada módulo procesador de vídeo, ficheros con mensajes y un fichero de trazas en el que se muestra el secuenciamiento de los procesadores. Como resultado del trabajo en el presente PFC se puede concluir que SystemC permite el modelado de sistemas digitales con bastante sencillez (hace falta conocimientos previos de C++ y programación orientada objetos) y permite la realización de modelos con un nivel de abstracción mayor a RTL, el habitual en Verilog y VHDL, en el caso del presente PFC, el TLM. ABSTRACT This final career project titled “High level modeling with SystemC” have as main objective the modeling of some of the modules of an MPEG-2 video coder using the SystemC digital systems description language at the TLM or Transaction Level Modeling abstraction level. SystemC is a digital systems description language based in C++. It contains routines and libraries that define special data types, structures and process to model digital systems. There is a complete description of the SystemC language in the document [GLMS02]. The main characteristic of TLM abstraction level is that it separates the communication among modules of their functionality. This abstraction level puts a higher emphasis in the functionality of the communication (from where to where the data go) than the exact implementation of it. The TLM and an example are described in the documents [RSPF] and [HG]. The architecture of the model is based in the MVIP-2 video coder (described in the document [Gar04]) The modeled modules are: · IVIDEOH: module that filter the video input in the horizontal dimension. It saves the filtered video in the memory. · IVIDEOV: module that read the IVIDEOH filtered video, filter it in the vertical dimension and save the filtered video in the memory. · DCT: module that read the IVIDEOV filtered video, do the discrete cosine transform and save the transformed video in the memory. · QUANT: module that read the DCT transformed video, quantify it and save the quantified video in the memory. · IQUANT: module that read the QUANT processed video, do the inverse quantification and save the result in the memory. · IDCT: module that read the IQUANT processed video, do the inverse cosine transform and save the result in the memory. · IMEM: this module is the interface between the modules described previously and the memory. It manage the simultaneous accesses to the memory and ensure an unique access at each instant of time All this modules are included in grey in the following figure (SEE PDF OF PFC). This figure shows the architecture of the model: Figure 1. Architecture of the model This figure also includes other modules in white, these modules have been added to the model in order to simulate and prove the modules of the model: · CAMARA: simulates a black and white video camera, it reads the luminance of a video file and sends it to the model through a FIFO. · FIFO: is the interface between the camera and the model, it saves the video data sent by the camera until the IVIDEOH module reads it. · CONTROL: controls the modules that process the video. These modules indicate the CONTROL module when they have finished the processing of a video frame. The CONTROL module, then, init the necessary modules to continue with the video coding. This module is responsible of the right sequence of the video processing modules. · RAM: it simulates a RAM memory; it also simulates a programmable delay in the access to the memory. It has been generated video files, text files and a trace file to check the correct function of the model. The trace file shows the sequence of the video processing modules. As a result of the present final career project, it can be deduced that it is quite easy to model digital systems with SystemC (it is only needed previous knowledge of C++ and object oriented programming) and it also allow the modeling with a level of abstraction higher than the RTL used in Verilog and VHDL, in the case of the present final career project, the TLM.