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 条
[41]   A component model for hard real-time systems: CCM with ARINC-653 [J].
Dubey, Abhishek ;
Karsai, Gabor ;
Mahadevan, Nagabhushan .
SOFTWARE-PRACTICE & EXPERIENCE, 2011, 41 (12) :1517-1550
[42]   Towards Rewriting-based Formal Model for Component-based Systems Verification [J].
Debza, A. A. ;
Bouanaka, Chafia ;
Zeghib, Nadia .
2016 INTERNATIONAL CONFERENCE ON ADVANCED ASPECTS OF SOFTWARE ENGINEERING (ICAASE), 2016, :46-53
[43]   An improved coloured petri net model for software component allocation on heterogeneous embedded systems [J].
Al-Azzoni I. .
Journal of Computing and Information Technology, 2018, 26 (02) :85-97
[44]   Modelling multi-criticality vehicular software systems: evolution of an industrial component model [J].
Alessio Bucaioni ;
Saad Mubeen ;
Federico Ciccozzi ;
Antonio Cicchetti ;
Mikael Sjödin .
Software and Systems Modeling, 2020, 19 :1283-1302
[45]   Modelling multi-criticality vehicular software systems: evolution of an industrial component model [J].
Bucaioni, Alessio ;
Mubeen, Saad ;
Ciccozzi, Federico ;
Cicchetti, Antonio ;
Sjodin, Mikael .
SOFTWARE AND SYSTEMS MODELING, 2020, 19 (05) :1283-1302
[46]   Performance modeling and evaluation of distributed component-based systems using Queueing Petri Nets [J].
Kounev, Samuel .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2006, 32 (07) :486-502
[47]   Synthesis of robust PID Control systems using stability feeler and partial model matching [J].
Matsuda, Tadasuke ;
Nakamura, Yukinori .
IEEJ TRANSACTIONS ON ELECTRICAL AND ELECTRONIC ENGINEERING, 2020, 15 (03) :426-432
[48]   Comprehensive evaluation of file systems robustness with SPIN model checking [J].
Yuan, Jingcheng ;
Aoki, Toshiaki ;
Guo, Xiaoyun .
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2022, 32 (06)
[49]   Embedded System Construction - Evaluation of Model-Driven and Component-Based Development Approaches [J].
Bunse, Christian ;
Gross, Hans-Gerhard ;
Peper, Christian .
MODELS IN SOFTWARE ENGINEERING, 2009, 5421 :66-+
[50]   Evaluation of the Single-component Thermal Dust Emission Model in Cosmic Microwave Background Experiments [J].
Liu, Hao ;
Li, Jia-Rui ;
Cai, Yi-Fu .
ASTROPHYSICAL JOURNAL SUPPLEMENT SERIES, 2025, 276 (02)
12345