tmc-2018.1 - Google Drive


1	23		CÓDIGO DE HONRA
2	Professor	Glauco E. Gonçalves		Todos os estudantes da disciplina subscrevem o seguinte código de conduta: 1) Minhas respostas aos exercícios e exames serão pelo meu próprio trabalho (exceto naqueles que permitam colaboração). 2) Eu não tornarei minhas respostas disponíveis para terceiros. Isso inclui tanto as soluções por mim escritas, quanto aquelas forneceidas pelo professor. 3) Eu não irei envolver-me em atividades desonestas para melhorar meus resultados ou melhorar/piorar os trabalhos dos outros.
3	Email	glaestgon [at] gmail [dot] com
4	Código	14036
5	Nível	Graduação
6	Semestre	2018.1
7	Horário	Segundas e Quartas de 10h as 12h
8	Bibliografia	Ver Programa da Disciplina
9	Notas de aula	Acesse no Google Drive
10	Comunicação	https://chat.whatsapp.com/5lL1fOS7vkPCuwbjxQcAhK
11	Avaliação	1VA	Práticas (40%) e Projeto (60%)
12	2VA	Práticas (40%) e Projeto (60%)
13	3VA	Projeto (100%)
14	Final	Prova (100%)
15	AVISOS
16	05/04/2018	Site em manutenção
17	18/04/2018	Início das aulas
18	23/04/2018	Ler o artigo (zhao, 2013) para discussão em sala em 25/04/2018
19	25/04/2018	Criado grupo de whats de TMC
20	https://chat.whatsapp.com/5lL1fOS7vkPCuwbjxQcAhK
21	02/05/2018	Estudar capítulo 6 da apostila de controle supervisório
22	27/06/2018	Apresentar status do projeto desenvolvido em 02/07/2018, conforme acordado na aba Práticas
23
24


1	Horas	Aula nº	Dia	Assunto	Material	OBS
2	2	1	18/04/2018	Apresentação da disciplina
3	4	2	23/04/2018	Internet das coisas e o problema de controle
4	6	3	25/04/2018	Discussão acerca do artigo de (Zhao, 2013)	Liberação P1
5			30/04/2018	NÃO HAVERÁ AULA
6	8	4	02/05/2018	Modelagem de SEDs (Autômatos e Máquinas de estado)	Ferramentas SED
7	10	5	07/05/2018	Síntese de controladores	Linguagem BZR
8	12	6	09/05/2018	Linguagem BZR	Liberação P2
9	14	7	14/05/2018	Entrega e Discussão P2
10	16	8	16/05/2018	Apresentação de projeto anterior da disciplina	Liberação P3
11	18	9	21/05/2018	Controle de sistemas em BZR
12	20	10	23/05/2018	Controle de sistemas em BZR
13			28/05/2018	NÃO HOUVE AULA (greve caminhoneiros)
14			30/05/2018	NÃO HOUVE AULA (greve caminhoneiros)
15	22	11	04/06/2018	Controle de sistemas em BZR
16	24	12	06/06/2018	Entrega e Discussão P3
17	26	13	11/06/2018	Discussão sobre projeto		Sugestão 1VA
18	28	14	13/06/2018	Acompanhamento de projeto		Sugestão 1VA
19	30	15	18/06/2018	Acompanhamento de projeto
20	32	16	20/06/2018	Apresentação dos projetos (1ª VA)
21	34	17	25/06/2018	Acompanhamento de projeto
22	36	18	27/06/2018	Acompanhamento de projeto	Liberação P4
23	38	19	02/07/2018	Acompanhamento de projeto
24	40	20	04/07/2018	Entrega e Discussão P4	Liberação P5
25	42	21	09/07/2018	Entrega e Discussão P5
26	44	22	11/07/2018	Acompanhamento de projeto
27			16/07/2018	NÃO HAVERÁ AULA
28	46	23	18/07/2018	Acompanhamento de projeto	Liberação P6
29	48	24	23/07/2018	Entrega e Discussão P6		Sugestão 2VA
30	50	25	25/07/2018	Acompanhamento de projeto		Sugestão 2VA
31	52	26	30/07/2018	Acompanhamento de projeto	Liberação P7
32	54	27	01/08/2018	Entrega e Discussão P7
33	56	28	06/08/2018	Acompanhamento de projeto
34	58	29	08/08/2018	Acompanhamento de projeto		Sugestão 3VA
35			13/08/2018	NÃO HAVERÁ AULA		Sugestão 3VA
36	60	30	15/08/2018	2ª VA - Apresentação de Projeto
37	62	31	20/08/2018	Apresentação de Projeto - 3ª V.A.
38	64	32	22/08/2018	Prova Final		Sugestão PF
39			27/08/2018			Sugestão PF
40			29/08/2018
41			31/08/2018			Limite Sig@


