Applying global time Petri net analysis on the embedded software context
Autor(a) principal: | |
---|---|
Data de Publicação: | 2011 |
Outros Autores: | , |
Tipo de documento: | Artigo |
Idioma: | eng |
Título da fonte: | Sba: Controle & Automação Sociedade Brasileira de Automatica |
Texto Completo: | http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0103-17592011000600006 |
Resumo: | This paper presents an application of Global Time technique (GTT) which is an approach to construct class graphs of Time Petri nets based on relative and global time. Besides the constructing of GTT class graph we propose a schedulability analysis of quantitative time type for fixed priority policies and Earliest Deadline First (EDF). We propose that analysis of scenarios, or behavior itineraries duration of a system, can be done using this approach. |
id |
SBA-2_8b37aa1913806419418ada5da5c0562d |
---|---|
oai_identifier_str |
oai:scielo:S0103-17592011000600006 |
network_acronym_str |
SBA-2 |
network_name_str |
Sba: Controle & Automação Sociedade Brasileira de Automatica |
repository_id_str |
|
spelling |
Applying global time Petri net analysis on the embedded software contextTime Petri NetQuantitative AnalysisEmbedded SoftwareThis paper presents an application of Global Time technique (GTT) which is an approach to construct class graphs of Time Petri nets based on relative and global time. Besides the constructing of GTT class graph we propose a schedulability analysis of quantitative time type for fixed priority policies and Earliest Deadline First (EDF). We propose that analysis of scenarios, or behavior itineraries duration of a system, can be done using this approach.Sociedade Brasileira de Automática2011-12-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersiontext/htmlhttp://old.scielo.br/scielo.php?script=sci_arttext&pid=S0103-17592011000600006Sba: Controle & Automação Sociedade Brasileira de Automatica v.22 n.6 2011reponame:Sba: Controle & Automação Sociedade Brasileira de Automaticainstname:Sociedade Brasileira de Automática (SBA)instacron:SBA10.1590/S0103-17592011000600006info:eu-repo/semantics/openAccessPeres,Leticia MaraKünzle,Luis AllanTodt,Eduardoeng2012-01-13T00:00:00Zoai:scielo:S0103-17592011000600006Revistahttps://www.sba.org.br/revista/PUBhttps://old.scielo.br/oai/scielo-oai.php||revista_sba@fee.unicamp.br1807-03450103-1759opendoar:2012-01-13T00:00Sba: Controle & Automação Sociedade Brasileira de Automatica - Sociedade Brasileira de Automática (SBA)false |
dc.title.none.fl_str_mv |
Applying global time Petri net analysis on the embedded software context |
title |
Applying global time Petri net analysis on the embedded software context |
spellingShingle |
Applying global time Petri net analysis on the embedded software context Peres,Leticia Mara Time Petri Net Quantitative Analysis Embedded Software |
title_short |
Applying global time Petri net analysis on the embedded software context |
title_full |
Applying global time Petri net analysis on the embedded software context |
title_fullStr |
Applying global time Petri net analysis on the embedded software context |
title_full_unstemmed |
Applying global time Petri net analysis on the embedded software context |
title_sort |
Applying global time Petri net analysis on the embedded software context |
author |
Peres,Leticia Mara |
author_facet |
Peres,Leticia Mara Künzle,Luis Allan Todt,Eduardo |
author_role |
author |
author2 |
Künzle,Luis Allan Todt,Eduardo |
author2_role |
author author |
dc.contributor.author.fl_str_mv |
Peres,Leticia Mara Künzle,Luis Allan Todt,Eduardo |
dc.subject.por.fl_str_mv |
Time Petri Net Quantitative Analysis Embedded Software |
topic |
Time Petri Net Quantitative Analysis Embedded Software |
description |
This paper presents an application of Global Time technique (GTT) which is an approach to construct class graphs of Time Petri nets based on relative and global time. Besides the constructing of GTT class graph we propose a schedulability analysis of quantitative time type for fixed priority policies and Earliest Deadline First (EDF). We propose that analysis of scenarios, or behavior itineraries duration of a system, can be done using this approach. |
publishDate |
2011 |
dc.date.none.fl_str_mv |
2011-12-01 |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0103-17592011000600006 |
url |
http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0103-17592011000600006 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
10.1590/S0103-17592011000600006 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
text/html |
dc.publisher.none.fl_str_mv |
Sociedade Brasileira de Automática |
publisher.none.fl_str_mv |
Sociedade Brasileira de Automática |
dc.source.none.fl_str_mv |
Sba: Controle & Automação Sociedade Brasileira de Automatica v.22 n.6 2011 reponame:Sba: Controle & Automação Sociedade Brasileira de Automatica instname:Sociedade Brasileira de Automática (SBA) instacron:SBA |
instname_str |
Sociedade Brasileira de Automática (SBA) |
instacron_str |
SBA |
institution |
SBA |
reponame_str |
Sba: Controle & Automação Sociedade Brasileira de Automatica |
collection |
Sba: Controle & Automação Sociedade Brasileira de Automatica |
repository.name.fl_str_mv |
Sba: Controle & Automação Sociedade Brasileira de Automatica - Sociedade Brasileira de Automática (SBA) |
repository.mail.fl_str_mv |
||revista_sba@fee.unicamp.br |
_version_ |
1754824565641445376 |