A computação de tempo real é uma das áreas mais desafiadoras e de maior demanda tecnológica da atualidade. Está diretamente ligada a aplicações que envolvem índices críticos de confiabilidade e segurança. Estas características, inerentes a esta área da computação, vêm contribuindo para o aumento da complexidade dos sistemas tempo real e seu conseqüente desenvolvimento. Isto fez com que mecanismos para facilitar especificação, delimitação e solução de problemas passem a ser itens importantes para tais aplicações. Este trabalho propõe mecanismos para atuarem no desenvolvimento de sistemas de tempo real, com o objetivo de serem empregados como ferramenta de apoio no problema da verificação de presença de inconsistências, que podem vir a ocorrer nos vários modelos gerados partir da notação da linguagem de modelagem gráfica para sistemas de tempo real - UML-RT(Unified Modeling Language for Real Time). Estes mecanismos foram projetados através da construção de um metamodelo dos conceitos presentes nos diagramas de classe, de objetos, de seqüência, de colaboração e de estados. Para construir o metamodelo, utiliza-se a notação do diagrama de classes da UML (Unified Modeling Language). Contudo, por intermédio das representações gráficas do diagrama de classes não é possível descrever toda a semântica presente em tais diagramas. Assim, regras descritas em linguagem de modelagem OCL (Object Constraint Language) são utilizadas como um formalismo adicional ao metamodelo. Com estas descrições em OCL será possível a diminuição das possíveis ambigüidades e inconsistências, além de complementar as limitações impostas pelo caráter gráfico da UML. O metamodelo projetado é mapeado para um modelo Entidade&Relacionamento. A partir deste modelo, são gerados os scripts DDL (Data Definition Language) que serão usados na criação do dicionário de dados, no banco de dados Oracle. As descrições semânticas escritas através de regras em OCL são mapeadas para triggers, que disparam no momento em que o dicionário de dados é manipulado. O MET Editor do SiMOO-RT é a ferramenta diagramática que faz o povoamento dos dados no dicionário de dados. SiMOO-RT é uma ferramenta orientada a objetos para a modelagem, simulação e geração automática de código para sistemas de tempo real.

Es indudable hoy en día que el desarrollo de software se ha convertido en una actividad de gran importancia, principalmente, debido a que puede repercutir en diversas actividades cotidianas de las personas. Dada dicha diversidad de actividades que abarcan los desarrollos, los equipos de trabajo suelen estar constituidos a su vez por personas que trabajan en áreas muy diversas. Resulta entonces vital para estos grupos de trabajo contar con un lenguaje común que les permita comunicarse de mejor manera. Justamente con esta intención es que nace UML (Unified Modeling Language) que se ha transformado en el lenguaje de modelado de sistemas de software más utilizado en la actualidad. UML es un lenguaje gráfico para visualizar, especificar, construir y documentar sistemas de software. Básicamente ofrece una familia de diagramas para describir distintos aspectos del sistema, incluyendo aspectos conceptuales tales como procesos de negocios y funciones del sistema, y aspectos concretos como expresiones de lenguajes de programación, esquemas de bases de datos y componentes de software reutilizables. UML fue adoptado por el OMG (Object Management Group) en el año 1997 como el estándar de-facto para el modelamiento orientado a objetos. Desde entonces atravesó varias revisiones y refinamientos hasta llegar a la versión actual (UML 2.0) aprobada en octubre de 2004 [11]. Si bien, como fue mencionado anteriormente, UML 2.0 es el estándar dentro en la industria, esto no significa que sea definitivo ya que cuenta con una serie de dificultades. De hecho, no define una clara relación entre la semántica de los distintos diagramas, ni ofrece políticas de versionamiento en el caso de la evolución de un modelo. Estas dificultades son justificadas aduciendo a que no toda inconsistencia es accidental. Por ejemplo, cuando se hace un diseño abarcando desde lo global a lo particular, se inicia el proceso de diseño con un modelo incompleto, por lo tanto inconsistente. Indudable es que el uso de herramientas CASE facilita bastante la labor del diseñador, sobre todo en desarrollos de gran tamaño y complejidad. Sin embargo, dada la posición de los creadores de UML respecto a la validez de las inconsistencias, el usuario de UML debe preocuparse de las inconsistencias en forma manual.

Neste trabalho apresenta-se um método de desenvolvimento integrado baseado no paradigma de orientação a objetos, que visa abordar todo o ciclo de desenvolvimento de uma aplicação tempo real. Na fase de especificação o método proposto baseia-se no uso de restrições temporais padronizadas pelo perfil da UML-TR, sendo que uma alternativa de mapeamento destas restrições para o nível de programação é apresentada. Este mapeamento serve para guiar a fase de projeto, onde utilizou-se como alvo a interface de programação orientada a objetos denominada TAFT-API, a qual foi projetada para atuar junto ao ambiente de execução desenvolvido no âmbito desta tese. Esta API é baseada na especificação padronizada para o Java-TR. Este trabalho também discute o ambiente de execução para aplicações tempo real desenvolvido. Este ambiente faz uso da política de escalonamento tolerante a falhas denominada TAFT (Time-Aware Fault- Tolerant). O presente trabalho apresenta uma estratégia eficiente para a implementação dos conceitos presentes no escalonador TAFT, que garante o atendimento a todos os deadlines mesmo em situações de sobrecarga transiente. A estratégia elaborada combina algoritmos baseados no Earliest Deadline, sendo que um escalonador de dois níveis é utilizado para suportar o escalonamento combinado das entidades envolvidas. Adicionalmente, também se apresenta uma alternativa de validação dos requisitos temporais especificados. Esta alternativa sugere o uso de uma ferramenta que permite uma análise qualitativa dos dados a partir de informações obtidas através de monitoração da aplicação. Um estudo de caso baseado em uma aplicação real é usado para demonstrar o uso da metodologia proposta.

