Paul Denis Etienne Regnier

Idiomas

Áreas de atuação

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• MASSA, E. ; G. Lima ; Regnier, Paul ; LEVIN, G. ; BRANDT, S. . Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems. Real-Time Systems (Online) , p. 1-32, 2016.

• MASSA, ERNESTO ; Lima, George ; Regnier, Paul . From RUN to QPS: new trends for optimal real-time multiprocessor scheduling. International Journal of Embedded Systems , v. 8, p. 440, 2016.

• Regnier, Paul ; Lima, George ; MASSA, ERNESTO ; LEVIN, GREG ; BRANDT, SCOTT . Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach. Real-Time Systems , v. 49, p. 436-474, 2012.

• Regnier, Paul ; Lima, George ; Andrade, Aline . A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. Electronic Notes in Theoretical Computer Science , v. 240, p. 221-238, 2009.

• P. REGNIER ; G. Lima ; L. P.Barreto . Evaluation of interrupt handling timeliness in real-time Linux operating systems. Operating Systems Review , v. 42, p. 52-63, 2008.

• Lima, George ; MASSA, ERNESTO ; Regnier, Paul . Practical Considerations in Optimal Multiprocessor Scheduling. Handbook of Real-Time Computing. 1ed.: Springer Singapore, 2019, v. , p. 1-39.

• P. REGNIER ; SILVA DIAS, M. A. F. . Simulation Of Mesoscale Circulations In A Deforested Area Of Rondonia In The Dry Season. In: J. Gash; C. Nobre. (Org.). AMAZONIAN DEFORESTATION AND CLIMATE. 1ed.New York: John Wiley, 1996, v. 1, p. 531-547.

• DOS SANTOS, C. M. ; REGNIER, P. ; PEPE, I. ; ALFONZO, J. ; SILVA, L. ; VIDAL, V. ; JÚNIOR, J. . A Mechatronic Platform for Measurement and Study of Ultrasonic Wave Fields. In: SPE Latin America and Caribbean Mature Fields Symposium, 2017, Salvador. SPE Latin America and Caribbean Mature Fields Symposium, 2017.

• MASSA, ERNESTO ; Lima, George ; Regnier, Paul ; LEVIN, GREG ; BRANDT, SCOTT . OUTSTANDING PAPER: Optimal and Adaptive Multiprocessor Real-Time Scheduling: The Quasi-Partitioning Approach. In: 2014 26th Euromicro Conference on RealTime Systems (ECRTS), 2014, Madrid. 2014 26th Euromicro Conference on Real-Time Systems. p. 291.

• MASSA, ERNESTO ; Lima, George ; Regnier, Paul . Revealing the Secrets of RUN and QPS: New Trends for Optimal Real-Time Multiprocessor Scheduling. In: 2014 Brazilian Symposium on Computing Systems Engineering (SBESC), 2014, Manaus. 2014 Brazilian Symposium on Computing Systems Engineering, 2014. p. 150.

• P. REGNIER ; LIMA, G. M. ; MASSA, E. ; LEVIN, G. ; BRANDT, S. . BEST PAPER -- RUN: Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor. In: IEEE Real-Time Systems Symposium, 2011, Vienna. IEEE Real-Time Systems Symposium Proceedings. Los Alamitos, CA, USA: IEEE Computer Society, 2011. v. 0. p. 104-115.

