Search Result
The search expression was <secondaryty ci and ref conference and firstg DSE-ETE-INPE-MCTI-GOV-BR and y 2012 and is *>.
2 references found looking up in 17 out of 17 Archives.
Search local date and time: 29/01/2023 13:54.
1. Identity statement
Reference TypeConference Paper (Conference Proceedings)
Siteplutao.sid.inpe.br
Holder Codeisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
IdentifierJ8LNKAN8RW/3D53LHH
Repositorydpi.inpe.br/plutao/2012/11.28.16.46.54
Last Update2021:03.08.20.02.36 (UTC) marciana
Metadata Repositorydpi.inpe.br/plutao/2012/11.28.16.46.55
Metadata Last Update2021:03.08.20.02.36 (UTC) marciana
Secondary KeyINPE--PRE/
ISBN1880094959
Labellattes: 6516110599667954 1 CerqueiraKirn:2012:DeEdAp
Citation KeyCerqueiraKirn:2012:DeEdAp
TitleDeveloping Educational Applications with a Non-Programming Augmented Reality Authoring Tool
Year2012
Access Date2023, Jan. 29
Secondary TypePRE CI
Number of Files1
Size1016 KiB
2. Context
Author1 Cerqueira, Christopher Shneider
2 Kirner, Claudio
Group1 DSE-ETE-INPE-MCTI-GOV-BR
Affiliation1 Instituto Nacional de Pesquisas Espaciais (INPE)
Author e-Mail Address1 christophercerqueira@gmail.com
e-Mail Addresschristophercerqueira@gmail.com
Conference NameWorld Conference on Educational Multimedia, Hypermedia and Telecommunications, (EDMEDIA).
Conference LocationDenver, Colorado, USA
Date2012
PublisherAACE
Volume2012
Pages2816-2825
Book TitleProceedings
Tertiary TypePaper
History (UTC)2012-11-28 23:06:29 :: lattes -> marciana :: 2012
2012-12-05 17:52:04 :: marciana -> administrator :: 2012
2021-02-11 20:56:49 :: administrator -> marciana :: 2012
3. Content and structure
Is the master or a copy?is the master
Content Stagecompleted
Transferable1
Content TypeExternal Contribution
Keywordsrealidade aumentada
APRENDIZAGEM
ferramenta de autoria
AreaETES
Arrangementurlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSE > Developing Educational Applications...
doc Directory Contentaccess
source Directory Contentthere are no files
agreement Directory Contentthere are no files
4. Conditions of access and use
data URLhttp://urlib.net/ibi/J8LNKAN8RW/3D53LHH
zipped data URLhttp://urlib.net/zip/J8LNKAN8RW/3D53LHH
Languageen
Target Filecerqueira_developing2.pdf
User Grouplattes
marciana
Visibilityshown
Read Permissionallow from all
Update Permissionnot transferred
5. Allied materials
Next Higher Units8JMKD3MGPCW/446AUSL
URL (untrusted data)http://www.editlib.org/p/41166/
Host Collectiondpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notes
Empty Fieldsabstract archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format issn lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress readergroup resumeid rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type versiontype
7. Description control
e-Mail (login)marciana
update 