Detta arbete har gjorts för att utvärdera XMI 2.0. Utvärderingen har gjorts för att se om den nya standarden (2.0) av XMI är bättre än den gamla. Det finns måga typer av problem som kan testas denna rapport undersöker om det går att exportera/importera klassdiagram mellan olika verktyg med hjälp av XMI. De UML-verktyg som har testats är Poseidon, Visual paradigm, Magic draw, Altova Umodel, Argouml Bouml.Resultatet visar att det inte är så lätt som man kan tro att exportera/importera diagram mellan olika UML-verktyg.

This is a plug-in project using GEF and JDT in Eclipse. The purpose for this thesis is to solve the orientation for a existing project. We can get a overview of a project such as display the class diagram of the project with the help of Orientation Viewer.

Att ha kontroll över dokumentation av dataarkitektur kan vara en svår uppgift för ett stort företag då tekniken hela tiden utvecklas samt hård- och mjukvara byts ut och uppdateras. Detta examensarbete är baserat på krav insamlade åt Forsmarks Kraftgrupp AB för att lösa deras problem med dokumentering genom ett standardsystem eller egenutvecklat system. Kraven samlades in iterativt enligt RUP genom samtal och intervjuer med användarna, kravbilden fastställdes innan arbetet med att besluta om systemet skulle köpas in i form av ett standardsystem eller egenutvecklas. Resultatet av kravanalysen visade ett specifikt system för att lagra information i en databas. Då fördelarna med egenutveckling var många och inget lämpligt standardsystem påträffades beslutades att systemet skulle egenutvecklas.

Neste trabalho apresenta-se um método de desenvolvimento integrado baseado no paradigma de orientação a objetos, que visa abordar todo o ciclo de desenvolvimento de uma aplicação tempo real. Na fase de especificação o método proposto baseia-se no uso de restrições temporais padronizadas pelo perfil da UML-TR, sendo que uma alternativa de mapeamento destas restrições para o nível de programação é apresentada. Este mapeamento serve para guiar a fase de projeto, onde utilizou-se como alvo a interface de programação orientada a objetos denominada TAFT-API, a qual foi projetada para atuar junto ao ambiente de execução desenvolvido no âmbito desta tese. Esta API é baseada na especificação padronizada para o Java-TR. Este trabalho também discute o ambiente de execução para aplicações tempo real desenvolvido. Este ambiente faz uso da política de escalonamento tolerante a falhas denominada TAFT (Time-Aware Fault- Tolerant). O presente trabalho apresenta uma estratégia eficiente para a implementação dos conceitos presentes no escalonador TAFT, que garante o atendimento a todos os deadlines mesmo em situações de sobrecarga transiente. A estratégia elaborada combina algoritmos baseados no Earliest Deadline, sendo que um escalonador de dois níveis é utilizado para suportar o escalonamento combinado das entidades envolvidas. Adicionalmente, também se apresenta uma alternativa de validação dos requisitos temporais especificados. Esta alternativa sugere o uso de uma ferramenta que permite uma análise qualitativa dos dados a partir de informações obtidas através de monitoração da aplicação. Um estudo de caso baseado em uma aplicação real é usado para demonstrar o uso da metodologia proposta.

