| 1. Identity statement | ||||
| Reference Type | Journal Article | |||
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Site | mtc-m21c.sid.inpe.br (namespace prefix: upn:3Q3U5H8) | |||
| Identifier | 8JMKD3MGP3W34R/3STK4DE | |||
| Repository | sid.inpe.br/mtc-m21c/2019/03.15.12.11 (restricted access) | |||
| Last Update | 2019:03.15.12.11.49 (UTC) simone | |||
| Metadata Repository | sid.inpe.br/mtc-m21c/2019/03.15.12.11.49 | |||
| Metadata Last Update | 2025:09.17.13.13.54 (UTC) administrator | |||
| DOI | 10.1155/2018/3847843 | |||
| Citation Key | SilvaAmbrVill:2018:MoTeAp | |||
| Title | Model-based testing applied to software components of satellite simulators  | |||
| Project | SimCBERS | |||
| Year | 2018 | |||
| Access Date | 2026, Oct. 23 | |||
| Type of Work | journal article | |||
| Number of Files | 1 | |||
| Size | 1591 KiB | |||
| 2. Context | ||||
| Author | 1 Silva, Paulo Diego Barbosa da 2 Ambrosio, Ana Maria 3 Villani, Emilia | |||
| Resume Identifier | 1 2 8JMKD3MGP5W/3C9JGH7 | |||
| ORCID | 1 2 0000-0003-4957-4155 3 0000-0002-6804-1453 | |||
| Group | 1 2 DIDSS-CGETE-INPE-MCTIC-GOV-BR | |||
| Affiliation | 1 Instituto Tecnológico de Aeronáutica (ITA) 2 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Journal | Modelling and Simulation in Engineering | |||
| Volume | 2018 | |||
| Number | 3847843 | |||
| Host Collection | urlib.net/www/2017/11.22.19.04 upn:3Q3U5H8 | |||
| History (UTC) | 2019-03-15 12:12:40 :: simone -> administrator :: 2018 2021-02-11 21:04:49 :: administrator -> simone :: 2018 2025-09-16 18:32:57 :: simone -> administrator :: 2018 2025-09-17 13:13:54 :: administrator -> simone :: 2018 | |||
| 3. Content and structure | ||||
| Is the master or a copy? | is the master | |||
| Content Stage | completed | |||
| Transferable | 1 | |||
| Content Type | External Contribution | |||
| Version Type | publisher | |||
| Abstract | Operational simulators have a fundamental role in space programs. During a satellite operation, these simulators are essential for validating critical manoeuvres, testing new on-board software versions, and supporting the diagnosis of anomalies. With the purpose of reusing the operational simulators, the Brazilian National Institute for Space Research has proposed a new standard for the specification of the components that must be integrated in their in-house developed simulators. The new standard describes the behaviour of satellite subsystems using cause-effect tables that relate telecommands, electrical switches, equipment working states, energy consumption, telemetries, and operating modes of the subsystem. Using this new standard as input, this work proposes an approach that merges model-based testing and model checking to verify the correct implementation of new components in the satellite simulator. The verification approach consists of extracting state machines from the cause-effect tables and used it to automatically derive a test case suite. In order to validate the proposal, we applied it to three different satellite subsystems and assessed the results obtained from the test campaigns. In all the three cases, the proposed approach identified errors in the simulator components that were not initially detected by the traditional testing approach used at the Brazilian National Institute for Space Research. | |||
| Area | ETES | |||
| Arrangement | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > Model-based testing applied... | |||
| doc Directory Content | access | |||
| source Directory Content | there are no files | |||
| agreement Directory Content |
| |||
| 4. Conditions of access and use | ||||
| Language | en | |||
| Target File | 3847843.pdf | |||
| User Group | simone | |||
| Reader Group | administrator simone | |||
| Visibility | shown | |||
| Read Permission | deny from all and allow from 150.163 | |||
| Update Permission | not transferred | |||
| 5. Allied materials | ||||
| Mirror Repository | urlib.net/www/2017/11.22.19.04.03 | |||
| Next Higher Units | 8JMKD2USNRW34T/4D9624E 8JMKD2USNRW34T/4DQD3LH 8JMKD3MGPCW/446B2HE | |||
| Citing Item List | sid.inpe.br/bibdigital/2021/02.11.21.02 - 100 sid.inpe.br/mtc-m12e/2025/07.06.17.40 - 23 sid.inpe.br/mtc-m21/2012/07.13.14.39.50 - 17 sid.inpe.br/mtc-m12e/2025/04.03.20.44 - 9 | |||
| 6. Notes | ||||
| Empty Fields | alternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination e-mailaddress electronicmailaddress format isbn issn keywords label lineage mark month nextedition notes pages parameterlist parentrepositories previousedition previouslowerunit progress rightsholder schedulinginformation secondarydate secondarykey secondarymark secondarytype session shorttitle sponsor subject tertiarymark tertiarytype url | |||
| 7. Description control | ||||
| e-Mail (login) | simone | |||
| update | ||||