O documento discute técnicas de interoperabilidade entre máquinas virtuais Java e .NET através de uma representação intermediária comum. Uma prova de conceito mostra uma classe .NET chamando um método de uma classe Java sem uso de camadas de compatibilidade. A abordagem permitiu a criação de aplicações híbridas sem uso de middleware. Futuros trabalhos incluem suporte a tipos de 64 bits e value-types.

1. Um Estudo de Técnicas de Interoperabilidade entre Máquinas Virtuais com Suporte a Linguagens Controladas Jamerson Raposo Ferreira de Lima Mestrado Profissional em Engenharia de Software cesar.edu - Recife, 2009

2. Software em todo lugar Micro-ondas

3. MP3 Players

4. GPS

5. Caixa Eletrônicos, DVD Players, etc.

6. Software em todo lugar Aviões

7. Usinas Nucleares

8. Metrôs

9. Semáforos

10. Softwares são confiáveis? Censo em sistemas Tandem entre 1985 e 1990: Softwares são responsáveis pela maioria das falhas(62%)

11. Tempo médio entre falhas se manteve constante

12. O tempo médio entre falhas de hardware ultrapassa 300 anos

13. Softwares são confiáveis? Therac-25 Dispositivo de radioterapia controlado por software

14. Falhas no projeto do software podia levar a níveis letais de radiação

15. Mudança de monitores mecânicos para lógicos

16. Softwares são confiáveis? GE XA/21 Sistema de gerenciamento elétrico

17. Curto circuito desestabilizou fluxo de energia

18. Falha no sistema de monitoramento

19. Eventos se acumularam até falha geral do sistema

20. Blackout atingiu cerca de 50 milhões de pessoas

21. Dependabilidade (Dependability) Habilidade de um sistema em disponibilizar serviços dos quais os usuários podem, justificadamente, depender.

22. Atributos: Disponibilidade, confiabilidade, segurança, confidencialidade, integridade e manutenabilidade.

23. De quem é a culpa? Tanenbaum responde: O maior responsável pela falta de dependabilidade é o sistema operacional Monolítico

24. Isolamento de falhas pobre Baixa dependabilidade está associada a defeitos de software Até 75 defeitos em cada 1000 linhas de código

25. Aumentando a dependabilidade Nooks – Isolamento de drivers de dispositivos

26. Máquina paravirtual

27. Minix 3 – Sistema operacional multi-servidor

28. Singularity – Proteção baseada em linguagem

29. JingleOS: Definição Sistema operacional de código aberto para dispositivos embarcados que visa alcançar dependabilidade através de seu projeto, assim como suporte intrinseco a tempo real. Módulos rodam em um ambiente gerenciado por uma máquina virtual

30. JingleOS: Arquitetura Multi-camada

31. Desenvolvido em Java

32. Processos isolados por máquina virtual