Pesquisa & Desenvolvimento
Missão:
Desenvolver soluções de alta tecnologia, visando o bem estar das pessoas e o progresso da sociedade brasileira.
A PRAEX atua como idealizadora de produtos inovadores para empresas que necessitam criar novos designs ou aprimorar os já existentes.
A PRAEX presta serviço de P&D em soluções ou produtos. Os desenvolvimentos podem ser originados por terceiros ou criações próprias. O principal insumo da PRAEX é o conhecimento.
Metodologia Formais e Semi-formais
- Gestão de Projeto USInA
- Formalismo em linguagem Z e B
- Redes de Petri Coloridas
- Unified Modeling Language - UML 2.1
Metodologia de Controle de Fluxo ESL/RTL
|
Padrões Internacionais
- Transaction-level Modeling – TLM
- The Open SystemC Initiative - OSCI
- Electronic System-Level - ESL
- Electronic Design Automation - EDA
- Register Transfert Level - RTL
- Norma IEEE 1685
Tecnologia
- Field Programmable Gate Array - FPGA
- Field Programmable Logic Sequencer – FPLS
- Field Programmable Logic Array - FLPA
- Digital Signal Processor - DSP
- System-on-Chip – SoC
|