| 1. Identificação | |||||||||||||
| Tipo de Referência | Tese ou Dissertação (Thesis) | ||||||||||||
| Site | plutao.sid.inpe.br | ||||||||||||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | ||||||||||||
| Identificador | 8JMKD3MGP3W/3HD9A3H | ||||||||||||
| Repositório | sid.inpe.br/plutao/2014/11.13.11.40 | ||||||||||||
| Última Atualização | 2015:02.25.13.31.39 (UTC) administrator | ||||||||||||
| Repositório de Metadados | sid.inpe.br/plutao/2014/11.13.11.40.31 | ||||||||||||
| Última Atualização dos Metadados | 2018:06.04.23.39.32 (UTC) administrator | ||||||||||||
| Chave Secundária | INPE-17467-TDI/2258 | ||||||||||||
| Chave de Citação | Romero:2014:HySyLa | ||||||||||||
| Título | Hybrid fuml: a hybrid synchronous language  | ||||||||||||
| Título Alternativo | Hybrid fuml: uma linguagem síncrona híbrida | ||||||||||||
| Curso | CSE-ETES-SPG-INPE-MCTI-GOV-BR | ||||||||||||
| Ano | 2014 | ||||||||||||
| Data | 2014-12-18 | ||||||||||||
| Data de Acesso | 24 abr. 2024 | ||||||||||||
| Tipo da Tese | Tese (Doutorado em Engenharia e Gerenciamento de Sistemas Espaciais) | ||||||||||||
| Tipo Secundário | TDI | ||||||||||||
| Número de Páginas | 254 | ||||||||||||
| Número de Arquivos | 1 | ||||||||||||
| Tamanho | 3052 KiB | ||||||||||||
| 2. Contextualização | |||||||||||||
| Autor | Romero, Alessandro Gerlinger | ||||||||||||
| Banca | Ambrosio, Ana Maria (presidente) Ferreira, Mauricio Goncalves Vieira (orientador) Schneider, Klaus (orientador) Carniello, Adriana Carniello, Andreia Villani, Emillia | ||||||||||||
| Endereço de e-Mail | romgerale@yahoo.com.br | ||||||||||||
| Universidade | Instituto Nacional de Pesquisas Espaciais (INPE) | ||||||||||||
| Cidade | São José dos Campos | ||||||||||||
| Histórico (UTC) | 2014-11-16 19:31:03 :: romgerale@yahoo.com.br -> yolanda :: 2014-11-18 17:22:20 :: yolanda -> administrator :: 2014-11-21 17:24:36 :: administrator -> romgerale@yahoo.com.br :: 2015-01-07 12:24:56 :: romgerale@yahoo.com.br -> administrator :: 2015-02-25 13:13:30 :: administrator -> yolanda :: 2015-02-25 13:58:48 :: yolanda -> marcelo.pazos@sid.inpe.br :: 2015-02-26 13:40:43 :: marcelo.pazos@sid.inpe.br -> administrator :: -> 2014 2018-06-04 23:39:32 :: administrator -> :: 2014 | ||||||||||||
| 3. Conteúdo e estrutura | |||||||||||||
| É a matriz ou uma cópia? | é a matriz | ||||||||||||
| Estágio do Conteúdo | concluido | ||||||||||||
| Transferível | 1 | ||||||||||||
| Palavras-Chave | UML fUML hybrid modeling synchronous languages high level languages modelagem híbrida linguagens síncronas linguagens de alto nível | ||||||||||||
| Resumo | A noção de um sistema híbrido é centrada em torno de uma composição de comportamentos discretos e contínuos, Enquanto a dificuldade na modelagem de sistemas híbridos vem da diversidade destes sistemas, a mais promissora abordagem para mitigar este problema é desenvolver linguagens de modelagem expressivas e precisas. No entanto, desenvolver linguagens de modelagem expressivas e precisas não significa a necessidade de novas linguagens, pelo contrário, esta tese propõe semânticas precisas para subconjuntos de linguagens existentes. Subconjuntos são definidos porque expressividade e precisão geralmente conflitam. por exemplo, o tamanho e a complexidade de uma linguagem (relacionados à expressividade) podem ter consequências diretas no tamanho e complexidade de sua semântica (relacionados à precisão). Precisão significa uma semântica definida de acordo com um método formal estabelecido, além disso, reconhecendo a natureza de tempo real dos sistemas híbridos, a linguagem de modelagem deve permitir determinismo, previsibilidade e composição simples. Nesta tese, duas linguagens complementares são formalmente definidas por máquinas de estado abstrato (A8Ms). A primeira delas é chamada synchronous fUML e ela combina recursos síncronos para controle na fUML (foundational subset for- executable UML models) padronizada. A segunda delas, Hybrid fUML, é uma extensão conservativa da synchronous fUML, na qual equações algébrico-diferenciais (DAEs) são descritas usando-se um subconjunto da sintaxe concreta da Modelica, O subconjunto da Modelica é selecionado de tal forma que sua semântica é definida pela semântica matemática padrão. Hybrid fUML é uma linguagem de modelagem definida para permitir descrição e análise de visões sistêmicas de sistemas híbridos. A principal contribuição inovadora é o novo modelo de computação para extensões híbridas de linguagens síncronas, que é formalmente definido para Hybrid fUML. O novo modelo de computação é baseado no conceito enichrony, uma propriedade de modelos que permite a sincronização do tempo físico no ambiente e nos modelos. O novo modelo da computação permite determinismo, previsibilidade e composição simples de sistemas híbridos. ABSTRACT: The notion of a hybrid system is centered around a composition of discrete and continuous behaviors. Although the difficulty in modeling hybrid systems comes from the diversity of these systems, the most promising approach to mitigate this issue is developing expressive and precise modeling languages. Nevertheless, developing expressive and precise modeling languages does not necessarily mean the emergence of a new language, on the contrary, this thesis proposes precise semantics for subsets of existent languages. Subsets of existent languages are defined since expressivity and precision usually conflict, e.g., the size and complexity of a language (related to expressivity) may have direct consequences on the size and complexity of its semantics (related to precision). Precision means a semantics defined according to a well stablished formal method, furthermore, recognizing the real-time nature of hybrid systems, the modeling language have to enable determinism, predictability and straightforward composition. In this thesis, two complementary languages are formally defined by abstract state machines (ASMs). The first one is called synchronous fUML and it blends synchronous features for control into the standardized fUML (foundational subset for executable UML models). The second one, hybrid fUML, is a conservative extension of synchronous fUML in which differential algebraic equations (DAEs) are described using a subset of Modelica concrete syntax. The subset of Modelica concrete syntax is selected in such a way that its semantics is defined by the standart mathematical semantics. Hybrid fUML is a modeling language defined to enable description and analysis of system views from hybrid systems. The main innovative contribution lies in the novel model of computation for hybrid extensions of synchronous languages, which is formally defined for hybrid fUML. The novel of computation enables determinism, predictability and straightforward composition of hybrid systems. | ||||||||||||
| Área | ETES | ||||||||||||
| Arranjo | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CSE > Hybrid fuml: a... | ||||||||||||
| Conteúdo da Pasta doc | acessar | ||||||||||||
| Conteúdo da Pasta source |
| ||||||||||||
| Conteúdo da Pasta agreement |
| ||||||||||||
| 4. Condições de acesso e uso | |||||||||||||
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W/3HD9A3H | ||||||||||||
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W/3HD9A3H | ||||||||||||
| Idioma | en | ||||||||||||
| Arquivo Alvo | publicacao.pdf | ||||||||||||
| Grupo de Usuários | administrator marcelo.pazos@inpe.br romgerale@yahoo.com.br yolanda.souza@mcti.gov.br | ||||||||||||
| Grupo de Leitores | administrator romgerale@yahoo.com.br yolanda.souza@mcti.gov.br | ||||||||||||
| Visibilidade | shown | ||||||||||||
| Licença de Direitos Autorais | urlib.net/www/2012/11.12.15.15 | ||||||||||||
| Detentor da Cópia | SID/SCD | ||||||||||||
| Permissão de Leitura | allow from all | ||||||||||||
| Permissão de Atualização | não transferida | ||||||||||||
| 5. Fontes relacionadas | |||||||||||||
| Repositório Espelho | dpi.inpe.br/plutao@80/2008/08.19.15.01.21 | ||||||||||||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F35BSP | ||||||||||||
| Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.14.22.20 1 | ||||||||||||
| Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 | ||||||||||||
| 6. Notas | |||||||||||||
| Campos Vazios | academicdepartment affiliation archivingpolicy archivist callnumber contenttype creatorhistory descriptionlevel dissemination doi electronicmailaddress format group isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress resumeid rightsholder schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype | ||||||||||||