Model-Driven Cockpit Display Software: Development and Verification

DONG Meng; SHEN Jingjing; ZHANG Haijun; LIU Xiaohong; LIU Junfeng; GUO Xiaoguang

doi:10.3969/j. issn. 1671 -637x.2002.019

Journals >Electronics Optics & Control >Volume 25 >Issue 2 >Page 92 > Article

Electronics Optics & Control
Vol. 25, Issue 2, 92 (2018)

Model-Driven Cockpit Display Software: Development and Verification

DONG Meng¹, SHEN Jingjing², ZHANG Haijun², LIU Xiaohong², LIU Junfeng², and GUO Xiaoguang²

Author Affiliations

¹[in Chinese]

²[in Chinese]

show less

DOI: 10.3969/j. issn. 1671 -637x.2002.019 Cite this Article

DONG Meng, SHEN Jingjing, ZHANG Haijun, LIU Xiaohong, LIU Junfeng, GUO Xiaoguang. Model-Driven Cockpit Display Software: Development and Verification[J]. Electronics Optics & Control, 2018, 25(2): 92 Copy Citation Text

show less

References

[1] NORTHROP L.Ultra-large-scale systems:the software challenge of the future［D］.USA:Carnegie Mellon University, 2006.

[2] BARBONI E, NAVARRE D. A formal description tech?nique for interactive cockpit applications compliant with ARINC specification 661 [ C J//IEEE 2nd International Symposium on Industrial Embedded Systems, Lisbon, Portugal, 2007：250-257.

[3] KAMIYAMA T, SOEDA T, Y00 M. A Simulink to UML transformation tool for embedded control software design [J]. International Journal of Modeling and Optimization, 2012,2(3):197-201.

[6] JOSHI A, HEIMDAHL M P E. Model-based safety analysis of Simulink models using SCADE design verifier [C ]//Tlie 24th International Conference on Computer Safety, Reliability, and Security, Springer Berlin Heidelberg, 2005, 3688:122-135.

DONG Meng, SHEN Jingjing, ZHANG Haijun, LIU Xiaohong, LIU Junfeng, GUO Xiaoguang. Model-Driven Cockpit Display Software: Development and Verification[J]. Electronics Optics & Control, 2018, 25(2): 92

Download Citation

Tools

Save the article for my favorites

Paper Information