Made available in DSpace on 2014-06-12T15:56:35Z (GMT). No. of bitstreams: 2 arquivo2956_1.pdf: 7919022 bytes, checksum: a5fda4a02347a233b609658badb7ab4c (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Este trabalho de mestrado apresenta o profile UML-ESL baseado em UML 2.0 para a especificação de sistemas hardware/software em nível de serviços e um fluxo de mapeamento de comunicação baseado neste profile para System-on-Chips com arquitetura baseada em barramento. O profile UML proposto formaliza a modelagem de comunicação e suporta o particionamento do sistema em módulos de hardware e software em um nível de abstração superior as atuais abordagens baseadas em UML 2.0. Este profile apresenta duas vantagens principais: A primeira é a redução do esforço da modelagem do sistema pela abstração de detalhes de comunicação. O projetista é capaz de definir as características funcionais de comunicação abstraindo detalhes da infraestrutura tais como portas, interfaces, protocolos, canais e barramento. Além da redução do esforço de modelagem, são eliminados erros extremamente difíceis de serem detectados durante o projeto. A segunda vantagem é que o modelo formal permite a implementação de um fluxo de mapeamento de comunicação para uma arquitetura SoC. O fluxo proposto parte da descrição do sistema hardware/software em UML-ESL, extrai as características arquiteturais (módulos, particionamento e interligação entre módulos) e de comunicação (paralelo/seqüencial, síncrono/assíncrono) do sistema e gera a infraestrutura de comunicação composta de drivers de dispositivo, controladores de transações do dispositivo e interfaces para um modelo de simulação de um SoC implementado como uma plataforma virtual do sistema baseada em barramento configurada para as necessidades do projeto. O fluxo foi validado com a modelagem e mapeamento de comunicação de um sistema de segmentação e de rastreamento de imagens

Made available in DSpace on 2014-06-12T15:58:26Z (GMT). No. of bitstreams: 2 arquivo4129_1.pdf: 5139048 bytes, checksum: da929d79c70f9a47d378528eccc8cbec (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Os sistemas computacionais são usados para apoiar a execução de várias tarefas cotidianas e fornecem aos usuários uma grande quantidade de informações. Para torná-los mais adaptativos e fáceis de usar surge Contexto. Contexto é o conjunto de informações que caracterizam as entidades relevantes envolvidas na interação entre um usuário e uma aplicação. Sistemas sensíveis ao contexto (SSC) usam contexto para proverem informações e serviços mais relevantes aos usuários por meio de mecanismos de adaptação, assistência e percepção. Todavia, o desenvolvimento dessas aplicações não é trivial e apresenta desafios na aquisição, processamento, uso e disseminação de contexto. Para auxiliar o desenvolvimento de aplicações sensíveis ao contexto foram propostas várias abordagens de middlewares, toolkits, APIs e metamodelos. O CEManTIKA apoia a modelagem e projeto de SSC de forma independente de domínio por meio de uma arquitetura genérica, um metamodelo e um processo de software. No entanto, não foi encontrada uma ferramenta que permita a construção de SSCs guiada por um processo partindo da sua especificação e que use artefatos já modelados na aplicação. Esse trabalho apresenta a ferramenta CEManTIKA CASE que permite identificar o contexto relevante para uma aplicação e os mecanismos de adaptação em função dele. Um estudo experimental preliminar, realizado com nove participantes, verificou a aplicabilidade da ferramenta para o projeto de SSC e permitiu a modelagem dos elementos propostos no CEManTIKA

Made available in DSpace on 2014-06-12T16:01:17Z (GMT). No. of bitstreams: 2 arquivo7289_1.pdf: 2013918 bytes, checksum: e3f26e432c831b7c299664b62269fd01 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / Petróleo Brasileiro S.A. / Como outros métodos visuais orientados a objetos, UML tem influenciado tremendamente a prática de modelagem na engenharia de software com ricos mecanismos de estruturação. Porém, apesar de suas vantagens e adoção em larga escala, na prática, a falta de uma semântica formal tem dificultado o desenvolvimento rigoroso baseado em modelos de aplicações não triviais (aplicações que por sua natureza necessitam de ênfase na especificação e na verificação de seus componentes). A razão para isto é que transformações de modelos podem não preservar a semântica e, como conseqüência, o comportamento do modelo. Este problema é ainda mais sério em transformações que envolvem diferentes visões do modelo. Limitações similares podem ser encontradas durante o desenvolvimento com UML-RT. Esta linguagem é uma extensão conservativa de UML que provê a noção de objetos ativos (objetos com um comportamento próprio, independente do fluxo de execução do restante do sistema) para descrever aplicações concorrentes e distribuídas. Neste tipo de desenvolvimento, transformações devem lidar simultaneamente com as diferentes visões estáticas e dinâmicas do modelo, representadas por seus diagramas e propriedades. Por estes motivos, este trabalho propõe uma semântica para UML-RT, mapeando suas construções em OhCircus, uma linguagem formal, orientada a objetos, que combina CSP e Z, e que suporta o cálculo de refinamentos de Morgan. A partir desta semântica, bem como das noções e leis de refinamentos de OhCircus, é possível propor leis de transformação de modelos passíveis de demonstração e que preservam o comportamento do sistema. Estas leis de transformação são propostas em duas categorias: a primeira delas é um conjunto abrangente de leis básicas que expressam pequenas mudanças nas principais visões do modelo, como a declaração ou remoção de elementos do modelo; já a segunda representa leis de transformação de maior granularidade, derivadas a partir da composição de leis básicas, como a decomposição de uma cápsulas em cápsulas operando em paralelo. Tais transformações derivadas podem ser vistas como refatoramentos (refactorings) corretos sobre o modelo, facilmente aplicáveis durante um processo de desenvolvimento rigoroso, sem que o desenvolvedor tenha conhecimento do formalismo que o suporta. Finalmente, a abrangência deste conjunto de leis é discutida particularmente através dos principais passos de uma estratégia de redução de modelos UML-RT a um modelo UML estendido com um único objeto ativo, responsável por todas as interações com o ambiente e por conservar o comportamento dinâmico do sistema modelado. Este modelo UML estendido pode ser visto como uma forma normal, e, portanto, nossa estratégia pode ser vista como uma contribuição para uma estratégia mais global de completude capturada por redução a esta forma normal