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 条

[21] A Smart Display Component Model For Embedded Systems Modeling and Simulation [J].

Feredj, Mohamed .

PROCEEDINGS OF THE 2016 SAI COMPUTING CONFERENCE (SAI), 2016, :452-457

[22] A Component Model with Verifiable Composition for the Construction of Emergency Management Systems [J].

Tauseef Rana ;

Muhammad Ali Imran ;

Abdullah Baz .

Arabian Journal for Science and Engineering, 2020, 45 :10683-10692

[23] Intelligently deciphering unintelligible designs: algorithmic algebraic model checking in systems biology [J].

Mishra, Bud .

JOURNAL OF THE ROYAL SOCIETY INTERFACE, 2009, 6 (36) :575-597

[24] Performance of Partial Reconfiguration in FPGA Systems: A Survey and a Cost Model [J].

Papadimitriou, Kyprianos ;

Dollas, Apostolos ;

Hauck, Scott .

ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, 2011, 4 (04)

[25] Evaluation of backlight systems and components can lead to more efficient display system designs [J].

Case, GD .

COCKPIT DISPLAYS IV: FLAT PANEL DISPLAYS FOR DEFENSE APPLICATIONS, 1997, 3057 :545-556

[26] Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems [J].

Lang, Frederic ;

Mateescu, Radu .

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012, 2012, 7214 :141-156

[27] PARTIAL MODEL CHECKING USING NETWORKS OF LABELLED TRANSITION SYSTEMS AND BOOLEAN EQUATION SYSTEMS [J].

Lang, Frederic ;

Mateescu, Radu .

LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 9 (04)

[28] A Model of Heterogeneous Display Component for Cyber-Physical Systems Simulation [J].

Feredj, Mohamed ;

Laichi, Boualem .

INTELLIGENT COMPUTING, VOL 1, 2024, 2024, 1016 :620-632

[29] An Assume-Guarantee Model Checker for Component-Based Systems [J].

Duong Hoang-Minh ;

Trinh Le-Khanh ;

Pham Ngoc Hung .

PROCEEDINGS OF 2013 IEEE RIVF INTERNATIONAL CONFERENCE ON COMPUTING AND COMMUNICATION TECHNOLOGIES: RESEARCH, INNOVATION, AND VISION FOR THE FUTURE (RIVF), 2013, :22-26

[30] Component based Verification of Distributed Automation Systems based on Model Composition [J].

Zeller, Andreas ;

Weyrich, Michael .

51ST CIRP CONFERENCE ON MANUFACTURING SYSTEMS, 2018, 72 :352-356

← 1 2 3 4 5 →