Activity Report

RELATRIO DE ACOMPANHAMENTO
PoC - Biblioteca de Sistemas Eltricos
EMBRAER EMPRESA BRASILEIRA DE AERONUTICA SA Exclusive internal use. Prohibited to disclose to any public or particular organization, may not be copied or used in any way whatsoever except as expressly authorized in writing by EMBRAER.
The information contained herein includes trade secrets of EMBRAER and is privileged and confidential. This information may not be copied or used in any way whatsoever except as expressly authorized in writing by EMBRAER.
Relatrio de Acompanhamento
SUMRIO
PoC - Biblioteca de Sistemas Eltricos...............................................................................................1 SUMRIO....................................................................................................................................................2 ndice de Figuras.......................................................................................................................................3 1. Introduo...............................................................................................................................................6 2. Objetivo...................................................................................................................................................6 3. Desenvolvimento....................................................................................................................................6 3.1 Controle de configurao.................................................................................................................6 3.2 Biblioteca de sistemas eltricos......................................................................................................7 3.3 Blocos de suporte da GCU.............................................................................................................13 3.4 Adequao ao EMAC-01.................................................................................................................14 3.5 Levantamento de requisitos...........................................................................................................16 3.6 Casos de Teste................................................................................................................................16 3.7 ICD....................................................................................................................................................88 3.8 Extrao da rvore de falhas.........................................................................................................88 3.9 Simulao do sistema eltrico integrado......................................................................................88 4. Problemas Encontrados......................................................................................................................88 5. Sugestes.............................................................................................................................................88 6. Concluso.............................................................................................................................................88
EMBRAER Proprietary Information - Use or disclosure of this information is subject to the restriction on the title page.
ndice de Figuras
Figura 3.1 - BIBLIOTECA DO SISTEMA ELTRICO.................................................................................7 Figura 3.2 - CONFIGURAES DO BARRAMENTO................................................................................8 Figura 3.3 - Barramento energizado e desenergizado.............................................................................8 Figura 3.4 CONTATOR............................................................................................................................9 Figura 3.5 - Contator Energizado e Desenergizado.................................................................................9 Figura 3.6 - Comportamento de trs fusveis.........................................................................................11 Figura 3.7 - Modelo do gerador DC ........................................................................................................12 Figura 3.8 - Rel........................................................................................................................................12 Figura 3.9 - Chave Seletora......................................................................................................................13 Figura 3.10 Modelo do bloco Detector.................................................................................................14 Figura 3.11 Modelo do bloco Power_Driver........................................................................................14 Figura 3.12 - Montagem para execuo de testes com o bloco Contactor.........................................18 Figura 3.13 Bloco Contactor - Caso de Teste 01................................................................................22 Figura 3.14 Bloco Contactor - Resposta do Caso de Teste 01..........................................................23 Figura 3.15 Bloco Contactor - Caso de Teste 02.................................................................................24 Figura 3.16 Bloco Contactor - Resposta do Contactor - Resposta do Caso de Teste 02...............24 Figura 3.17 Bloco Contactor - Caso de Teste 02.................................................................................25 Figura 3.18 - Bloco Contactor - Caso de Teste 03................................................................................25 Figura 3.19 Bloco Contactor Resposta do Caso de Teste 03.........................................................26 Figura 3.20 - Bloco Contactor - Caso de Teste 04................................................................................27 Figura 3.21 Bloco Contactor Resposta do Caso de Teste 04.........................................................27 Figura 3.22 - Bloco Contactor - Caso de Teste 05................................................................................28 Figura 3.23 - Bloco Contactor Resposta do Caso de Teste 05..........................................................29 Figura 3.24 - Bloco Contactor - Caso de Teste 06................................................................................29 Figura 3.25 - Bloco Contactor Resposta do Caso de Teste 06.........................................................30 Figura 3.26 - Bloco Contactor - Caso de Teste 07................................................................................31 Figura 3.27 - Bloco Contactor Resposta do Caso de Teste 07..........................................................31 Figura 3.28 - Bloco Contactor - Caso de Teste 08................................................................................32 Figura 3.29 - Bloco Contactor Resposta do Caso de Teste 08..........................................................33 Figura 3.30 - Bloco Contactor - Caso de Teste 09................................................................................33 Figura 3.31 - Bloco Contactor Resposta do Caso de Teste 09..........................................................34 Figura 3.32 - Montagem para execuo de testes com o bloco Circuit Breaker.................................35 Figura 3.33 - Bloco Circuit Breaker - Caso de Teste 01.........................................................................39 Figura 3.34 - Bloco Circuit Breaker - Resposta do Caso de Teste 01..................................................40 Figura 3.35 - Bloco Circuit Breaker - Caso de Teste 02.........................................................................41 Figura 3.36 - Bloco Circuit Breaker - Resposta do Caso de Teste 02..................................................41 Figura 3.37 - Bloco Circuit Breaker - Caso de Teste 03.........................................................................42
Figura 3.38 - Bloco Circuit Breaker - Resposta do Caso de Teste 03..................................................43 Figura 3.39 - Bloco Circuit Breaker - Caso de Teste 04.........................................................................43 Figura 3.40 Bloco Circuit Breaker - Resposta do Caso de Teste 04.................................................44 Figura 3.41 - Bloco Circuit Breaker - Caso de Teste 05.........................................................................45 Figura 3.42 Bloco Circuit Breaker - Resposta do Caso de Teste 05.................................................45 Figura 3.43 - Bloco Circuit Breaker - Caso de Teste 06.........................................................................46 Figura 3.44 - Bloco Circuit Breaker - Resposta do Caso de Teste 06..................................................47 Figura 3.45 - Bloco Circuit Breaker - Caso de Teste 07.........................................................................48 Figura 3.46 - Bloco Circuit Breaker - Resposta do Caso de Teste 07..................................................48 Figura 3.47 - Bloco Circuit Breaker - Caso de Teste 08.........................................................................49 Figura 3.48 - Bloco Circuit Breaker - Resposta do Caso de Teste 08..................................................50 Figura 3.49 - Bloco Circuit Breaker - Caso de Teste 09.........................................................................51 Figura 3.50 - Bloco Circuit Breaker - Resposta do Caso de Teste 09..................................................51 Figura 3.51 Montagem para execuo de testes com o bloco Fuse.................................................52 Figura 3.52 Bloco Fuse - Caso de Teste 01.........................................................................................54 Figura 3.53 Bloco Fuse Resultado do Caso de Teste 01................................................................55 Figura 3.54 Bloco Fuse - Caso de Teste 02.........................................................................................55 Figura 3.55 Bloco Fuse Resultado do Caso de Teste 02.................................................................56 Figura 3.56 Bloco Fuse - Caso de Teste 03.........................................................................................57 Figura 3.57 Bloco Fuse- Resultado do Caso de Teste 03..................................................................58 Figura 3.58 Montagem para execuo de testes com o bloco Generator Simplified Model...........58 Figura 3.59 Bloco Generator Simplified Model - Caso de Teste 01...................................................60 Figura 3.60 Bloco Generator Simplified Model Resultado do Caso de Teste 01...........................61 Figura 3.61 - Bloco Generator Simplified Model - Caso de Teste 02....................................................62 Figura 3.62 - Bloco Generator Simplified Model - Resultado do Caso de Teste 02............................62 Figura 3.63 - Bloco Generator Simplified Model - Caso de Teste 03....................................................63 Figura 3.64 - Bloco Generator Simplified Model - Resultado do Caso de Teste 03............................64 Figura 3.65 - Montagem para execuo de testes com o bloco Generator Complete Model.............64 Figura 3.66 Bloco Generator Complete Model - Caso de Teste 01....................................................66 Figura 3.67 - Bloco Generator Complete Model Resultado do Caso de Teste 01............................67 Figura 3.68 - Bloco Generator Complete Model - Caso de Teste 02.....................................................68 Figura 3.69 - Bloco Generator Complete Model Resultado do Caso de Teste 02............................68 Figura 3.70 - Bloco Generator Complete Model - Caso de Teste 03.....................................................69 Figura 3.71 - Bloco Generator Complete Model Resultado do Caso de Teste 03............................70 Figura 3.72 - Montagem para execuo de testes com o bloco Panel Switch....................................71 Figura 3.73 Bloco Panel Switch - Caso de Teste 01...........................................................................74 Figura 3.74 Bloco Panel Switch Resultado do Caso de Teste 01...................................................75 Figura 3.75 - Bloco Panel Switch - Caso de Teste 02............................................................................76 Figura 3.76 Bloco Panel Switch Resultado do Caso de Teste 02...................................................76 Figura 3.77 - Bloco Panel Switch - Caso de Teste 03............................................................................77
Figura 3.78 - Bloco Panel Switch - Resultado do Caso de Teste 03.....................................................78 Figura 3.79 - Bloco Panel Switch - Caso de Teste 04............................................................................78 Figura 3.80 - Bloco Panel Switch - Resultado do Caso de Teste 04.....................................................79 Figura 3.81 - Bloco Panel Switch - Caso de Teste 05............................................................................80 Figura 3.82 - Bloco Panel Switch - Resultado do Caso de Teste 05.....................................................80 Figura 3.83 - Montagem para execuo de testes com o bloco Auxiliary Relay.................................81 Figura 3.84 Entradas de teste do caso de teste 01 do rel................................................................82 Figura 3.85 Lgica de teste do Rel.....................................................................................................82 Figura 3.86 - Entradas de teste do Caso de Teste 02 do Rel..............................................................83 Figura 3.87 - Lgica de teste do Caso de Teste 02 do Rel..................................................................84 Figura 3.88 - Entradas de teste do Caso de Teste 03 do Rel..............................................................84 Figura 3.89 - Lgica de teste do Caso de Teste 03 do Rel..................................................................85 Figura 3.90 - Entrada de teste do caso de teste 04 do Rel..................................................................85 Figura 3.91 - Lgica de teste do caso de teste 04 do rel.....................................................................86 Figura 3.92 Montagem para execuo de testes dos blocos de Barramento..................................86 Figura 3.93 - Lgica dos Testes do Barramento....................................................................................87
1.
Introduo
A atividade proposta, descrita neste relatrio, foi a criao de uma biblioteca de elementos bsicos com o objetivo de auxiliar a montagem de um modelo mnemnico da arquitetura eltrica do Phenom 100. Os elementos modelados neste PoC foram os que seguem: Baterias Contatores Fusveis Gerador Chaves Disjuntores Rels auxiliares Barramentos Conectores
Este relatrio ir mostrar o objetivo de forma mais detalhada na seo 2. Na seo 3 sero dados mais detalhes em relao ao desenvolvimento da bibliotecas e seus elementos, bem como as ferramentas utilizadas para alcanar este fim. Nesta mesma seo os casos de teste utilizados para verificar a implementao dos blocos tambm sero mostrados. A seo 4, contm a descrio de alguns problemas encontrados e soluo aplicada para os mesmos. A seo 5 deste relatrio contm algumas sugestes para os projetos futuros que na opinio dos engenheiros responsveis por este relatrio, podem contribuir para a melhora dos produtos entregues pelo grupo do Avio Virtual. E finalmente na seo 6, ser feita uma concluso deste trabalho.
2.
Objetivo
O objetivo da criao de uma biblioteca de eltrica, alm do mais intuitivo que a utilizao destes elemento por qualquer engenheiro da Embraer que queira fazer uma primeira modelagem de uma arquitetura de um sistema eltrico, tambm a de auxiliar a equipe do Avio Virtual ganhar maturidade em alguns procedimentos e ferramentas que ajudam no processo de modelagem e simulao. Foi utilizado controle de verso para este projeto, alinhado com a recomendao do grupo de processo para organizar e diminuir os riscos de se desenvolver grandes projetos, com uma equipe de vrias pessoas. Outro objetivo foi a de desenvolver as bibliotecas seguindo as recomendaes do EMAC 01, que normatiza as regras de simulao. Alm disto, ferramentas criadas por diversos grupos dentro da equipe do avio virtual tambm sero testadas, ferramentas como o de gerao de ICD e de gerao automtica de rvore de falhas. Em paralelo com o desenvolvimento e testes dos blocos da bibliotecas, um modelo eltrico do Phenom 100 foi desenvolvido utilizando
3.
3.1
Desenvolvimento
Controle de configurao
Dado que os componentes da equipe trabalharam com os arquivos Simulink das bibliotecas de forma concorrente, foi implementado controle de configurao com a utilizao das ferramentas Subversion e TortoiseSVN.
O Subversion um sistema utilizado para possibilitar o compartilhamento de informaes. baseado em um repositrio, que uma base central de dados. Os clientes se conectam ao repositrio e ento lem ou escrevem nos arquivos l armazenados. O cliente utilizado, neste caso, foi o TortoiseSVN. Para evitar que ocorresse conflito no momento de gravar dados no repositrio, - por exemplo, dois clientes tentando gravar verses diferentes do mesmo arquivo - foi utilizada a soluo lock-modify-unlock, que permite que apenas uma pessoa possa modificar um arquivo em um dado momento. Cada componente tinha sua working copy local e, quando havia necessidade de se modificar um arquivo, o usurio dava um lock no arquivo, evitando assim que qualquer outro usurio pudesse modificar o mesmo arquivo. Depois de modificado, ao se gravar o arquivo no repositrio atravs do comando commit, automaticamente o arquivo sofria unlock, tornando-se assim disponvel para posteriores modificaes.
3.2
Biblioteca de sistemas eltricos
A biblioteca foi organizada em palettes, uma coleo de componentes pertencentes a uma mesma categoria, e depois adicionada biblioteca Embraer Electrical Library, disponibilizada no Simulink Library Browser.
Figura 3.1 - BIBLIOTECA DO SISTEMA ELTRICO As categorias, bem como os seus componentes so descritos abaixo: Battery o Simplified Model Este modelo prov Vdc Volts em seu terminal de sada em relao ao terminal de entrada, que em geral ligado ao terra comum do sistema. Este modelo
simplificado no modela dinmica alguma e funciona identicamente a uma fonte de tenso ideal. Em caso de falha a sada forada a zero volts imediatamente. Bus O modelo de barramento possui n+1 parmetros de configurao, onde n o nmero de conexes deste barramento. As configuraes so a resistncia interna do barramento e a resistncia de curto circuito.
Figura 3.2 - CONFIGURAES DO BARRAMENTO Atualmente cinco variaes de barramento esto modeladas. o o o o o 1 port 2 ports 3 ports 4 ports 5 ports
Os barramentos possuem mscaras animadas, isto , de acordo com a tenso do barramento ele mostra uma cor diferente. Para barramentos energizados, a cor verde aplicada ao bloco. Caso contrrio, o barramento fica vermelho.
Continuous powergui
Voltage_V
T1
DC Voltage Source
Barramento Energizado
Fail
Voltage_V
T1
Barramento Desenergizado
Fail
Figura 3.3 - Barramento energizado e desenergizado.
Contactor Modelo de contator possui como parmetros de configurao a tenso de pickup e dropout e seus pinos so definidos da seguinte forma. o o o o o ContactorFail Entrada de falha Contactor_Status Sada de Status do contator (conduzindo ou no). P_1_PosCoil e P_8_NegCoil Entradas positiva e negativa da bobina de energizao do contator. P_2 a P_14 Portas de contato auxiliares. T1 e T2 Portas de contato de potncia.
Figura 3.4 CONTATOR O modelo de contator conta com mscara animada, como mostrado na
ContactorFail P_1_PosCoil ContactorStauts P_8_NegCoil P_3 P_2 P_5 P_4 P_7 P_6 T2 ContactorFail P_1_PosCoil P_10 P_9 P_12 P_11 P_14 P_13 T1 ContactorStauts P_8_NegCoil P_3 P_2 P_5 P_4 P_7 P_6 T2
P_10 P_9
28 0
P_12 P_11 P_14 P_13 T1
Contactor Energizado
Contactor Desenergizado
Figura 3.5 - Contator Energizado e Desenergizado Um contator com contatos auxiliares de duas posies tambm foi implementado.
10
Contactor _Status ContactorFail P_8_NegCoil P_1_Pos Coil T2
T1
ON_A1
OFF _A3 A2 ON_B1 B2 OFF _B3
TwoAuxDoubleContactsContactor
Extras A pallet de extras possui os seguintes modelos: o Circuit breaker Disjuntor
CbFail OpenCb T1
IsInFailure CbStatus T2
CircuitBreaker
Fuse
Se for aplicado ao fusvel uma corrente maior que seu valor nominal, aps algum tempo ele ir queimar, interrompendo a corrente que percorrida pelo circuito.
Continuous powergui
20 A
s
28 0
O modelo de fusvel leva em considerao o comportamento i x t de um fusvel, ou seja, quanto maior a corrente, mais rpido o fusvel ir responder e queimar. Atualmente existem 27 caractersticas prmodeladas de comportamentos de fusveis, sendo elas: 1A, 2A, 3A, 4A, 5A, 6A, 7A, 8A, 10A, 12A, 15A, 20A, 25A, 30A, 35A, 50A, 80A, 100A, 130A, 150A, 200A, 225A, 275A, 325A, 350A, 400A e 500A. A Figura 3.6 ilustra o comportamento modelado de i x t de trs fusveis.
11
Figura 3.6 - Comportamento de trs fusveis o o Power Node Este n apenas a ligao de trs fios e necessrio para que a ferramenta de gerao automtica de rvore de falhas funcione. Signal Open Este bloco prove um uma ligao terra com uma altssima resistncia para simular um terminal desconectado. Simplified Model Este modelo simplificado, no modela qualquer tipo de dinmica ou efeito no linear no gerador, ou seja, funciona como uma fonte ideal de tenso. Seu objetivo ser utilizado quando os efeitos relacionados gerao de energia so desprazveis ou, no so o foco de estudo da simulao. Complete Model O modelo completo por sua vez j simula de forma mais precisa o comportamento dinmico de um gerador DC. Este modelo contm os clculos dos circuitos de campo e armadura de acordo com as equaes abaixo:
Generator Dois geradores foram modelados nesta fase da biblioteca de sistemas eltricos: o
Vout = i f K Ra I a
onde, Vout a tenso de sada do gerador, If a corrente do campo, K a constante eletromotriz, w a velocidade angular do eixo do gerador e Ra a resistncia da armadura. If calculado de acordo com a prxima equao.
if =
(R
Vf
f
+ sL f
onde, Rf e Lf so a resistncia e indutncia do campo e Vf a tenso do campo.
12
Figura 3.7 - Modelo do gerador DC . Relay Assim como o modelo de contator, o modelo de rel possui as entradas dos terminais da bobina de energizao, e alm destas, quatro entradas (A2, B2, C2 e D2) e oito sadas (terminais de potncia), sendo elas A1, A3, B1, B3, C1, C3, D1, D3. Alem destas entradas e sadas de potncia, ele possui uma entrada virtual de falha e uma sada virtual que mostra o status atual do rel. Este pode ser 0 caso ele esteja desenergizado, ou 1 caso contrrio.
AUX_RLY _Fail
AUX_RLY _Status X1 _neg_coil
X1 _pos_coil
A1 A1
A1
B1 B1 C1 C1 D1
B1
C1
D1
D1
AUXRLY
Figura 3.8 - Rel Switch o Panel Switch Este bloco de chave seletora (Panel Switch) assemelha-se ao rel descrito acima, sua principal diferena encontra-se no sentido em que a seleo de sada
13
no feita atravs da energizao de uma bobina, mas sim atravs de um comando direto do piloto. Portanto no h configuraes de pickup ou dropout voltage.
P_1 SwitchFail P_3 Command P_4
P_2
P_6
P_5
P_7
P_9 P_8 P_10 P_11 P_12
Switch
Figura 3.9 - Chave Seletora Outros modelos de chaves tambm foram implementados:
SwitchFail Command P_2 P_4 OFF _1 ON _3 Command OFF _5 ON _6 P_2 ON_P_3 P_C OPEN 2_P_3 Command AUTO_P_2
SwitchFail OFF _P_1
SwitchFail
OPEN 1_P_1
DoubleTwoPositionSwitch
SingleTwoPositionSwitch
ThreePositionSwitch
3.3
Blocos de suporte da GCU
Dado que todos os componentes eltricos com exceo da GCU foram implementados utilizando elementos da biblioteca SimPowerSystems (fluxo de potncia), houve a necessidade de criar blocos de interface para prover a comunicao destes componentes implementados por fluxo de potncia com a GCU que possui blocos bsicos do Simulink que se comunicam utilizando fluxo de sinais. Foi criado um bloco designado detector cuja finalidade converter um aterramento de um terminal eltrico em informao que a GCU possa interpret-la. Sua implementao mostrada na Figura 3.10. O principio de funcionamento tal que caso um ground seja conectado ao port Conn1, a tenso medida ser menor que 3 volts, levando assim o sinal de sada do bloco detector a assumir valor 1, indicando assim a presena de aterramento, caso contrrio (Conn1 em aberto), a tenso medida ser maior que 3 volts e assim a sada do bloco ser igual a 0.
14
Figura 3.10 Modelo do bloco Detector Foi criado um outro blocod e interface chamado Power Driver, Figura 3.11, cuja finalidade prover comunicao da GCU com os componentes eltricos. O sinal proveniente da lgica interna da GCU pode assumir valor 28 (sinal de comando) ou infinito (ausncia de sinal de comando). No bloco Power Dirver, o sinal da GCU comparado e caso o mesmo seja 28 (inferior a 30), uma tenso de 28 V enviada ao port de potncia Conn1.
Figura 3.11 Modelo do bloco Power_Driver
3.4
Adequao ao EMAC-01
Houve a necessidade de se adequar os modelos dos componentes das bibliotecas ao documento EMAC01 (Embraer Modeling Advisory Circular), que trata de regras gerais de modelagem. Para facilitar esta tarefa, o documento foi analisado e foi levantado um check list contendo as regras aplicveis aos modelos que necessitavam de adequao.
15
EMAC 01 Check List N 1.1 (a) Mandatory Rules The corresponding signal (line) must be named with the same label given accordingly to what it is explained above. All signals entering a bus must be named in the bus lines, close to the bus creator. It is not allowed to have different quantities with same name in different subsystems. If not programming generic libraries, avoid using vague variable names as Temperature, Pressure, Current, Speed, Gain, etc. An operation shall change the variable name If a variable must change its name, it shall exist a dummy operation to characterize the variable changing. While not suffering an operation, a signal must keep its name as where it was generated. The effect is keeping the coherence and understandability for the user and other developers in reuse. Because of duplicated libraries, it is possible that different variables appear with same name, breaking the EMAC 1.2. This is acceptable if there exist a way of accessing via stimulation each individual parameter thru full path name. This is a mechanism that must be developed by teams responsible to define the executable simulation It is exclusively allowed to use the following characters in the variable names: Alphanumeric characters, lowercases and uppercases; Underline _; Except if: The variable name begins with numeric; The variable name ends with _s or _S (to avoid interference with RT-Lab) 1.6 (b) 1.8 (a) The developer shall provide a legend of meaning of all suffixes and prefixes inside the model domain where this convention is valid. The suggested differentiations are as follows Use of prefix BUS_ or B_ in order to differentiate and keep the understandability inside the model (Ex.: BUS_actuator, B_system_out) Use of uppercase (Ex.: CONTROLS, ATMDATA) Use of Bus in the end of the name (Ex.: DataBus, AeroBus, etc) 8 (a) 8 (b) Please refer to EMAC1 for more explanation on this item When a block generates one or more states, their names must appear in the block name. Please refer to EMAC1 for more explanation on this item When a block generate one or more states, the block attributes must contain the state names. One state: a string containing the state name (Ex.: Speed) Two or more states: One cell string containing state names (Ex.: {'Speed_x', 'Speed_y'}) 1.9 (a) In all parts of a model, explicit lines shall represent signals connecting all model Ok?
1.2 (a)
1.2 (b) 1.2 (c) 1.3 (a)
1.4 (a)
1.5 (a)
16
ports, except: When in same model level, local from/go-to blocks are used to avoid line crossings; In a stand-alone system blocks, scoped from/go-to blocks are used to distribute a variable widely used; since this is restricted in the root of the system and respective sub-systems. In a stand-alone system blocks, scoped from/go-to blocks are used to distribute a variable related with energy flow, as electric power, mechanical power, hydraulic power, pneumatic power. In a stand-alone system blocks, scoped from/go-to blocks are used to distribute all system constant parameter, since all parameters sources are joined in a unique subsystem of the root. 1.9 (b) Using a scoped goto, where its visibility is restricted to a component model. In this case, the tag visibility block must be explicit in the top level of the component model. The same is valid for variables representing energy flow interface, which are calculated to give other systems the energy consumption. The same is valid for buses within systems parameters (constants), if the parameters are joined and explicit in a unique subsystem of root model. It is never allowed to use global gotos.
1.9 (c) 1.9 (d) 1.9 (e)
3.5
Levantamento de requisitos
Aps o levantamento de requisitos, estes foram includos na base de dados Virtual Airplane/2.03 POC/2.03 - POC/Tools/Electrical Library, no mdulo formal Requirements, utilizando a ferramenta Telelogic DOORS.
3.6
Casos de Teste
A partir dos requisitos, foram levantados casos de teste para a Biblioteca de Sistemas Eltricos. Os casos de teste so descritos em um modelo Simulink, atravs do bloco Signal Builder e testados com o auxlio dos blocos de validao da biblioteca Simulink Model Verification, neste caso mais especificamente o bloco Check Dynamic Range e Assertion. O componente Signal Builder possui uma interface grfica que permite que se criem sinais de teste para o modelo e tambm para os blocos Model Verification. O componente Check Dynamic Range verifica se um sinal est dentro do limite definido por dois outros sinais, um sinal de mximo e um sinal de mnimo. O componente Assertion deve ser conectado sada do bloco Check Dynamic Range para informar se a verificao passou ou falhou. No dilogo do bloco Signal Builder possvel criar abas para cada caso de teste, sendo a forma dos sinais bem como a sua ativao independente entre elas. Os blocos de verificao ativos em cada caso de teste e tambm os requisitos inseridos no DOORS podem ser selecionados atravs da ativao do boto Show Verification Settings na interface grfica do Signal Builder. Para testar os casos de teste, necessrio criar um novo modelo Simulink, ali inserir o componente a ser testado, bem como os componentes auxiliares necessrios, um bloco Signal Builder, os blocos de verificao e Assertion necessrios. Na interface grfica do Signal Builder deve-se inserir os sinais de
17
teste e os sinais que devem alimentar o bloco de verificao, e selecionar quais os blocos de verificao e Assertion devem ser ativados para cada caso de teste. Abaixo so descritos os casos de teste para cada componente.
3.6.1 Contactor
A montagem para execuo dos casos de teste com o bloco Contactor ilustrada na Figura 3.12. No bloco Signal Builder foi criado um sinal de teste Contactor Fail para simular uma falha e um outro sinal P1_1 - depois convertido para tenso - entrando no enrolamento positivo. Os outros sinais de teste se referem aos limites para as respostas dos contatos normalmente fechados (NF) e normalmente abertos (NA). Foram inseridos sete blocos Check Dynamic Range, cada um associado a um contato e a um Assertion. Os sinais de mximo e mnimo para os contatos NF alimentam os blocos de verificao e Assertion associados aos contatos P_9/P_2, P_11/P_4 e P_13/P_6. Os sinais de mximo e mnimo para os contatos NA alimentam os blocos de verificao e Assertion associados aos contatos P_10/P_3, P_12/P_5, P_14/P_7 e T1/T2. Na mscara do componente Contactor foram configurados os seguintes parmetros: Pickup Voltage (V) = 15 Dropout Voltage (V) = 6
18
Figura 3.12 - Montagem para execuo de testes com o bloco Contactor
3.6.1.1
Caso de Teste 01
O Caso de Teste 01 foi associado ao seguinte requisito: The Contactor shall electrically close its primary contacts (A1 - A2) when input voltage is greater than pickup voltage. O sinal de falha do contator Contactor Fail foi mantido em 0, ou seja, sem falha e o sinal P1_1 foi variado de 0 V a 20 V do instante 20 s a 40 s, como mostrado na . No campo Verification Block Settings selecionou-se o bloco de verificao Check Dynamic Range T1_T2 e o bloco de Assertion T1_T2, dado que T1 e T2 so os contatos primrios. Como pode-se notar pela forma dos sinais maxNA e minNA na , esperava-se que o contato T1/T2 passasse de aberto (tenso 0 V) para fechado (tenso de alimentao dos contatos - DC Voltage Source neste caso 28 V) quando a tenso de P1_1 ultrapassasse a tenso de pickup, o que ocorreu em torno de 35 s, como se pode observar atravs da , no ltimo grfico (T1_T2).
19
3.6.1.2
Caso de Teste 02
O Caso de Teste 02 foi associado ao seguinte requisito: The Contactor shall electrically open its primary contacts (A1 - A2) when input voltage is lower than dropout voltage. O sinal de falha do contator Contactor Fail foi mantido em 0, ou seja, sem falha e o sinal P1_1 foi variado de 20 V a 0 V do instante 70 s a 90 s, como mostrado na Figura 3.17. No campo Verification Block Settings selecionou-se o bloco de verificao Check Dynamic Range T1_T2 e o bloco de Assertion T1_T2, dado que T1 e T2 so os contatos primrios. Como pode-se notar pela forma dos sinais maxNA e minNA na , esperava-se que o contato T1/T2 passasse de fechado (tenso de alimentao dos contatos - DC Voltage Source neste caso 28 V) para aberto (tenso 0 V) quando a tenso de P1_1 ficasse abaixo de 6 V, o que ocorreu em torno de 84 s, como se pode observar atravs da Figura 3.18, no ltimo grfico (T1_T2).
3.6.1.3
Caso de Teste 03
O Caso de Teste 03 foi associado ao seguinte requisito: "The Contactor's auxiliary contacts 6-13, 4-11, 2-9 shall be normally closed. " O sinal de falha do contator Contactor Fail foi mantido em 0, ou seja, sem falha e o sinal P1_1 foi mantido em 0 V, como mostrado na Error: Reference source not found. No campo Verification Block Settings selecionaram-se todos os blocos de verificao Check Dynamic Range e todos os blocos de Assertion. Dado que os contatos a serem testados P_6_13, P_4_11 e P_2_9 devem ser normalmente fechados, infere-se que deveriam ser selecionados apenas os blocos de verificao e "Assertion" referentes a estes contatos, mas optou-se por testar os contatos restantes paralelamente aos contatos normalmente fechados de forma a verificar o comportamento do bloco como um todo. Como pode-se notar pela forma dos sinais maxNF e minNF na Error: Reference source not found, esperava-se que os contatos P_6_13, P_4_11 e P_2_9 permanecessem fechados (tenso de alimentao dos contatos - DC Voltage Source neste caso 28 V) quando a tenso de P1_1 fosse 0 V, o que ocorreu, como se pode observar na Figura 3.20, no segundo (P_9_2), quarto (P_11_4) e sexto (P_13_6) grficos.
3.6.1.4
Caso de Teste 04
O Caso de Teste 04 foi associado ao seguinte requisito: "The Contactor's auxiliary contacts 7-14, 5-12, 3-10 shall be normally opened. " O sinal de falha do contator Contactor Fail foi mantido em 0, ou seja, sem falha e o sinal P1_1 foi mantido em 0 V, como mostrado na Error: Reference source not found. No campo Verification Block Settings selecionaram-se todos os blocos de verificao Check Dynamic Range e todos os blocos de
20
Assertion. Dado que os contatos a serem testados P_7_14, P_5_12 e P_3_10 devem ser normalmente fechados, infere-se que deveriam ser selecionados apenas os blocos de verificao e "Assertion" referentes a estes contatos, mas optou-se por testar os contatos restantes paralelamente aos contatos normalmente fechados de forma a verificar o comportamento do bloco como um todo. Como pode-se notar pela forma dos sinais maxNA e minNA na Error: Reference source not found, esperava-se que os contatos P_7_14, P_5_12 e P_3_10 permanecessem abertos (tenso de 0 V) quando a tenso de P1_1 fosse 0 V, o que ocorreu, como se pode observar na Figura 3.22, no primeiro (P_10_3), terceiro (P_12_5) e quinto (P_14_7) grficos.
3.6.1.5
Caso de Teste 05
O Caso de Teste 05 foi associado ao seguinte requisito: "The Contactor shall fail opened when the virtual fail input is 1. " O sinal de falha do contator Contactor Fail foi em variado de 0 para 1 no instante 30 s, ou seja, uma falha ocorre, e o sinal P1_1 foi variado de 0 V a 20 V do instante 20 s a 40 s, e de 20 V para 0 V do instante 60 s a 80 s, como mostrado na Error: Reference source not found. Selecionaram-se todos os blocos de verificao Check Dynamic Range e todos os blocos de Assertion. Dado que os contatos a serem testados so os primrios - T1/T2, infere-se que deveriam ser selecionados apenas os blocos de verificao e "Assertion" referentes a estes contatos, mas optou-se por testar os contatos restantes paralelamente aos contatos normalmente fechados de forma a verificar o comportamento do bloco como um todo. Como se pode notar pela forma dos sinais maxNA e minNA na Error: Reference source not found, esperava-se que os contatos T1/T2 se mantivessem abertos (tenso 0 V) quando ocorresse a falha e mesmo depois desta ocorrncia. A falha ocorreu quando os contatos T1/T2 estavam abertos. Em aproximadamente 35 s a tenso representada pelo sinal "P1_1" ultrapassou a tenso de pickup e mesmo assim, os contatos se mantiveram abertos. Quando a tenso representada pelo sinal "P1_1" passou para um valor menor que a tenso de dropout, em aproximadamente 74 s, os contatos se mantiveram abertos, como se pode observar na Figura 3.24, no ltimo grfico (T1_T2).
3.6.1.6
Caso de Teste 06
O Caso de Teste 06 foi associado ao seguinte requisito: "The Contactor shall fail opened when the virtual fail input is 1. " O sinal de falha do contator Contactor Fail foi variado de 0 para 1 no instante 50 s, ou seja, uma falha ocorre, e o sinal P1_1 foi variado de 0 V a 20 V do instante 20 s a 40 s, e de 20 V para 0 V do instante 60 s a 80 s, como mostrado na Error: Reference source not found. Selecionaram-se todos os blocos de verificao Check Dynamic Range e todos os blocos de Assertion. Dado que os contatos a serem testados so os primrios - T1/T2, infere-se que deveriam ser selecionados apenas os blocos de verificao e "Assertion" referentes a estes contatos, mas optou-se por testar os contatos restantes paralelamente aos contatos normalmente fechados de forma a verificar o comportamento do bloco como um todo. Como se pode notar pela forma dos sinais maxNA e minNA na Error: Reference source not found, esperava-se que os contatos T1/T2 se mantivessem abertos (tenso 0 V) at aproximadamente 35 s,
21
quando ficariam fechados (tenso de alimentao dos contatos - DC Voltage Source neste caso 28 V) e quando ocorresse a falha, estes voltariam para aberto. A falha ocorreu quando os contatos T1/T2 estavam fechados. Quando a tenso representada pelo sinal "P1_1" passou para um valor menor que a tenso de dropout, em aproximadamente 74 s, os contatos se mantiveram abertos, como se pode observar na Figura 3.26, no ltimo grfico (T1_T2).
3.6.1.7
Caso de Teste 07
O Caso de Teste 07 foi associado ao seguinte requisito: "The Contactor shall fail closed when the virtual fail input is 2. " O sinal de falha do contator Contactor Fail foi variado de 0 para 2 no instante 50 s, ou seja, uma falha ocorre, e o sinal P1_1 foi variado de 0 V a 20 V do instante 20 s a 40 s, e de 20 V para 0 V do instante 60 s a 80 s, como mostrado na Error: Reference source not found. Selecionaram-se todos os blocos de verificao Check Dynamic Range e todos os blocos de Assertion. Dado que os contatos a serem testados so os primrios - T1/T2, infere-se que deveriam ser selecionados apenas os blocos de verificao e "Assertion" referentes a estes contatos, mas optou-se por testar os contatos restantes paralelamente aos contatos normalmente fechados de forma a verificar o comportamento do bloco como um todo. Como se pode notar pela forma dos sinais maxNA e minNA na Error: Reference source not found, esperava-se que os contatos T1/T2 se mantivessem abertos (tenso 0 V) at aproximadamente 35 s, quando a tenso representada pelo sinal "P1_1" ultrapassa a tenso de pickup, e ento fechassem (tenso de alimentao dos contatos - DC Voltage Source neste caso 28 V). Quando ocorresse a falha, estes permaneceriam fechados. A falha ocorreu quando os contatos T1/T2 estavam fechados. Quando a tenso representada pelo sinal "P1_1" passou para um valor menor que a tenso de dropout, em aproximadamente 74 s, os contatos se mantiveram fechados, como se pode observar na Figura 3.28, no ltimo grfico (T1_T2).
3.6.1.8
Caso de Teste 08
O Caso de Teste 08 foi associado ao seguinte requisito: "The Contactor shall fail closed when the virtual fail input is 2. " O sinal de falha do contator Contactor Fail foi variado de 0 para 2 no instante 30 s, ou seja, uma falha ocorre, e o sinal P1_1 foi variado de 0 V a 20 V do instante 20 s a 40 s, e de 20 V para 0 V do instante 60 s a 80 s, como mostrado na Error: Reference source not found. Selecionaram-se todos os blocos de verificao Check Dynamic Range e todos os blocos de Assertion. Dado que os contatos a serem testados so os primrios - T1/T2, infere-se que deveriam ser selecionados apenas os blocos de verificao e "Assertion" referentes a estes contatos, mas optou-se por testar os contatos restantes paralelamente aos contatos normalmente fechados de forma a verificar o comportamento do bloco como um todo. Como se pode notar pela forma dos sinais maxNA e minNA na Error: Reference source not found, esperava-se que os contatos T1/T2 se mantivessem abertos (tenso 0 V) at a ocorrncia da falha, quando fechariam (tenso de alimentao dos contatos - DC Voltage Source neste caso 28 V) e assim permaneceriam independente da variao de "P1_1".
22
A falha ocorreu quando os contatos T1/T2 estavam abertos e estes fecharam no instante 30 s. Em aproximadamente 35 s a tenso representada pelo sinal "P1_1" ultrapassou a tenso de pickup e os contatos se mantiveram fechados. Quando a tenso representada pelo sinal "P1_1" passou para um valor menor que a tenso de dropout, em aproximadamente 74 s, os contatos se mantiveram fechados, como se pode observar na Figura 3.30, no ltimo grfico (T1_T2).
3.6.1.9
Caso de Teste 09
O Caso de Teste 09 foi associado ao seguinte requisito: "The Contactor shall have no failure behavior when virtual fail input is 0. " O sinal de falha do contator Contactor Fail foi mantido em 0, ou seja, sem falha e o sinal P1_1 foi variado de 0 V a 20 V e de 0 V a 20 V, como mostrado na Error: Reference source not found. Selecionaram-se todos os blocos de verificao Check Dynamic Range e todos os blocos de Assertion. Dado que os contatos a serem testados so os primrios - T1/T2, infere-se que deveriam ser selecionados apenas os blocos de verificao e "Assertion" referentes a estes contatos, mas optou-se por testar os contatos restantes paralelamente aos contatos normalmente fechados de forma a verificar o comportamento do bloco como um todo. Como se pode notar pela forma dos sinais maxNA, minNA, "maxNF" e "minNF" na Error: Reference source not found, esperava-se que o contato T1/T2 passasse de aberto (tenso 0 V) para fechado (tenso de alimentao dos contatos - DC Voltage Source neste caso 28 V) quando a tenso de P1_1 ultrapassasse a tenso de pickup, e que o contato passasse para de fechado para aberto quando a tenso casse para um valor abaixo da tenso de dropout. Isso ocorreu e pode ser observado na Error: Reference source not found, no ltimo grfico (T1_T2).
Figura 3.13 Bloco Contactor - Caso de Teste 01
23
Figura 3.14 Bloco Contactor - Resposta do Caso de Teste 01
24
Figura 3.15 Bloco Contactor - Caso de Teste 02
Figura 3.16 Bloco Contactor - Resposta do Contactor - Resposta do Caso de Teste 02
25
Figura 3.17 Bloco Contactor - Caso de Teste 02 Figura 3.18 - Bloco Contactor - Caso de Teste 03
26
Figura 3.19 Bloco Contactor Resposta do Caso de Teste 03
27
Figura 3.20 - Bloco Contactor - Caso de Teste 04
Figura 3.21 Bloco Contactor Resposta do Caso de Teste 04
28
29
Figura 3.23 - Bloco Contactor Resposta do Caso de Teste 05
30
31
32
33
34
3.6.2 Circuit Breaker

A montagem para execuo dos casos de teste com o bloco Circuit Breaker ilustrada na . No bloco Signal Builder foi criado um sinal de teste CbFail para simular uma falha, um sinal de teste "OpenCb" para simular a operao do piloto e um outro sinal "Current" - depois convertido para corrente - entrando no contato "T1". Foi inserido um bloco Check Dynamic Range, associado ao contato e a um Assertion. Os sinais de mximo e mnimo para o contato alimentam o bloco de verificao. Na mscara do componente Circuit Breaker foram configurados os seguintes parmetros: Nominal Current (A) = 5 Time to Open (s) = 5 Voltage Drop Resistance (Ohm) = 1e-3
35
Figura 3.32 - Montagem para execuo de testes com o bloco Circuit Breaker
3.6.2.1
Caso de Teste 01
O Caso de Teste 01 foi associado ao seguinte requisito: The Circuit Breaker shall have no failure behavior when virtual fail input (CbFail) is 0. O sinal de falha CbFail foi mantido em 0, ou seja, sem falha. O sinal OpenCb foi mantido em 0, ou seja, sem operao do piloto e o sinal Current foi mantido em 5 A, como mostrado na Figura 3.33. No
36
campo Verification Block Settings selecionou-se o bloco de verificao Check Dynamic Range e o bloco de Assertion. Como pode-se notar pela forma dos sinais max e min na Figura 3.33, esperava-se que o contato permanecesse fechado (corrente igual a Current). Isto ocorreu e pode ser observado atravs da Figura 3.35.
3.6.2.2
Caso de Teste 02
O Caso de Teste 02 foi associado ao seguinte requisito: The Circuit Breaker shall interrupt the current flow when the Virtual Fail Input (CbFail) is 1 (Fail Open). O sinal de falha CbFail foi variado de 0 para 1 no instante 50 s, ou seja, foi sinalizada uma falha. O sinal OpenCb foi mantido em 0, ou seja, sem operao do piloto e o sinal Current foi mantido em 5 A, como mostrado na Error: Reference source not found. No campo Verification Block Settings selecionou-se o bloco de verificao Check Dynamic Range e o bloco de Assertion. Como pode-se notar pela forma dos sinais max e min na Error: Reference source not found, esperavase que o contato permanecesse fechado (corrente igual a Current) at 50 s, quando ocorreria a falha e o contato se abriria (corrente 0 A). Isto ocorreu e pode ser observado atravs da Figura 3.37.
3.6.2.3
Caso de Teste 03
O Caso de Teste 03 foi associado ao seguinte requisito: " The Circuit Breaker shall not interrupt current if the Virtual Fail Input (CbFail) is 2 (Fail Closed)." O sinal de falha CbFail foi variado de 0 para 2 no instante 50 s, ou seja, no h sinalizao de falha. O sinal OpenCb foi mantido em 0, ou seja, sem operao do piloto e o sinal Current foi mantido em 5 A, como mostrado na Error: Reference source not found. No campo Verification Block Settings selecionouse o bloco de verificao Check Dynamic Range e o bloco de Assertion. Como pode-se notar pela forma dos sinais max e min na Error: Reference source not found, esperava-se que o contato permanecesse fechado (corrente igual a Current). Isto ocorreu e pode ser observado atravs da Figura 3.39.
3.6.2.4
Caso de Teste 04
O Caso de Teste 04 foi associado ao seguinte requisito: " All Circuit Breaker fail conditions shall persist regardless the pilot operation signal." O sinal de falha CbFail foi variado de 0 para 1 no instante 50 s, ou seja, foi sinalizada uma falha. O sinal OpenCb foi variado de 0 para 1 no instante 70 s, ou seja, h operao do piloto e o sinal Current foi mantido em 5 A, como mostrado na Error: Reference source not found. No campo Verification Block Settings selecionou-se o bloco de verificao Check Dynamic Range e o bloco de Assertion.
37
Como pode-se notar pela forma dos sinais max e min na Error: Reference source not found, esperavase que o contato permanecesse fechado (corrente igual a Current) at 50 s, quando ocorreria a falha e o contato se abriria (corrente 0 A), no se fechando mais apesar da operao do piloto no instante de 70 s. Isto ocorreu e pode ser observado atravs da Figura 3.41.
3.6.2.5
Caso de Teste 05
O Caso de Teste 05 foi associado ao seguinte requisito: " The Circuit Breaker shall interrupt the current flowing thru it when the pilot operation (OpenCb) input signal is 1." O sinal de falha CbFail foi mantido em 0, ou seja, sem falha. O sinal OpenCb foi variado de 0 para 1 no instante 50 s, ou seja, h operao do piloto e o sinal Current foi mantido em 5 A, como mostrado na Error: Reference source not found. No campo Verification Block Settings selecionou-se o bloco de verificao Check Dynamic Range e o bloco de Assertion. Como pode-se notar pela forma dos sinais max e min na Error: Reference source not found, esperava-se que o contato permanecesse fechado (corrente igual a Current) at que ocorresse a interveno do piloto, quando o contato se abriria (corrente 0 A). Isto ocorreu e pode ser observado atravs da Figura 3.43.
3.6.2.6
Caso de Teste 06
O Caso de Teste 06 foi associado ao seguinte requisito: "The Circuit Breaker shall open its contact if the current passing thru it is greater than 'Nominal Current' for a period equal or greater than time 'time to open' seconds." O sinal de falha CbFail foi mantido em 0, ou seja, sem falha. O sinal OpenCb foi mantido em 0, ou seja, sem operao do piloto e o sinal Current foi variado de 5 A para 5.5 A no instante 20 s, e de 5.5 A para 5 A no instante 40 s, ou seja, houve sobrecorrente (corrente superior a Nominal Current) por 20 s, como mostrado na Figura 3.45. No campo Verification Block Settings selecionou-se o bloco de verificao Check Dynamic Range e o bloco de Assertion. Como pode-se notar pela forma dos sinais max e min na Figura 3.45, esperava-se que o contato permanecesse fechado (corrente igual a Current) at que o tempo de sobrecorrente (corrente superior a Nominal Current) ultrapassasse o tempo indicado pelo parmetro time to open, e ento o contato se abriria (corrente 0 A). Isto ocorreu e pode ser observado atravs da Figura 3.46.
3.6.2.7
Caso de Teste 07
O Caso de Teste 07 foi associado ao seguinte requisito: "The Circuit Breaker shall open its contact if the current passing thru it is greater than 'Nominal Current' for a period equal or greater than time 'time to open' seconds."
38
O sinal de falha CbFail foi mantido em 0, ou seja, sem falha. O sinal OpenCb foi mantido em 0, ou seja, sem operao do piloto e o sinal Current foi variado de 5 A para 5.5 A no instante 20 s, e de 5.5 A para 5 A no instante 25.1 s, ou seja, houve sobrecorrente (corrente superior a Nominal Current) por 5.1 s, como mostrado na Figura 3.47. No campo Verification Block Settings selecionou-se o bloco de verificao Check Dynamic Range e o bloco de Assertion. Como pode-se notar pela forma dos sinais max e min na Figura 3.47, esperava-se que o contato permanecesse fechado (corrente igual a Current) at que o tempo de sobrecorrente (corrente superior a Nominal Current) ultrapassasse o tempo indicado pelo parmetro time to open, e ento o contato se abriria (corrente 0 A). Isto ocorreu e pode ser observado atravs da Figura 3.48.
3.6.2.8
Caso de Teste 08
O Caso de Teste 08 foi associado ao seguinte requisito: "The Circuit Breaker shall open its contact if the current passing thru it is greater than 'Nominal Current' for a period equal or greater than time 'time to open' seconds." O sinal de falha CbFail foi mantido em 0, ou seja, sem falha. O sinal OpenCb foi mantido em 0, ou seja, sem operao do piloto e o sinal Current foi variado de 5 A para 5.5 A no instante 20 s, e de 5.5 A para 5 A no instante 24.9 s, ou seja, houve sobrecorrente (corrente superior a Nominal Current) por 4.9 s, como mostrado na Figura 3.49. No campo Verification Block Settings selecionou-se o bloco de verificao Check Dynamic Range e o bloco de Assertion. Como pode-se notar pela forma dos sinais max e min na Figura 3.49, esperava-se que o contato permanecesse fechado (corrente igual a Current) durante todo o tempo de simulao, pois o perodo de sobrecorrente (corrente superior a Nominal Current) no ultrapassou o tempo indicado pelo parmetro time to open. Isto ocorreu e pode ser observado atravs da .
3.6.2.9
Caso de Teste 09
O Caso de Teste 09 foi associado ao seguinte requisito: " After an overcurrent event, the Circuit Breaker shall only be closed by a pilot operation " O sinal de falha CbFail foi mantido em 0, ou seja, sem falha. O sinal OpenCb foi variado de 0 para 1 no instante 60 s e de 1 para 0 no instante 70, ou seja, houve operao do piloto e o sinal Current foi variado de 5 A para 6 A no instante 20 s, e de 6 A para 5 A no instante 25.2 s, ou seja, houve sobrecorrente (corrente superior a Nominal Current) por 5.2 s, como mostrado na Error: Reference source not found. No campo Verification Block Settings selecionou-se o bloco de verificao Check Dynamic Range e o bloco de Assertion. Como pode-se notar pela forma dos sinais max e min na Error: Reference source not found, esperavase que o contato permanecesse fechado (corrente igual a Current) at que o tempo de sobrecorrente (corrente superior a Nominal Current) ultrapassasse o tempo indicado pelo parmetro time to open, e ento o contato se abriria (corrente 0 A). No instante 70 s, quando haveria operao do piloto, o contato se fecharia novamente, transmitindo uma corrente igual a Current. Isto ocorreu e pode ser observado atravs da Error: Reference source not found.
39
Figura 3.33 - Bloco Circuit Breaker - Caso de Teste 01
40
Figura 3.34 - Bloco Circuit Breaker - Resposta do Caso de Teste 01
41
42
43
44
Figura 3.40 Bloco Circuit Breaker - Resposta do Caso de Teste 04
45
Figura 3.42 Bloco Circuit Breaker - Resposta do Caso de Teste 05
46
47
48
49
50
51
3.6.3 Fuse
A montagem para execuo dos casos de teste com o blocoFuse ilustrada na Figura 3.51. No bloco Signal Builder foi criado um sinal de teste Fuse Fail para simular uma falha e um outro sinal "Current" depois convertido para corrente - entrando no contato "T1". Foi inserido um bloco Check Dynamic Range, associado ao contato e a um Assertion. Os sinais de mximo e mnimo para o contato alimentam o bloco de verificao. Na mscara do componente Fuse foram configurados os seguintes parmetros: Nominal Current (A) = 10 Time to Open (s) = 5
52
Figura 3.51 Montagem para execuo de testes com o bloco Fuse
3.6.3.1
Caso de Teste 01
O Caso de Teste 01 foi associado ao seguinte requisito: The Fuse Model shall interrupt circuit current when circuit current exceeds 'nominal current' over 'time to open' seconds.
53
O sinal de falha Fuse Fail foi mantido em 0, ou seja, sem falha, e o sinal Current foi variado de 0 A para 15 A entre os instantes 20 s e 50 s, como mostrado na Error: Reference source not found. No campo Verification Block Settings selecionou-se o bloco de verificao Check Dynamic Range e o bloco de Assertion. Como pode-se notar pela forma dos sinais max e min na Error: Reference source not found, esperavase que o contato permanecesse fechado (corrente igual a Current) at que houvesse sobrecorrente (corrente superior indicada pelo parmetro Nominal Current) por um tempo superior ao indicado pelo parmetro time to open, e ento o contato se abriria (corrente 0 A) em torno de 45 s. Isto ocorreu e pode ser observado atravs da Figura 3.54.
3.6.3.2
Caso de Teste 02
O Caso de Teste 02 foi associado ao seguinte requisito: The Fuse Model shall interrupt circuit current when virtual fail input is 1. O sinal de falha Fuse Fail foi variado de 0 para 1 no instante 50 s, ou seja, houve falha, e o sinal Current foi mantido em 5 A, como mostrado na Error: Reference source not found. No campo Verification Block Settings selecionou-se o bloco de verificao Check Dynamic Range e o bloco de Assertion. Como pode-se notar pela forma dos sinais max e min na Error: Reference source not found, esperavase que o contato permanecesse fechado (corrente igual a Current) at que houvesse falha, e ento o contato se abriria (corrente 0 A) em torno de 50 s. Isto ocorreu e pode ser observado atravs da Figura 3.56.
3.6.3.3
Caso de Teste 03
O Caso de Teste 03 foi associado ao seguinte requisito: " The Fuse Model shall have no failure behavior when virtual fail input is 0." O sinal de falha Fuse Fail foi mantido em 0, ou seja, no houve falha, e o sinal Current foi mantido em 5 A, como mostrado na Figura 3.57. No campo Verification Block Settings selecionou-se o bloco de verificao Check Dynamic Range e o bloco de Assertion. Como pode-se notar pela forma dos sinais max e min na Figura 3.57, esperava-se que o contato permanecesse fechado (corrente igual a Current). Isto ocorreu e pode ser observado atravs da Error: Reference source not found.
54
Figura 3.52 Bloco Fuse - Caso de Teste 01
55
Figura 3.53 Bloco Fuse Resultado do Caso de Teste 01
56
Figura 3.55 Bloco Fuse Resultado do Caso de Teste 02
57
58
Figura 3.57 Bloco Fuse- Resultado do Caso de Teste 03
3.6.4 Generator Simplified Model

A montagem para execuo dos casos de teste com o bloco Generator Simplified Model ilustrada na Figura 3.58. No bloco Signal Builder foi criado um sinal de teste GenFail para simular uma falha. Foi inserido um bloco Check Dynamic Range, associado ao contato e a um Assertion. Os sinais de mximo e mnimo para o contato T1 alimentam o bloco de verificao. Na mscara do componente Generator Simplified Model foi configurado o seguinte parmetro: DC Voltage (V) = 28
Figura 3.58 Montagem para execuo de testes com o bloco Generator Simplified Model
3.6.4.1
Caso de Teste 01
O Caso de Teste 01 foi associado ao seguinte requisito: The Simplified Generator Model shall provide 0V when virtual fail input is 1. O sinal de falha GenFail foi variado de 0 para 1 no instante 20 s, ou seja, houve falha, como mostrado na Figura 3.59. No campo Verification Block Settings selecionou-se o bloco de verificao Check Dynamic Range e o bloco de Assertion.
59
Como pode-se notar pela forma dos sinais max e min na Figura 3.59, esperava-se que o contato permanecesse fechado (tenso igual ao parmetro DC Voltage) at que houvesse falha em torno de 20 s. Isto ocorreu e pode ser observado atravs da Figura 3.61.
3.6.4.2
Caso de Teste 02
O Caso de Teste 02 foi associado ao seguinte requisito: The Simplified Generator Model shall have no failure behavior when virtual fail input is 0. O sinal de falha GenFail mantido em 0, ou seja, no houve falha, como mostrado na Error: Reference source not found. No campo Verification Block Settings selecionou-se o bloco de verificao Check Dynamic Range e o bloco de Assertion. Como pode-se notar pela forma dos sinais max e min na Error: Reference source not found, esperavase que o contato permanecesse fechado (tenso igual ao parmetro DC Voltage). Isto ocorreu e pode ser observado atravs da Figura 3.63.
3.6.4.3
Caso de Teste 03
O Caso de Teste 03 foi associado ao seguinte requisito: " The Simplified Generator Model shall provide 'DC Voltage' Volts as an output (Gen_V)." O sinal de falha GenFail mantido em 0, ou seja, no houve falha, como mostrado na Error: Reference source not found. No campo Verification Block Settings selecionou-se o bloco de verificao Check Dynamic Range e o bloco de Assertion. Como pode-se notar pela forma dos sinais max e min na Error: Reference source not found, esperavase que o contato permanecesse fechado (tenso igual ao parmetro DC Voltage). Isto ocorreu e pode ser observado atravs da Error: Reference source not found.
60
Figura 3.59 Bloco Generator Simplified Model - Caso de Teste 01
61
Figura 3.60 Bloco Generator Simplified Model Resultado do Caso de Teste 01
62
Figura 3.61 - Bloco Generator Simplified Model - Caso de Teste 02
Figura 3.62 - Bloco Generator Simplified Model - Resultado do Caso de Teste 02
63
Figura 3.63 - Bloco Generator Simplified Model - Caso de Teste 03
64
Figura 3.64 - Bloco Generator Simplified Model - Resultado do Caso de Teste 03
3.6.5 Generator Complete Model

A montagem para execuo dos casos de teste com o bloco Generator Complete Model ilustrada na Figura 3.65. No bloco Signal Builder foi criado um sinal de teste GenFail para simular uma falha, um sinal de teste ShaftSpeed para a velocidade do eixo e um outro sinal de teste FieldVoltage para a tenso de campo. Foi inserido um bloco Check Dynamic Range, associado ao contato e a um Assertion. Os sinais de mximo e mnimo para a tenso gerada Generated_Voltage_Gen_V alimentam o bloco de verificao. Na mscara do componente Generator Complete Model foi configurado o seguinte parmetro: Field Resistance (Ohm) = 2.8 Field inductance (H) = 0.012 Armature Resistance (Ohm) = 0.0067 Electromotive Constant = 0.00055
Figura 3.65 - Montagem para execuo de testes com o bloco Generator Complete Model
3.6.5.1
Caso de Teste 01
65
O Caso de Teste 01 foi associado ao seguinte requisito: The Generator Complete Model shall provide a value of voltage depending of the shaft angular speed and field voltage which is applied to the field circuitry of the generator. O sinal de falha GenFail foi mantido em 0, ou seja, no houve falha. O sinal ShaftSpeed foi mantido em 6000 rpm e o sinal Field Voltage foi mantido em 28 V, como mostrado na Figura 3.66. No campo Verification Block Settings selecionou-se o bloco de verificao Check Dynamic Range e o bloco de Assertion. Como pode-se notar pela forma dos sinais max e min na Figura 3.66, esperava-se que o gerador fornecesse um determinado valor de tenso, neste caso em torno de 33 V, dependente da velocidade angular do eixo e da tenso de campo. Isto ocorreu e pode ser observado atravs da Figura 3.68.
3.6.5.2
Caso de Teste 02
O Caso de Teste 02 foi associado ao seguinte requisito: The Generator Complete Model shall provide 0V when virtual fail input is 1. O sinal de falha GenFail foi variado de 0 para 1 no instante 50 s, ou seja, houve falha. O sinal ShaftSpeed foi mantido em 6000 rpm e o sinal Field Voltage foi mantido em 28 V, como mostrado na Figura 3.70. No campo Verification Block Settings selecionou-se o bloco de verificao Check Dynamic Range e o bloco de Assertion. Como pode-se notar pela forma dos sinais max e min na Figura 3.70, esperava-se que o gerador fornecesse um determinado valor de tenso, neste caso em torno de 33 V, at que ocorresse a falha e a tenso fornecida casse para um valor em torno de 0 V. Isto ocorreu e pode ser observado atravs da .
3.6.5.3
Caso de Teste 03
O Caso de Teste 03 foi associado ao seguinte requisito: "The Generator Complete Model shall have no failure behavior when virtual fail input is 0." O sinal de falha GenFail foi mantido em 0, ou seja, no houve falha. O sinal ShaftSpeed foi mantido em 6000 rpm e o sinal Field Voltage foi mantido em 28 V, como mostrado na Error: Reference source not found. No campo Verification Block Settings selecionou-se o bloco de verificao Check Dynamic Range e o bloco de Assertion. Como pode-se notar pela forma dos sinais max e min na Error: Reference source not found, esperavase que o gerador fornecesse um determinado valor de tenso, neste caso em torno de 33 V, dependente da velocidade angular do eixo e da tenso de campo. Isto ocorreu e pode ser observado atravs da Error: Reference source not found.
66
Figura 3.66 Bloco Generator Complete Model - Caso de Teste 01
67
Figura 3.67 - Bloco Generator Complete Model Resultado do Caso de Teste 01
68
Figura 3.68 - Bloco Generator Complete Model - Caso de Teste 02
69
Figura 3.70 - Bloco Generator Complete Model - Caso de Teste 03
70
3.6.6 Panel Switch

A montagem para execuo dos casos de teste com o bloco Panel Switch ilustrada na . No bloco Signal Builder foi criado um sinal de teste SwitchFail para simular uma falha, um sinal de teste "Command" para simular a operao do piloto, e os sinais P2, P5, P8 e P11 que so as entradas de sinais no Panel Switch. Os sinais de mximo e mnimo maxSup e minSup para as sadas P_1, P_4, P_7 e P_10 dos switches alimentam os blocos de verificao e Assertion associados a estas sadas (superiores). Os sinais de mximo e mnimo maxInf e minInf para as sadas P_3, P_6, P_9 e P_12 dos switches alimentam os blocos de verificao e Assertion associados a estas sadas (inferiores). Foram inseridos oito blocos Check Dynamic Range, cada um associado a uma sada e a um Assertion.
71
Figura 3.72 - Montagem para execuo de testes com o bloco Panel Switch
3.6.6.1
Caso de Teste 01
O Caso de Teste 01 foi associado ao seguinte requisito: The Panel Switch internal switches shall conduct the input (2, 5, 8, 11) to the superior contact (1, 4, 7, 10) if command is 1.
72
O sinal de falha SwitchFail foi mantido em 0, ou seja, sem falha. O sinal Command foi variado de 1 para 0 no intervalo de 50 s, ou seja, o piloto comanda os sinais do painel inferior para o superior, como mostrado na Figura 3.73. No campo Verification Block Settings selecionaram-se todos os blocos de verificao Check Dynamic Range e todos os blocos de Assertion. Dado que os contatos a serem testados P_1, P_4, P_7 e P_10 so somente os superiores, infere-se que deveriam ser selecionados apenas os blocos de verificao e "Assertion" referentes a estes contatos, mas optou-se por testar os contatos inferiores paralelamente de forma a verificar o comportamento do bloco como um todo. Como pode-se notar pela forma dos sinais maxSup e minSup na Figura 3.73, esperava-se que, quando o piloto comandasse Command para 1, as entradas fossem conduzidas para os contatos superiores (P_1, P_4, P_7 e P_10). Isto ocorreu e pode ser observado atravs da Figura 3.75.
3.6.6.2
Caso de Teste 02
O Caso de Teste 02 foi associado ao seguinte requisito: The Panel Switch internal switches shall conduct the input (2, 5, 8, 11) to the inferior contact (3, 6, 9, 12) if command is 0 O sinal de falha SwitchFail foi mantido em 0, ou seja, sem falha. O sinal Command foi variado de 0 para 1 no intervalo de 50 s, ou seja, o piloto comanda os sinais do painel superior para o inferior, como mostrado na Error: Reference source not found. No campo Verification Block Settings selecionaram-se todos os blocos de verificao Check Dynamic Range e todos os blocos de Assertion. Dado que os contatos a serem testados P_3, P_6, P_9 e P_12 so somente os inferiores, infere-se que deveriam ser selecionados apenas os blocos de verificao e "Assertion" referentes a estes contatos, mas optou-se por testar os contatos superiores paralelamente de forma a verificar o comportamento do bloco como um todo. Como pode-se notar pela forma dos sinais maxInf e minInf na Error: Reference source not found, esperava-se que, quando o piloto comandasse Command para 0, as entradas fossem conduzidas para os contatos inferiores (P_3, P_6, P_9 e P_12). Isto ocorreu e pode ser observado atravs da Figura 3.77.
3.6.6.3
Caso de Teste 03
O Caso de Teste 03 foi associado ao seguinte requisito: " The Panel Switch shall conduct the input to the inferior contact if fail input is 1 regardless of the signal command." O sinal de falha SwitchFail foi variado de 0 para 1 no instante 50 s, ou seja, ocorre falha. O sinal Command foi variado de 0 para 1 no intervalo de 60 s e de 1 para 0 no instante 70 s, ou seja, o piloto comanda os sinais do painel superior para o inferior e do painel inferior para o superior, como mostrado na Error: Reference source not found. No campo Verification Block Settings selecionaram-se todos os blocos de verificao Check Dynamic Range e todos os blocos de Assertion. Dado que os contatos a serem testados P_3, P_6, P_9 e P_12 so somente os inferiores, infere-se que deveriam ser selecionados apenas os blocos de verificao e "Assertion" referentes a estes contatos, mas optou-se por testar os contatos superiores paralelamente de forma a verificar o comportamento do bloco como um todo. Como pode-se notar pela forma dos sinais maxInf e minInf na Error: Reference source not found, esperava-se que, quando ocorresse a falha, as entradas fossem conduzidas para os contatos inferiores
73
(P_3, P_6, P_9 e P_12), independentemente da atuao do piloto. Isto ocorreu e pode ser observado atravs da Figura 3.79.
3.6.6.4
Caso de Teste 04
O Caso de Teste 04 foi associado ao seguinte requisito: " The Panel Switch shall conduct the input to the superior contact if fail input is 2 regardless of the signal command " O sinal de falha SwitchFail foi variado de 0 para 2 no instante 50 s, ou seja, ocorre falha. O sinal Command foi variado de 1 para 0 no intervalo de 60 s e de 0 para 1 no instante 70 s, ou seja, o piloto comanda os sinais do painel inferior para o superior e do painel superior para o inferior, como mostrado na Error: Reference source not found. No campo Verification Block Settings selecionaram-se todos os blocos de verificao Check Dynamic Range e todos os blocos de Assertion. Dado que os contatos a serem testados P_1, P_4, P_7 e P_10 so somente os superiores, infere-se que deveriam ser selecionados apenas os blocos de verificao e "Assertion" referentes a estes contatos, mas optou-se por testar os contatos inferiores paralelamente de forma a verificar o comportamento do bloco como um todo. Como pode-se notar pela forma dos sinais maxSup e minSup na Error: Reference source not found esperava-se que, quando ocorresse a falha, as entradas fossem conduzidas para os contatos superiores (P_1, P_4, P_7 e P_10), independentemente da atuao do piloto atravs do sinal Command. Isto ocorreu e pode ser observado atravs da Figura 3.81.
3.6.6.5
Caso de Teste 05
O Caso de Teste 05 foi associado ao seguinte requisito: " The Panel Switch shall have no failure behavior when virtual fail input is 0." O sinal de falha SwitchFail foi mantido em 0, ou seja, sem falha. O sinal Command foi variado de 1 para 0 no intervalo de 50 s, ou seja, o piloto comanda os sinais do painel inferior para o superior, como mostrado na Error: Reference source not found. No campo Verification Block Settings selecionaram-se todos os blocos de verificao Check Dynamic Range e todos os blocos de Assertion. Como pode-se notar pela forma dos sinais maxSup, minSup, maxInf e minInf na Error: Reference source not found, esperava-se que, quando o piloto comandasse Command para 1, as entradas fossem conduzidas dos contatos inferiores (P_3, P_6, P_9 e P_12) para os contatos superiores (P_1, P_4, P_7 e P_10). Isto ocorreu e pode ser observado atravs da Error: Reference source not found.
74
Figura 3.73 Bloco Panel Switch - Caso de Teste 01
75
Figura 3.74 Bloco Panel Switch Resultado do Caso de Teste 01
76
Figura 3.75 - Bloco Panel Switch - Caso de Teste 02
Figura 3.76 Bloco Panel Switch Resultado do Caso de Teste 02
77
78
Figura 3.78 - Bloco Panel Switch - Resultado do Caso de Teste 03
79
80
3.6.7 Panel Switch

A montagem para execuo dos casos de teste com o bloco Panel Switch ilustrada na Figura 3.83. No bloco Test Cases foi criado um sinal de teste Fail para simular uma falha, um sinal de teste "X1_pos_coil" para simular a energizao da bobina de comando, e os sinais A2, B2, C2 e D2 so as entradas de sinais no rel. Quatro casos de teste foram executados para verificar o funcionamento do rel.
81
Continuous pow ergui
DropOutVoltage DropOutVoltage PickUpVoltage AUX_RLY _Fail AUX_RLY _Status X2_neg_coil X1_pos_coil X1_pos_coil A1 A3 A1 A2 B1 B3 C1 C3 D1 D1 D2 D3 Status X1_pos_coil A1 A3 B1 B3 C1 C3 D1 D3
PickUpVoltage
Fail
B1
B2
C1
C2
TestCases
AUXRLY
Results
Figura 3.83 - Montagem para execuo de testes com o bloco Auxiliary Relay
3.6.7.1
Caso de Teste 01
O Caso de Teste 01 foi associado ao seguinte requisito: AV-EEL-R102 - The Relay Model's switches shall have low output logic. Mantm-se o sinal de falha em 0, ou seja, funcionamento normal, e energiza-se a bobina aplicando a ela 20 volts em relao ao terra comum da simulao. Aplicam-se pulsos de um segundo de durao no valor de dois volts aos quatro sinais de entrada A2, B2, C2, D2 e verifica-se se de fato a lgica de atuao normalmente aberta. Aps 10 segundos, desenergiza-se a bobina aplicando zero volts sua entrada e aplica-se a mesma lgica de teste. As entradas podem ser vistas na Figura 3.84 e a lgica de teste na Figura 3.85.
82
Figura 3.84 Entradas de teste do caso de teste 01 do rel

onn1 Out1
[A 1 ]
Test 1 Verifica se o contator est com lgica baixa de sada :

[A 1 ]
In1 Out1
onn1 Out1
[A 1 ]
Compara 1 1 1 e- _
onn1 Out1
== 1 [ST ]
[B 1 ]
Test 1 Fail Opened :
onn1 Out1
[B 1 ]
[A 1 ] 1
In1
Out1
Compara 1 1 1 e- _
==
[A1 ]
onn1 Out1
[C1 ] [B 1 ]
In1 Out1
[A1 ] == 1 [ST ] [B1 ] | [B1 ]
onn1 Out1
[C1 ]
Compara 1 1 1 e- _
onn1 Out1
[D1 ] [B 1 ]
In1 Out1
onn1 Out1
[D1 ]
1 [C1 ]
Compara 1 1 1 e- _
== OR
[C1 ] | Override Test 1 [C1 ]
onn1 Out1
[X 1 ]
In1
Out1
Compara 1 1 1 e- _
== 1 [ST ]
[PU]
[D1 ]
[DO]
[C1 ] 1
In1
Out1
[D1 ] ==
Compara 1 1 1 e- _
bool ean
[ST ] [D1 ]
In1 Out1
Compara 1 1 1 e- _
== 1 [ST ]
Test 1 Fail Closed :
[D1 ] 1
In1
Out1
Compara 1 1 1 e- _
==
Logical Operator
[A 1 ]
Test 1 Verifica se a Lgica do contator est correta : Figura 3.85 Lgica de teste
do Rel
X1 >PU 1 1 1 1 1 1 1 1 X1 <DO 1 1 1 1 1 1 1 1 ST 1 1 1 1 1 1 1 1 Ok? 1 1 1 1 1 1 1 1
[A 1 ]
[B 1 ]
|u [B 1 ]
[X 1 ] [PU]
> EMBRAER Proprietary Information - Use or disclosure of this information [C1 ] is subject to the restriction on the title page. <
|u [DO] [C1 ] Combinatorial
83
3.6.7.2
Caso de Teste 02
O Caso de Teste 02 foi associado aos seguintes requisitos: AV-EEL-R92 - The Relay shall electrally close its contacts when input voltage is greater than pickup voltage. e, AV-EEL-R93 - The Relay shall electrally open its contacts when input voltage is lower than dropout voltage. Aplica-se falha igual a zero (comportamento normal) e varia-se a entrada de tenso da bobina do rel em forma de rampa, de zero at vinte volts e de volta a zero volts como visto na Figura 3.86. A lgica de teste pode ser vista na Figura 3.87.
Figura 3.86 - Entradas de teste do Caso de Teste 02 do Rel
[D1 ]
In1
Out1
1 Relatrio de Acompanhamento
Compara 1 1 1 e- _
==
Logical Operator
84
Test 1 Verifica se a Lgica do contator est correta :

X1 >PU 1 1 1 1 1 1 1 1 X1 <DO 1 1 1 1 1 1 1 1 ST 1 1 1 1 1 1 1 1 Ok? 1 1 1 1 1 1 1 1
[X 1 ] > [PU]
< [DO] Combinatorial Logic Override T est 1
[ST]
Figura 3.87 - Lgica de teste do Caso de Teste 02 do Rel
3.6.7.3
Caso de Teste 03
O Caso de Teste 02 foi associado aos seguintes requisitos: AV-EEL-R95 - The Relay shall fail opened when the virtual fail input is 1. Aplica-se falha igual a um (falha aberta) e varia-se a tenso de energizao da bobina bem como as quatro entradas do rel de forma aleatria. Espera-se que como o rel encontra-se em falha aberta, no importa qual seja a tenso da bobina, a sadas A1, B1, C1 e D1 sejam iguais s entradas A2, B2, C2 e D2.
Figura 3.88 Entradas de teste do Caso de Teste 03 do Rel
Test 1 Fail Opened :
85
[A 1 ] |u| [A 1 ]
[B 1 ] |u| [B 1 ] u <= 1 1 e[C1 ] OR Test 1 [C1 ] |u| Test 1 Fail Opened :
[D1 ] |u| [D1 ]
Figura 3.89 - Lgica de teste do Caso de Teste 03 do Rel
3.6.7.4
Caso de Teste 04
Test 1 Fail Closed :
O Caso de Teste 02 foi associado aos seguintes requisitos: AV-EEL-R96 - The Relay shall fail closed when the virtual fail input is 2.
Logical Operator
Aplica-se falha igual a dois (falha fechada) e varia-se a tenso de energizao da bobina bem como as [A 1 ] quatro entradas do rel de forma aleatria. Espera-se que como o rel encontra-se em falha fechada, no |u| importa qual seja a tenso da bobina, a sadas A3, B3, C3 e D3 sejam iguais s entradas A2, B2, C2 e [A 1 ] D2.
Ok? 1 1 1 1 1 1 1 1 [B 1 ] |u| [B 1 ] u <= 1 1 e[C1 ] |u| [C1 ] Test 1 Fail Closed :
X1 >PU 1 1 1 1 1 1 1 1
X1 <DO 1 1 1 1 1 1 1 1
ST 1 1 1 1 1 1 1 1
Combinatorial Logic
Override Test 1 [D1 ] |u| [D1 ]
Figura 3.90 - Entrada de teste do caso de teste 04 do Rel
Test : Relatrio de Acompanhamento 1 Fail Closed
86
[A 1 ] |u| [A 1 ]
[B 1 ] |u| [B 1 ] Override
[C1 ] Test 1 Fail Closed : |u| [C1 ] Test 1 [D1 ] |u| [D1 ]
Figura 3.91 - Lgica de teste do caso de teste 04 do rel
3.6.8 Barramentos
O teste dos cinco tipos de barramentos criados nesta fase da biblioteca foram efetuados ao mesmo tempo visto que o comportamento do bus deve seguir aos mesmos requisitos. Novamente foi criado um bloco do tipo signal builder que contem todos os casos de testes gerados para testar estes componentes. Cada bloco de barramento possui sua lgica de teste. As lgicas de teste sero mostradas nas subsees abaixo.
Continuous
Bus Short Circuit Fail
BusSCFail
<BusSCFail>
Bus_Short_Circuit_f ail
Bus Voltage B1
Bus Electrical Load
Electric alLoad
<ElectricalLoad>
Bus_Electrical_Load_A
Bus_Voltage_V TestData
T1Voltage
B1 Voltage
<B1 Voltage>
In1
Conn1
T1
ResultsB1 BUS_ 1 _Port
T1Voltage
B1 Voltage
<B1 Voltage>
In1
Conn1
T1Voltage
B1 Voltage
<B1 Voltage>
In1
Conn1 Bus_Short_Circuit_f ail Bus_Voltage_V Bus_Electrical_Load_A Bus Voltage B1
T1Voltage
B1 Voltage
<B1 Voltage>
In1
Conn1
T1Voltage
B1 Voltage
<B1 Voltage>
In1
Conn1 T1 T1
TestData
T estCases
ResultsB1 BUS_1 _Ports
Bus_Short_Circuit_f ail Bus_Voltage_V Bus_Electrical_Load_A TestData T1 T1 T1 Bus Voltage B1
ResultsB1
BUS_ 1 PORT S
Bus_Short_Circuit_f ail Bus_Electrical_Load_A T1 T1
Bus_Voltage_V
Bus Voltage B1
Figura 3.92 Montagem para execuo de testes dos blocos de Barramento.

T1 T1
TestData
ResultsB1
BUS_1 _PORTS
Bus_Short_Circuit_f ail Bus_Voltage_V Bus Voltage B1 Bus_Electrical_Load_A T1 T1 TestData
87
3.6.8.1
Caso de Teste 01
O primeiro caso de teste se refere ao seguinte requisito: AV-EEL-R172 - The bus shall implement the voltage drop of one terminal to another (the second terminal can be a ground) based on the internal resistance. Aplica-se entrada de falha igual a zero (sem erro), uma carga eltrica de dez Amperes e calcula-se a diferena entre a queda de tenso esperada e a medida. Se este erro for menor que 0.01 o passa no teste. Foram utilizados blocos de assertion para verificar este teste como pode ser visto na Figura 3.93.
Teste 1: Verifica a queda de Tenso

2 TestData
<B1Voltage> <ElectricalLoad> VoltageDrop
Override
R_Int Constant 1 Bus Voltage B1

Bus Voltage
Product
Conferencia do Valor da Tenso do Bus B1
Bus Voltage
Teste 2: Verifica a queda de Tenso em caso de Curto-Circuito

max sig < max sig Tenso mx do Bus B1 Ps CC
Figura 3.93 - Lgica dos Testes do Barramento
3.6.8.2
Caso de Teste 02
O segundo teste se refere aos seguintes requisitos: AV-EEL-R116 - The bus fault event shall be modeled considering the short circuit resistance between the bus and the ground. AV-EEL-R117 - In the bus fault event, the voltage shall drop to a value dependable on the short circuit resistance value. Para se executar este teste, aplicou-se um valor de um para a entrada de falha (curto circuito) e calculouse a tenso esperada de acordo com a resistncia de curto circuito. O resultado foi aferido pelo bloco de assertion visto na Figura 3.93.
3.6.9 GCUs
88
3.7 3.8 3.9
ICD Extrao da rvore de falhas Simulao do sistema eltrico integrado
4.
Problemas Encontrados
Inexperincia na utilizao do Subversion. (ex: quando o phenom 100 funcionou, no foi feita uma tag ou um externals para a verso da biblioteca em que tudo funcionava. um ms depois o sano teve que perder um dia de trabalho pra colocar pra funcionar com a verso mais nova da biblioteca).
5.

Sugestes
Anotaes Componentes da pasta basic components LPDU (componentes internos j com anotao) RPDU (componentes internos j com anotao) EPDU (componentes internos j com anotao) Phenom100_FTG (LDPU, RPDU, EPDU, WOW RLY)
6.
Concluso

Activity Report

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Activity Report

Enviado por

Direitos autorais:

Formatos disponíveis

RELATRIO DE ACOMPANHAMENTO

PoC - Biblioteca de Sistemas Eltricos

Biblioteca de sistemas eltricos

Figura 3.3 - Barramento energizado e desenergizado.

P_12 P_11 P_14 P_13 T1

Contactor _Status ContactorFail P_8_NegCoil P_1_Pos Coil T2

OFF _A3 A2 ON_B1 B2 OFF _B3

Extras A pallet de extras possui os seguintes modelos: o Circuit breaker Disjuntor

onde, Rf e Lf so a resistncia e indutncia do campo e Vf a tenso do campo.

AUX_RLY _Status X1 _neg_coil

P_9 P_8 P_10 P_11 P_12

SwitchFail OFF _P_1

Blocos de suporte da GCU

Figura 3.11 Modelo do bloco Power_Driver

1.2 (b) 1.2 (c) 1.3 (a)

1.9 (c) 1.9 (d) 1.9 (e)

Figura 3.12 - Montagem para execuo de testes com o bloco Contactor

Figura 3.13 Bloco Contactor - Caso de Teste 01

Figura 3.14 Bloco Contactor - Resposta do Caso de Teste 01

Figura 3.15 Bloco Contactor - Caso de Teste 02

Figura 3.16 Bloco Contactor - Resposta do Contactor - Resposta do Caso de Teste 02

Figura 3.19 Bloco Contactor Resposta do Caso de Teste 03

Figura 3.20 - Bloco Contactor - Caso de Teste 04

Figura 3.21 Bloco Contactor Resposta do Caso de Teste 04

Figura 3.22 - Bloco Contactor - Caso de Teste 05

Figura 3.23 - Bloco Contactor Resposta do Caso de Teste 05

Figura 3.24 - Bloco Contactor - Caso de Teste 06

Figura 3.25 - Bloco Contactor Resposta do Caso de Teste 06

Figura 3.26 - Bloco Contactor - Caso de Teste 07

Figura 3.27 - Bloco Contactor Resposta do Caso de Teste 07

Figura 3.28 - Bloco Contactor - Caso de Teste 08

Figura 3.29 - Bloco Contactor Resposta do Caso de Teste 08

Figura 3.30 - Bloco Contactor - Caso de Teste 09

Figura 3.31 - Bloco Contactor Resposta do Caso de Teste 09

3.6.2 Circuit Breaker

Figura 3.33 - Bloco Circuit Breaker - Caso de Teste 01

Figura 3.34 - Bloco Circuit Breaker - Resposta do Caso de Teste 01

Figura 3.35 - Bloco Circuit Breaker - Caso de Teste 02

Figura 3.36 - Bloco Circuit Breaker - Resposta do Caso de Teste 02

Figura 3.37 - Bloco Circuit Breaker - Caso de Teste 03

Figura 3.38 - Bloco Circuit Breaker - Resposta do Caso de Teste 03

Figura 3.39 - Bloco Circuit Breaker - Caso de Teste 04

Figura 3.40 Bloco Circuit Breaker - Resposta do Caso de Teste 04

Figura 3.41 - Bloco Circuit Breaker - Caso de Teste 05

Figura 3.42 Bloco Circuit Breaker - Resposta do Caso de Teste 05

Figura 3.43 - Bloco Circuit Breaker - Caso de Teste 06

Figura 3.44 - Bloco Circuit Breaker - Resposta do Caso de Teste 06

Figura 3.45 - Bloco Circuit Breaker - Caso de Teste 07

Figura 3.46 - Bloco Circuit Breaker - Resposta do Caso de Teste 07

Figura 3.47 - Bloco Circuit Breaker - Caso de Teste 08

Figura 3.48 - Bloco Circuit Breaker - Resposta do Caso de Teste 08

Figura 3.49 - Bloco Circuit Breaker - Caso de Teste 09

Figura 3.50 - Bloco Circuit Breaker - Resposta do Caso de Teste 09

Figura 3.51 Montagem para execuo de testes com o bloco Fuse

Figura 3.52 Bloco Fuse - Caso de Teste 01

Figura 3.53 Bloco Fuse Resultado do Caso de Teste 01

Figura 3.54 Bloco Fuse - Caso de Teste 02

Figura 3.55 Bloco Fuse Resultado do Caso de Teste 02

Figura 3.56 Bloco Fuse - Caso de Teste 03

Figura 3.57 Bloco Fuse- Resultado do Caso de Teste 03

3.6.4 Generator Simplified Model

Figura 3.59 Bloco Generator Simplified Model - Caso de Teste 01

Figura 3.60 Bloco Generator Simplified Model Resultado do Caso de Teste 01

Figura 3.61 - Bloco Generator Simplified Model - Caso de Teste 02