1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | plutao.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP3W/3FCLCN8 |
Repositório | sid.inpe.br/plutao/2013/12.12.17.07 (acesso restrito) |
Última Atualização | 2014:01.10.16.17.57 (UTC) administrator |
Repositório de Metadados | sid.inpe.br/plutao/2013/12.12.17.07.26 |
Última Atualização dos Metadados | 2018:06.04.23.39.20 (UTC) administrator |
ISBN | 978-1-4673-4471-5 |
Rótulo | lattes: 3237709114127674 1 RomeroSchnFerr:2013:ToApAl |
Chave de Citação | RomeroSchnFerr:2013:ToApAl |
Título | Towards the Applicability of Alf to Model Cyber-Physical Systems ![](http://plutao.sid.inpe.br/col/dpi.inpe.br/banon/2000/01.23.20.24/doc/externalLink.gif) |
Ano | 2013 |
Data de Acesso | 30 jun. 2024 |
Tipo Secundário | PRE CI |
Número de Arquivos | 1 |
Tamanho | 288 KiB |
|
2. Contextualização | |
Autor | 1 Romero, Alessandro Gerlinger 2 Schneider, Klaus 3 Ferreira, Maurício Gonçalves Vieira |
Identificador de Curriculo | 1 2 3 8JMKD3MGP5W/3C9JHT8 |
Grupo | 1 CSE-ETES-SPG-INPE-MCTI-GOV-BR 2 3 CRC-CRC-INPE-MCTI-GOV-BR |
Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 University of Kaiserslautern Computer Science Department, Po box 3049, 67653, Kaiserslautern, Germany 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
Endereço de e-Mail do Autor | 1 romgerale@yahoo.com.br |
Endereço de e-Mail | romgerale@yahoo.com.br |
Nome do Evento | Federated Conference on Computer Science and Information Systems. |
Localização do Evento | Kraków |
Data | 2013 |
Páginas | 1427–1434 |
Título do Livro | Proceedings |
Tipo Terciário | Paper |
Histórico (UTC) | 2013-12-12 17:07:26 :: lattes -> administrator :: 2014-01-09 13:38:07 :: administrator -> marcelo.pazos@sid.inpe.br :: 2013 2014-01-10 16:17:57 :: marcelo.pazos@sid.inpe.br -> administrator :: 2013 2018-06-04 23:39:20 :: administrator -> marcelo.pazos@inpe.br :: 2013 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Tipo de Versão | publisher |
Resumo | Systems engineers use SysML as a vendorindependent language to model Cyber-Physical Systems. However, SysML does not provide an executable form to define behavior but this is needed to detect critical issues as soon as possible. Action Language for Foundational UML (Alf) integrated with SysML can offer some degree of precision. In this paper, we present an Alf specialization that introduces the synchronous-reactive model of computation to SysML, through definition of not explicitly constrained semantics: timing, concurrency, and inter-object communication. The proposed specialization is well-suited for safety-critical systems because it is deterministic. We study one example already modeled in the literature, to compare these approaches with our one. The initial results show that the proposed specialization helps to couple complexity, provides better composition, and enables deterministic behavior definition. |
Área | ETES |
Arranjo | urlib.net > Fonds > Produção anterior à 2021 > COCRC > Towards the Applicability... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
Idioma | en |
Grupo de Usuários | lattes marcelo.pazos@inpe.br self-uploading-INPE-MCTI-GOV-BR |
Grupo de Leitores | administrator marcelo.pazos@inpe.br |
Visibilidade | shown |
Permissão de Leitura | deny from all and allow from 150.163 |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Repositório Espelho | iconet.com.br/banon/2006/11.26.21.31 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F35BSP 8JMKD3MGPCW/3F3PAJE |
Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.14.22.20 4 sid.inpe.br/bibdigital/2013/10.19.00.29 4 sid.inpe.br/mtc-m21/2012/07.13.14.56.30 1 |
Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format issn keywords lineage mark nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject targetfile tertiarymark type url volume |
|
7. Controle da descrição | |
e-Mail (login) | marcelo.pazos@inpe.br |
atualizar | |
|