1. Identity statement | |
Reference Type | Conference Paper (Conference Proceedings) |
Site | mtc-m16c.sid.inpe.br |
Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identifier | 8JMKD3MGP8W/3D85595 |
Repository | sid.inpe.br/mtc-m18/2012/12.17.11.29 |
Last Update | 2012:12.17.11.29.13 (UTC) administrator |
Metadata Repository | sid.inpe.br/mtc-m18/2012/12.17.11.29.13 |
Metadata Last Update | 2022:03.17.16.24.15 (UTC) administrator |
Citation Key | SantosSantVija:2012:FoVeUM |
Title | Formal verification of UML-based software |
Format | On-line. |
Year | 2012 |
Access Date | 2024, Apr. 20 |
Secondary Type | PRE CN |
Number of Files | 1 |
Size | 230 KiB |
|
2. Context | |
Author | 1 Santos, Luciana Brasil Rebelo dos 2 Santiago Júnior, Valdivino Alexandre de 3 Vijaykumar, Nandamudi Lankalapalli |
Group | 1 2 CEA-CEA-INPE-MCTI-GOV-BR 3 LAC-CTE-INPE-MCTI-GOV-BR |
Affiliation | 1 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
Editor | Castro, Ana Paula Abrantes de Shiguemori, Élcio Hideiti Ramos, Fernando Manuel |
e-Mail Address | lurebelo@gmail.com |
Conference Name | Workshop dos Cursos de Computação Aplicada do INPE, 12 (WORCAP). |
Conference Location | São José dos Campos |
Date | 6-8 nov. 2012 |
Publisher | Instituto Nacional de Pesquisas Espaciais (INPE) |
Publisher City | São José dos Campos |
Book Title | Anais |
Organization | Instituto Nacional de Pesquisas Espaciais (INPE) |
History (UTC) | 2013-01-16 17:09:08 :: lurebelo@gmail.com -> administrator :: 2012 2022-03-17 16:24:15 :: administrator -> simone :: 2012 |
|
3. Content and structure | |
Is the master or a copy? | is the master |
Content Stage | completed |
Transferable | 1 |
Keywords | formal verification Model Checking UML SOLIMVA methodology |
Abstract | ABSTRACT: Formal Verification methods, such as Model Checking, are best applied in early stages of system design, when costs are low and benefits can be high, increasing the quality of systems, when they are completed. The Unified Modeling Language - (UML) is currently accepted as the de facto standard for modeling (object-oriented) software, and its use is increasing in the aerospace industry. This work describes how UML diagrams created in the early phases of software development, such as sequence, activity, state machines (variation of Harels Statecharts) diagrams, can be transformed into a finite-state model to support Model Checking of UML-based software. The results of this work will improve SOLIMVA, a methodology initially developed to generate model-based system and acceptance test cases considering Natural Language requirements artifacts. |
Area | COMP |
Arrangement 1 | urlib.net > BDMCI > Fonds > WORCAP > Formal verification of... |
Arrangement 2 | urlib.net > LABAC > Formal verification of... |
Arrangement 3 | Formal verification of... |
doc Directory Content | access |
source Directory Content | there are no files |
agreement Directory Content | |
|
4. Conditions of access and use | |
data URL | http://urlib.net/ibi/8JMKD3MGP8W/3D85595 |
zipped data URL | http://urlib.net/zip/8JMKD3MGP8W/3D85595 |
Language | en |
Target File | worcap2012_submission_23 - Luciana Brasil Rebelo dos Santos.pdf |
User Group | lurebelo@gmail.com |
Visibility | shown |
|
5. Allied materials | |
Next Higher Units | 8JMKD3MGP8W/38ELNHL 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3EU2FR5 |
Citing Item List | sid.inpe.br/bibdigital/2013/10.01.23.29 2 |
Host Collection | sid.inpe.br/mtc-m18@80/2008/03.17.15.17 |
|
6. Notes | |
Empty Fields | archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination documentstage doi edition electronicmailaddress isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume |
|
7. Description control | |
e-Mail (login) | simone |
update | |
|