• P. REGNIER ; G. Lima ; A. M. Carianha . DoRiS: Um Novo Protocolo de Comunicacão de Tempo Real sobre Ethernet e sua Implementação em Linux/Xenomai. In: VI Workshop de Sistemas Operacionais (WSO'2009), 2009, Bento Gonçalves - RS. Proc. of Workshop de Sistemas Operacionais, 2009., 2009.

• P. REGNIER ; LIMA, G. M. ; BARRETO, L. P. M. . Avaliação do determinismo temporal no tratamento de interrupções em plataformas de tempo real Linux. In: Workshop de Sistemas Operacionais, 2008, Belém. Proc. of Workshop de Sistemas Operacionais, 2008.

• P. REGNIER ; G. Lima ; ANDRADE, A. M. S. . A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. In: Brazilian Symposium on Formal Methods, 2008, Salvador. Proceedings of SBMF 2008. Salvador, 2008.

• P. REGNIER ; G. Lima . Deterministic Integration of Hard and Soft Real-Time Communication over Shared-Ethernet. In: 8th Brazilian Workshop on Real-Time Systems, 2006, Curitiba. Anais do WTR 2006. Curitiba: Sociedade Brasileira de Computação, 2006.

Outras produções

Projetos de pesquisa

• 2015 - Atual

  MEDIC: UMA PLATAFORMA LIVRE DE MEDIÇÃO E CONTROLE DE TEMPO REAL, Descrição: O objetivo geral do projeto MEDIC "Uma plataforma livre de medição e controle de tempo real" é desenvolver um ambiente integrado de hardware, firmware e software para a medição, emissão e visualização de sinais em tempo real, permitindo o monitoramento e o controle de dispositivos externos com restrições temporais. Três objetivos específicos "hardware", "firmware" e "software" podem ser distinguidos: · Hardware: montagem de uma plataforma de hardware de pratilheira e de baixo custo permitindo a aquisição de dados (sensoriamento e atuação) para sistemas físicos de tempo real; · Firmware: desenvolvimento de um firmware de código aberto para a comunicação baseada no protocolo USB e permitindo a aquisição de dados e a digitalização de sinais em tempo real; · Software: desenvolvimento de uma plataforma de software de medição e de controle (supervisor), baseada num sistema operacional de tempo real de código aberto tal como LinuxRT e que proporcione uma interface gráfica convivial assim como garantias temporais. Os três produtos derivados serão oferecidos para a comunidade sob licença de software livre e de código aberto GNU/GPL, permitindo assim suas apropriações pelas instituições públicas brasileira, tais como hospitais e/ou escolas.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Paul Denis Etienne Regnier - Coordenador., Número de orientações: 4

• 2014 - Atual

  Escalonamento em Sistemas Multiprocessados, Projeto certificado pelo(a) coordenador(a) George Marconi de Araújo Lima em 07/08/2014., Descrição: Extensão do algoritmo de escalonamento RUN (Reduction to Uniprocessor) de sistemas de tarefas de tempo real em plataformas multiprocessadores. O Algoritmo RUN, desenvolvido durante o doutorado, é por enquanto limitado a tarefas periódicas. Buscaremos portanto uma solução para o escalonamento de sistemas de tarefas esporádicas ou/e com deadline restrito. Além disso, pretende-se utilizar RUN no contexto de tratamento de falhas.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Paul Denis Etienne Regnier - Coordenador / George Marconi Lima - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.

• 2012 - Atual

  SHERS - Scheduling Heuristics for Real-Time Systems, Projeto certificado pelo(a) coordenador(a) George Marconi de Araújo Lima em 07/08/2014., Descrição: O projeto SHERS é uma continuidade das ações desenvolvidas pelos projetos SMART e PARES. Objetiva-se desenvolver novas heurísticas de escalonamento para sistemas de tempo real. No contexto dos sistemas multiprocessados, estamos interessados em algoritmos de escalonamento com baixa sobrecarga de execução e em extensões da estratégia RUN aplicadas a sistemas tolerantes a falhas. Estamos ainda investigando heurísticas para lidar com adaptabilidade em sistemas de tempo real com restrições de energia. O projeto SHERS conta com a participação de pesquisadores da Universidade Federal de Santa Catarina, do Instituto Politécnico do Porto (Portugal) e da Universidade da Califórnia em Santa Cruz (EUA).. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Doutorado: (4) . , Integrantes: Paul Denis Etienne Regnier - Integrante / George Marconi Lima - Coordenador / Greg Levin - Integrante / Scott Brandt - Integrante / Konstantinos Bletsas - Integrante.

• 2012 - Atual

  PARES - Parallel and Adaptive Real-Time Scheduling, Projeto certificado pelo(a) coordenador(a) George Marconi de Araújo Lima em 07/08/2014., Descrição: Diversos níveis de paralelismo têm sido explorados em arquiteturas computacionais. Aumentar o desempenho, fornecer maior flexibilidade ou prover tolerância a falhas são alguns dos benefícios de arquiteturas multiprocessadas. Por outro lado, considerações sobre adaptabilidade de aplicações diversas têm sido tema recorrente na construção de sistemas computacionais em várias áreas de aplicação. Percebe-se, no entanto, que lidar tanto com paralelismo quanto com adaptação faz aumentar a complexidade de projeto e implementação de tais sistemas. Tal constatação não é diferente quando se considera os sistemas de tempo real. O projeto PARES se insere neste ontexto, tendo como principal objetivo desenvolver algoritmos eficientes de escalonamento para sistemas de tempo real multiprocessados e adaptativos. O projeto PARES recebe auxílio financeiro da UFBA (Edital PROPI/PROPG) no valor de R$ 4.320,00.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (4) . , Integrantes: Paul Denis Etienne Regnier - Integrante / George Marconi Lima - Coordenador / Ernesto Massa - Integrante / Scott Brandt - Integrante / Eduardo Camponogara - Integrante / José Augusto M. Santos Júnior - Integrante / Flávia Maristela Nascimento - Integrante / Felipe Augusto Queiroz de Cerqueira - Integrante / Ríad Nassiffe - Integrante.

• 2010 - Atual

  SMART - Scheduling in Multiprocessor Archtectures with Real-Time Guarantees, Projeto certificado pelo(a) coordenador(a) George Marconi de Araújo Lima em 07/08/2014., Descrição: Atualmente é comum o uso de processadores multinúcleos, mesmo em simples computadores pessoais, alguns dos quais já estão equipados com processadores 8 núcleos, a exemplo dos processadores I7 e Xeon da Intel, comercializados a preços modestos. Protótipos da própria Intel já possuem chips com 80 núcleos enquanto que previsões de especialistas afirmam que em 2017 existirão máquinas com até 4096 núcleos de processamento num único chip. Neste contexto, será necessário grande investimento na adaptação de aplicações e sistemas operacionais para lidar com tal grau de paralelismo. Tais constatações motivam o presente projeto, que visa elaborar soluções adequadas para lidar com sistemas de tempo real em arquiteturas multiprocessadas. Mais precisamente, objetiva-se desenvolver: 1) Políticas de escalonamento adaptáveis e parametrizáveis; 2) Técnicas de análise de escalonamento adequadas e eficientes. Este projeto recebe financiamento do CNPq (Edital Universal) no valor de R$ 15.000,00. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (4) . , Integrantes: Paul Denis Etienne Regnier - Integrante / George Marconi Lima - Coordenador / Ernesto Massa - Integrante / Eduardo Camponogara - Integrante / José Augusto M. Santos Júnior - Integrante / Flávia Maristela Nascimento - Integrante / Felipe Augusto Queiroz de Cerqueira - Integrante / Marco Antonio Costa Simões - Integrante / Lucas Prado - Integrante.