1	Prática	Objetivo		Entrega
2	P1	Preparar apresentação baseada no Capítulo 2 do TCC de Rafael Soares. Apresentador será sorteado na aula de 02/05/2018.		ava.ufrpe.br
3	P2	Apresentar um modelo de uma coisa do artigo de (Zhao, 2013) escrito na linguagem BZR/Heptagon		ava.ufrpe.br
4	P3	Reproduzir artigo da (Zhao, 2013) na linguaguem BZR/heptagon		ava.ufrpe.br
5	P4	Atividades distintas: Apresentar autômatos do modem, do computador e as regras criadas, se possível mostrar regras para erro (João); Apresentar a política de iluminação, autômatos que ela controla e regras criadas, se possível mostrar algum utômato com erro funcionando (François); Apresentar primeira modelagem com autômatos e regras (Ricardo);		Apresentação em sala e código no github
6	P5	Atividades distintas: Apresentar modelagem da regra 1, finalizando a modelagem para dar início a parte de interface com mundo físico (João); Introduzir falhas em dois ou mais autômatos (François); Corrigir erros na modelagem e apresentar autômato final para dar início a parte de interface (Ricardo); Modelar e apresentar exemplo de linha de produção do livro do Cury (David); Trazer autômatos e regras para validação, trazê-los implementados se possível.		09/07/2018
7	P6	Atividades distintas: Compilar códigos gerados na rasp, investigando duas alternativas possíveis: a) instalar heptagon/sigali na rasp e b) modificar o Makefile para apenas compilar (João); Finalizar primeira forma de modelagem de falhas, apresentar autômatos e construir modelo sem falhas, para comparação (François ); Finalizar o webservice, fazer testes cliente python para testes (Ricardo).		23/07/2018
8	P7	Atividades distintas: Finalizar as regras com falhas (François); Fazer demonstração da interface java rodando com o controlador (Ricardo); Controlador rodando na raspberry com inputs gpio e webservice (João).		06/08/2018
9	3VA	Atividades distintas: Implementar visualização das regras na interface (Ricardo).		20/08/2018
10
11	Endereços git
12	DAVID BASTOS		https://github.com/Davidkleber/tmcDavid.git
13	EMMANUEL LIMA		https://github.com/emmanuelangelino/cosmos.git
14	FRANÇOIS SOUSA		https://github.com/francoisMich/heptagonProjects.git
15	JOAO GUILHERME		https://github.com/joaogojunior/ufrpe_tmc.git
16	RICARDO LUCAS		https://github.com/Reddstar/TMC-Project.git


1	Alunos	18	23	25	02	07	09	14	16	21	23	04	06	11	13	18	20	25	27	02	04	09	11	18	23	25	30	01	06	08	15
2	Alunos	04	04	04	05	05	05	05	05	05	05	06	06	06	06	06	06	06	06	07	07	07	07	07	07	07	07	08	08	08	08
3	1	F	P	P	P	P	F	F	P	F	F	P	P	P	F	-	P	F	F	-	P	P	P	F	F	F	F	F	F	F	F
4	2	P	P	P	F	F	P	P	P	F	F	P	P	P	P	-	P	F	F	-	F	F	F	F	F	F	F	F	F	F	F
5	3	P	P	P	P	P	F	P	P	P	P	P	P	P	P	-	P	P	P	-	P	P	F	P	P	P	P	P	P	P	P
6	4	F	F	F	F	F	F	F	F	F	F	F	F	F	F	-	F	F	F	-	F	F	F	F	F	F	F	F	F	F	F
7	5	F	P	P	P	P	P	P	P	P	P	P	P	P	F	-	P	P	P	-	P	P	P	P	P	P	P	P	P	P	P
8	6	F	F	P	F	F	P	P	P	P	F	P	P	P	F	-	F	F	F	-	P	P	P	P	P	F	P	P	P	P	P
9
10
11
12		Abr	Mai	Jun	Jul	Ago
13	1	2	8	6	8	8
14	2	0	8	4	14	8
15	3	0	2	0	2	0
16	4	6	14	14	14	8
17	5	2	0	2	0	0
18	6	4	6	8	2	0
19		0	0	0	0	0
20		0	0	0	0	0