1. Identity statement
Reference TypeConference Paper (Conference Proceedings)
Siteplutao.sid.inpe.br
Holder Codeisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
IdentifierJ8LNKAN8RW/3D536H8
Repositorydpi.inpe.br/plutao/2012/11.28.13.56.39   (restricted access)
Last Update2020:11.24.15.43.25 (UTC) simone
Metadata Repositorydpi.inpe.br/plutao/2012/11.28.13.56.40
Metadata Last Update2021:02.11.20.56.48 (UTC) administrator
Secondary KeyINPE--PRE/
ISBN2012-36-0429
Labellattes: 3237709114127674 1 RomeroAmbrSouz:2012:FiStVe
Citation KeyRomeroAmbrSouz:2012:FiStVe
TitleFinite state-machine verification applied to hybrid systems
Year2012
Access Date2023, Jan. 29
Secondary TypePRE CI
Number of Files1
Size854 KiB
2. Context
Author1 Romero, Alessandro Gerlinger
2 Ambrosio, Ana Maria
3 Souza, Marcelo Lopes de Oliveira e
Resume Identifier1
2 8JMKD3MGP5W/3C9JGH7
3 8JMKD3MGP5W/3C9JHP4
Group1
2 DSE-ETE-INPE-MCTI-GOV-BR
3 DMC-ETE-INPE-MCTI-GOV-BR
Affiliation1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Instituto Nacional de Pesquisas Espaciais (INPE)
Author e-Mail Address1 romgerale@yahoo.com.br
2 ana@dss.inpe.br
e-Mail Addressromgerale@yahoo.com.br
Conference NameCongresso SAE Brasil, 21.
Conference LocationSão Paulo
Date2012
PublisherSAE
Book TitleProceedings
Tertiary TypePaper
History (UTC)2012-11-28 23:06:21 :: lattes -> marciana :: 2012
2013-01-31 10:48:48 :: marciana -> administrator :: 2012
2018-06-05 00:01:54 :: administrator -> marciana :: 2012
2020-11-24 15:43:11 :: marciana -> simone :: 2012
2020-11-24 15:43:26 :: simone -> administrator :: 2012
2021-02-11 20:56:48 :: administrator -> simone :: 2012
3. Content and structure
Is the master or a copy?is the master
Content Stagecompleted
Transferable1
Content TypeExternal Contribution
Keywordsstate-machine
hybrid systems
source lines of code
AbstractThe notion of a hybrid system is centered around a composition of discrete and continuous dynamics. In particular, the system has a continuous evolution and occasional jumps. The jumps correspond to the change of state in an automaton whose transitions are caused either by controllable or uncontrollable external events or by the continuous evolution. The continuous evolution and these jumps in control loops are the origins from the most stringent temporal demands. These temporal demands are one of the reasons that hybrid systems usually require a high level of safety. Inevitably this type of system is present in mobility devices such as cars, ships and aircraft. Works present data showing that SLOC (Source Lines Of Code), one controversial metric of complexity, growth at current rate using existing development practices will seriously impact affordability of the next generation of commercial aircraft (remarkable hybrid systems). Efforts to develop this type of system have increasingly suffered from cost and schedule overruns. These trends are largely attributed to: (a) increasing system complexity, driven by requirements for increased functionality, performance and dependability; (b) using inadequate development practices. In fact, the verification of such systems has become a key activity in the development life-cycle. Historically such activity demands experts and high efforts, and uses ad-hoc methods. Therefore, the aim of this work is to apply the vast theory of automatic test case generation for this type of system, showing an effective and reproducible alternative for automatic test case generation based on finite state-machines. A case study that was developed considering the problem of inverted pendulum evaluates the suggested approach. The inverted pendulum is a model of attitude control for satellite launch vehicles at its departure (the objective of the attitude control problem is to keep the vehicle in a vertical position). The uniqueness of an inverted pendulum, due to its natural instability, provides various researches in areas of control, electronics and software. Furthermore, the inverted pendulum is a classic hybrid system, since it is composed of continuous dynamic (stabilization of the pendulum in a vertical axis) and discrete (failure mode management). This case study has given strong indications that the approach can bring significant gains for the effectiveness coupled with the reduction of time for planning and execution of verification, as well as contributing to fulfill certification requirements.
AreaETES
Arrangement 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDMC > Finite state-machine verification...
Arrangement 2urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSE > Finite state-machine verification...
doc Directory Contentaccess
source Directory Contentthere are no files
agreement Directory Contentthere are no files
4. Conditions of access and use
Languageen
Target Fileromero_finite.pdf
User Grouplattes
marciana
simone
Reader Groupadministrator
simone
Visibilityshown
Read Permissiondeny from all and allow from 150.163
Update Permissionnot transferred
5. Allied materials
Next Higher Units8JMKD3MGPCW/446AF4B
8JMKD3MGPCW/446AUSL
Host Collectiondpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notes
Empty Fieldsarchivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format issn lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url versiontype volume
7. Description control
e-Mail (login)simone
update