• 2008 - 2010

  ESTER - Escalonamento em Sistemas de Tempo Real: Lidando com Incertezas e Adaptação, Projeto certificado pelo(a) coordenador(a) George Marconi de Araújo Lima em 07/08/2014., Descrição: Sistemas de tempo real são aqueles especificados em função do tempo (real) em que suas ações devem produzir resultados. Para estes sistemas, escalonamento é um problema fundamental, cujas soluções são peça-chaves na garantia de sua correção. Com o avanço tecnológico, e pela ampla necessidade de novas demandas de aplicações de tempo real, esta área de pesquisa enfrenta novos desafios. A complexidade das novas plataformas de hardware e do software assim como as incertezas provenientes do ambiente requerem dos mecanismos de escalonamento suporte à adaptação e capacidade de lidar com incertezas subjacentes ao seu funcionamento. Apesar de já existirem avanços de pesquisa na área, estes estão ainda em estágios preliminares de desenvolvimento. Ressalta-se ainda o fato de que a comunidade brasileira da área possui muito pouco envolvimento nos temas relacionados ao presente projeto. O projeto ESTER têm como principal objetivo desenvolver modelos e técnicas de escalonamento adequadas aos sistemas de tempo real modernos. Tais modelos devem ser capazes de quantificar as incertezas mencionadas acima e equacioná-las durante a análise de escalonamento de tais sistemas. O projeto ESTER possui financiamento FAPESB (Apoio projeto de pesquisa) no valor de 27.692,00.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (4) / Doutorado: (4) . , Integrantes: Paul Denis Etienne Regnier - Integrante / George Marconi Lima - Coordenador / Antônio M. Carianha - Integrante / Ernesto Massa - Integrante / José Augusto M. Santos Júnior - Integrante / Flávia Maristela Nascimento - Integrante / Augusto Born de Oliveira - Integrante / Verônica Maria Cadena Lima - Integrante.

