Sistemas De Tempo Real Craticos
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Modelagem e anÃlise de especificaÃÃes de sistemas de tempo-real crÃticos com restriÃÃes de energia
Requirements analysis is a critical task in any Embedded Real-Time System (ERTS) project. Normally, these systems have stringent timing constraints that must be satisÂed for the correct functioning, since violation might be catastrophic, such as loss of human lives or large amount of Ânancial resources. In addition, there are systems where energy is anothe
Publicado em: 2009
-
2. Estudos do transporte de partÃculas brownianas interagentes e de transiÃÃes de fases em modelos de spin quÃnticos
Nesta Tese, sÃo investigados dois temas de interesse atual, o transporte de partÃculas brownianas interagentes e as transiÃÃes de fase em sistemas magnÃticos quÃnticos. No primeiro, o transporte de partÃculas brownianas interagentes sujeitas a um potencial de substrato do tipo catraca foi investigado numericamente atravÃs da dinÃmica de Langevin. Me
Publicado em: 2008
-
3. A time Petri net based approach for software synthesis in Hard Real-Time embedded systems with multiple processors / A time Petri net based approach for software synthesis in Hard Real-Time embedded systems with multiple processors
Atualmente, sistemas embarcados sÃo ubÃquos. Em outras palavras, eles estÃo em todos os lugares. Desde utilitÃrios domÃsticos (ex: fornos microondas, refrigeradores, videocassetes, mÃquinas de fax, mÃquinas de lavar roupa, alarmes) atà equipamentos militares (ex: mÃsseis guiados, satÃlites espiÃes, sondas espaciais, aeronaves), nÃs podemos encont
Publicado em: 2006
-
4. 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