2006 Sixth International Conference on Quality Software (QSIC'06)最新文献_第6页

View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement 基于类型化抽象状态机和强数据细化的数据仓库视图集成设计

2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.67

Hui Ma, K. Schewe, Jane Zhao

引用次数: 1

Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications 基于模型的时间逻辑规范自适应嵌入式程序

2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.41

Liqun Tan

{"title":"Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications","authors":"Liqun Tan","doi":"10.1109/QSIC.2006.41","DOIUrl":"https://doi.org/10.1109/QSIC.2006.41","url":null,"abstract":"We propose a model-based framework for developing a self-adaptive embedded program, which monitors its own execution and reconfigures itself at runtime to avoid failure and improve performance. Our approach uses formal methods at different design stages to reduce the complexity of developing a self-adaptive embedded program. In our framework system requirement is rigidly encoded in temporal logics, and the original embedded system behavior is captured in a hybrid automaton-based model. We introduce the reconfiguration specification language REDL to specify reconfiguration requirements, and define a formal semantics of reconfiguration in context of hybrid automaton. Using formal methods also helps automate design and implementation: we use model-based runtime verification techniques introduced by Tan et al. (2001) to extend a system model to a self-monitoring model based on its temporal logic requirements; we then extend the self-monitoring model with a reconfiguration mechanism based on its REDL specification. Our approach works with models, and hence it may be incorporated into existing model-based design workflow: the resulting self-adaptive model can be analyzed using an existing model simulator and may be used to generate a self-adaptive embedded program for targeted platform","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117088739","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 14

Improving Coverage in Functional Testing 提高功能测试的覆盖率

2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.34

Jessica Chen, Guy-Vincent Jourdan, Wenxin Ma, H. Ural

引用次数: 1

Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture 面向服务体系结构中动态协作服务的验证框架

2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.66

W. Tsai, Qian Huang, B. Xiao, Yinong Chen

引用次数: 12

PORTAM: Policy, Requirements and Threats Analyzer for Mobile Code Application PORTAM:移动代码应用程序的策略、需求和威胁分析

2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.47

H. Kaiya, Kouta Sasaki, K. Kaijiri

引用次数: 0

Reconstruct the Distributed Transaction Monitor OnceTX 重建分布式事务监视器OnceTX

2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.52

Beihong Jin, Gang Li, L. Zhang

引用次数: 0