Slicing and partial evaluation of CORBA component model designs for avionics systems

被引：0
作者：
Hatcliff, J [1 ]
Deng, W [1 ]
Dwyer, MB [1 ]
Jung, G [1 ]
Ranganath, V [1 ]
Robby, R [1 ]
机构：
[1] Kansas State Univ, SAnToS Lab, Dept Comp & Informat Sci, Manhattan, KS 66506 USA
来源：
ACM SIGPLAN NOTICES | 2003年 / 38卷 / 10期
关键词：
design; verification; languages; slicing; CORBA; components; partial evaluation; designs; model-checking; real-time systems; embedded systems; distributed systems;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：241 / 242
页数：2
相关论文
共 50 条
[31]   An Event Algebra Extension of the Triggering Mechanism in a Component Model for Embedded Systems [J].
Carlson, Jan ;
Akerholm, Mikael .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 141 (03) :107-121
[32]   Reliability evaluation and component importance measure for manufacturing systems based on failure losses [J].
Zhang, Ding ;
Zhang, Yingjie ;
Yu, Mingrang ;
Chen, Yun .
JOURNAL OF INTELLIGENT MANUFACTURING, 2017, 28 (08) :1859-1869
[33]   Security Verification of Industrial Control Systems using Partial Model Checking [J].
Kulik, Tomas ;
Boudjadar, Jalil ;
Tran-Jorgensen, Peter W. V. .
2020 IEEE/ACM 8TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE, 2020, :98-108
[34]   A reliable location model for heterogeneous systems under partial capacity losses [J].
Fan, Hongqiang ;
Ma, Jiaqi ;
Li, Xiaopeng .
TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES, 2018, 97 :235-257
[35]   Using Model-Checking Techniques for Component-Based Systems with Reconfigurations [J].
Hufflen, Jean-Michel .
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (178) :33-46
[36]   Model checking real-time component based systems with blackbox testing [J].
Van Hung, D ;
Anh, BV .
11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings, 2005, :76-79
[37]   Model-Free Adaptive Control With Fuzzy Component for Tower Crane Systems [J].
Roman, Raul-Cristian ;
Precup, Radu-Emil ;
Petriu, Emil M. ;
Hedrea, Elena-Lorena ;
Bojan-Dragos, Claudia-Adina ;
Radac, Mircea-Bogdan .
2019 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), 2019, :1384-1389
[38]   Comprehensive Robustness Evaluation of File Systems with Model Checking [J].
Yuan, Jingcheng ;
Aoki, Toshiaki ;
Guo, Xiaoyun .
2020 IEEE 20TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY (QRS 2020), 2020, :99-110
[39]   A model for an economic evaluation of energy systems using TRNSYS [J].
Villa-Arrieta, Manuel ;
Sumper, Andreas .
APPLIED ENERGY, 2018, 215 :765-777
[40]   Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking [J].
Bao, Yongxiang ;
Chen, Mingsong ;
Zhu, Qi ;
Wei, Tongquan ;
Mallet, Frederic ;
Zhou, Tingliang .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2017, 36 (12) :1989-2002
12345