• 2006 - 2008

  Protocolo de Comunicação para Redes Industriais baseado em Ehernet, Projeto certificado pela empresa RACIONAL TECNOLOGIA LTDA - ME em 07/08/2014., Descrição: O uso de redes de comunicação Ethernet para suporte aos sistemas industriais e de automação tem recebido atenção nos últimos anos devido ao seu baixo custo, as suas altas taxas de transferência e a sua larga difusão comercial. Contudo, a falta de previsibilidade temporal do protocolo Ethernet 803.2 não é adequado para o seu uso pela maioria dos sistemas industriais. Isso tem motivado a criação de soluções para tornar Ethernet determinístico e permitir seu uso em ambientes que requerem um comportamento temporal previsível. Até então, protocolos e tecnologias existentes, ou são soluções proprietárias focadas apenas em sistemas de automação, ou são usadas apenas para aplicações com requisitos temporais não críticos. Para preencher esta lacuna, este projeto propõe o desenvolvimento de um software inovador e de código livre, atendendo os seguintes requisitos: (a) Ser compatível com o protocolo Ethernet 802.3; (b) Integrar sistemas de automação com requisitos temporais críticos com sistemas de propósito geral; (c) Prover garantias temporais e tolerância a falhas, aspectos necessários aos sistemas críticos; (d) Garantir o isolamento temporal entre os diversos tipos de aplicações. (e) Ser possivelmente ampliado para redes sem fios. Pioneiro no Brasil, este trabalho permitirá a transferência de conhecimentos e de pesquisas recentes do Laboratório de Sistemas Distribuídos (LaSiD) da UFBA para empresas de Tecnologias da Informação e Comunicação da Bahia.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Paul Denis Etienne Regnier - Integrante / George Marconi Lima - Coordenador / Antônio M. Carianha - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Bolsa., Número de produções C, T & A: 4

• 2003 - 2008

  IARA - Integrated Arquitecture for Real-Time Applications, Projeto certificado pelo(a) coordenador(a) George Marconi de Araújo Lima em 07/08/2014., Descrição: Na prática, aplicações críticas de tempo-real podem conter serviços/tarefas não-críticos ou até mesmo serviços cuja correção não depende do tempo. Há ainda a necessidade de executar diferentes aplicações, com requisitos temporais diversos num mesmo sistema. No contexto de sistema distribuído, essas características dificultam o controle temporal do sistema, necessário para que não haja violações das hipóteses citadas anteriormente. Por exemplo, a carga de trabalho num nodo pode causar uma sobrecarga na rede de comunicação afetando hipóteses sobre tempo de transmissão de mensagens. O principal objetivo do presente projeto de pesquisa é desenvolver uma arquitetura integrada para suporte a sistemas de tempo-real. Essa arquitetura, denominada IARA deve atender a aplicações/serviços com diferentes requisitos temporais usando tecnologias de sistemas distribuídos tolerante a falhas. A pesquisa em torno do projeto inclui três áreas de conhecimento: sistemas operacionais de tempo-real (políticas de escalonamento e análise temporal etc.); protocolos distribuídos tolerante a falhas (ordenação de mensagens, representação temporal etc.); e protocolos de redes de comunicação. Este projeto contou com com o apoio do CNPq e Fapesb. Inicialmente, o financiamento contou com uma bolsa CNPq DTR no período 2003-2004. Posteriormente, no período 2005- 2007, o projeto foi financiado pela FAPESB (apoio projeto de pesquisa) no valor de R$ 22.218,00 e, complementarmente, pelo CNPq (Edital Universal) no período 2006-2008 no valor de R$ 39.000,00.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Paul Denis Etienne Regnier - Integrante / Luciano Porto Barreto - Integrante / George Marconi Lima - Coordenador / Aline Maria Santos Andrade - Integrante / Raimundo José de Araújo Macêdo - Integrante / Antônio M. Carianha - Integrante / Flávio Morais de Assis Silva - Integrante / José Augusto M. Santos Júnior - Integrante / Marco Antonio Costa Simões - Integrante / Ana Carolina Sokolonski - Integrante / Ana Paula Gomes Silva Silva - Integrante / Edson Félix Barbosa - Integrante.

Prêmios