Uml Rt
Mostrando 1-12 de 13 artigos, teses e dissertações.
-
1. Guides for CCS to UML-RT and UML-RT to CCS conversions.
CCS (Communicating and Concurrent Systems) is the process algebra to specify and verify concurrent and communicating systems. This work proposes a transformation guide of the CCS equations into to the UML-RT (Unified Modeling Language for Real-Time) model and a transformation guide of the UML-RT model into a set of CCS equations. The UML-RT model is a softwa
Publicado em: 2009
-
2. Mapeando CSP em UML-RT
A integraÃÃo de mÃtodos formais com notaÃÃes semi-formais visuais à uma tendÃncia em engenharia de software. MÃtodos formais apresentam uma semÃntica precisa e permitem verificaÃÃo de propriedades. No entanto, nÃo sÃo considerados intuitivos. Por outro lado, notaÃÃes semi-formais visuais, como UML, sÃo facilmente integradas no processo de des
Publicado em: 2008
-
3. Expressão de IFN-gama e interleucina (IL)-10 e seus receptores pelas células trofoblásticas de camundongos. / Expression of IFN-gamma and interleukin (IL)-10 and its receptores in the mouse trophoblast cells.
Analisamos a expressão de IL-10, IFN-g e, seus receptores pelas células trofoblásticas de camundongos, citocinas anti e pró-inflamatórias. Cones ectoplacentários aos 7,5 dias de gestação foram cultivados por 48 h e em seguida tratados com 100 U/mL IFN-g ou 10 hg/mL IL-10. Após 6 h e 14 h, a
Publicado em: 2008
-
4. Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais. / A refinement method for embedded software development: a based UML-RT and formal specification approach.
Neste trabalho é apresentado um método de refinamento para especificações de sistemas embarcados, baseado na linguagem de especificação gráfica UML-RT e na linguagem de especificação formal CSP-OZ. A linguagem UML-RT é utilizada para descrever a arquitetura de sistemas de tempo real distribuídos e esses mapeados para uma especificação formal atr
Publicado em: 2007
-
5. Um metamodelo da linguagem de modelagem real time UML, de suporte à criação de dicionário de dados para ferramentas de modelagem de sistema tempo real, visando a verificação de consistência dos modelos
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 c
Publicado em: 2007
-
6. Framework orientado a objetos para projeto de hardware e software embarcados para sistemas tempo-real
A crescente complexidade dos sistemas tempo-real embarcados demanda novas metodologias e ferramentas para gerenciar os problemas de projeto, análise, integração e validação de sistemas complexos. Este trabalho aborda o tema co-projeto de sistemas tempo-real embarcados, propondo estratégias para a integração das fases iniciais de modelagem de um siste
Publicado em: 2007
-
7. Metodologia orientada a aspectos para a especificação de sistemas tempo-real embarcados distribuídos / Aspect-Oriented Methodology to Specify Distributed Real-time Embedded Systems
Sistemas de tempo-real embarcados distribuídos se caracterizam pela complexidade e especificidade de seus projetos. Tanto a complexidade quanto a especificidade apresentam forte influência dos diversos requisitos ligados às restrições advindas das três características que distinguem tais sistemas, i.e. presença de fortes restrições temporais, restr
Publicado em: 2007
-
8. Mapeamento UML-RT para p-calculus.
A UML (Unified Modeling Language) Ã uma linguagem de modelagem para especificar, construir e documentar artefatos de sistemas de software. A UML-RT, usada pela ferramenta Rational Rose RealTime (RoseRT), Ã uma extensÃo da UML que permite a modelagem de sistemas de tempo real distribuÃdos e guiados por evento. A UML-RT nÃo possui semÃntica formal, logo
Publicado em: 2006
-
9. Desenvolvimento rigoroso com uml-rt
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
Publicado em: 2005
-
10. ipProcess: um processo para desenvolvimento de IP-Cores com implementaÃÃo em FPGA
A demanda cada vez maior por produtos eletrÃnicos e a crescente capacidade de integraÃÃo dos chips direcionaram a metodologia de projeto de sistemas embarcados para sua completa integraÃÃo em um Ãnico chip (System-on-Chip, ou SoC). Essa metodologia baseia-se cada vez mais em componentes previamente projetados e verificados (IP-core) como uma alternativ
Publicado em: 2005
-
11. Uma Disciplina de AnÃlise e Projeto para AplicaÃÃes Concorrentes, baseada no RUP
O desenvolvimento crescente de sistemas concorrentes e de tempo real vem provocando uma evoluÃÃo nos conceitos e paradigmas da Engenharia de Software. Recentemente, entre outras abordagens, destacamos o surgimento de UML-RT, visando adaptar e estender as estruturas jà consagradas de UML para os conceitos de concorrÃncia e tempo real. Complementarmente, j
Publicado em: 2005
-
12. Modelagem e anÃlise de objetos como processos em CSP: padrÃo de projeto e estudo de caso
A fim de viabilizar maior interaÃÃo entre profissionais da Ãrea de saÃde, foram propostos protocolos de comunicaÃÃo,dentre os quais destacamos: HL7, DICOM, CORBAMed e GEHR. Decidimos especificar formalmente um subconjunto de um sistema de prontuÃrio eletrÃnico, baseado no modelo GEHR, pois existe um interesse real nesta formalizaÃÃo, pela comunidad
Publicado em: 2003