Close

1. Identity statement
Reference TypeJournal Article
Siteplutao.sid.inpe.br
Holder Codeisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
IdentifierJ8LNKAN8RW/3C63LDH
Repositorydpi.inpe.br/plutao/2012/06.21.18.34   (restricted access)
Last Update2012:08.24.12.36.25 (UTC) marciana
Metadata Repositorydpi.inpe.br/plutao/2012/06.21.18.34.30
Metadata Last Update2022:04.12.22.26.00 (UTC) administrator
DOI10.1016/j.jss.2011.02.034
ISSN0164-1212
Labellattes: 8666823357523918 1 Mattiello-FranciscoMartCavaYano:2012:ApTeIn
Citation KeyMattiello-FranciscoMartCavaYano:2012:ApTeIn
TitleInRob: An approach for testing interoperability and robustness of real-time embedded software
Year2012
MonthJan.
Access Date2024, Oct. 31
Secondary TypePRE PI
Number of Files1
Size572 KiB
2. Context
Author1 Mattiello-Francisco, Maria de Fátima
2 Martins, Eliane
3 Cavalli, Ana Rosa
4 Yano, Edgar Toshiro
Resume Identifier1 8JMKD3MGP5W/3C9JHR8
Group1 CCR-CCR-INPE-MCTI-GOV-BR
Affiliation1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 IC/UNICAMP, Campinas, Brazil
3 INT/Telecom SudPARIS, Paris, France
4 ITA/CTA, S.J. Campos, Brazil
Author e-Mail Address1 fatima@iss.inpe.br
e-Mail Addressfatima@iss.inpe.br
JournalJournal of Systems and Software
Volume85
Number1
Pages3-15
Secondary MarkB1_CIÊNCIA_DA_COMPUTAÇÃO B1_ENGENHARIAS_III A1_ENGENHARIAS_IV A2_INTERDISCIPLINAR B2_MEDICINA_I
History (UTC)2012-06-22 00:10:59 :: lattes -> secretaria.cpa@dir.inpe.br :: 2012
2012-12-12 16:05:02 :: secretaria.cpa@dir.inpe.br -> administrator :: 2012
2018-06-05 00:01:44 :: administrator -> marciana :: 2012
2022-04-11 18:20:57 :: marciana -> administrator :: 2012
2022-04-12 22:26:00 :: administrator -> marciana :: 2012
3. Content and structure
Is the master or a copy?is the master
Content Stagecompleted
Transferable1
Content TypeExternal Contribution
Version Typepublisher
KeywordsAccidents - Embedded software - Embedded systems - Integration - Optical telescopes - Quality of service - Software testing - Telescopes - Testing - Timing circuits
AbstractAdvances in digital technologies have contributed for significant reduction in accidents caused by hardware failures. However, the growing complexity of functions performed by embedded software has increased the number of accidents caused by software faults in critical systems. Moreover, due to the highly competitive market, software intensive subsystems are usually developed by different suppliers. Often these subsystems are required to interact with each other in order to provide a collaborative service. Testing approaches for subsystems integration support verification of the quality of service, focusing on the subsystems interfaces. The increasing complexity and tight coupling of real-time subsystems make integration testing unmanageable. The ad-hoc approach for testing is becoming less effective and more expensive. This article presents an integration testing approach denominated InRob, designed to verify the interoperability and robustness related to timing constraints of real-time embedded software. InRob guides the construction of services, based on formal models, aiming at the specifications of interoperability and robustness of test cases related to delays and time-outs of the messages exchanged in the interfaces of interconnected subsystems. The proposed formalism supports automatic test cases generation by verifying the relevant properties in the service behavioral model. As timing constraints are critical properties of aerospace systems, the feasibility of InRob is showed in the integration testing process of a telescope onboard in a satellite. The process is instantiated with existing testing tools and the case study is the software embedded in the telescope.
AreaETES
Arrangementurlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRE > InRob: An approach...
doc Directory Contentaccess
source Directory Contentthere are no files
agreement Directory Contentthere are no files
4. Conditions of access and use
Languageen
Target File1-s2.0-S0164121211000550-main.pdf
User Groupadministrator
lattes
secretaria.cpa@dir.inpe.br
Visibilityshown
Archiving Policydenypublisher denyfinaldraft24
Read Permissiondeny from all and allow from 150.163
Update Permissionnot transferred
5. Allied materials
Next Higher Units8JMKD3MGPCW/3EUJHT5
DisseminationWEBSCI; PORTALCAPES.
Host Collectiondpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notes
Empty Fieldsalternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel format isbn lineage mark mirrorrepository nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup rightsholder schedulinginformation secondarydate secondarykey session shorttitle sponsor subject tertiarymark tertiarytype typeofwork url
7. Description control
e-Mail (login)marciana
update 


Close