Model-Driven Cockpit Display Software:Development and Verification

DONG Meng; SHEN Jing-jing; ZHANG Hai-jun; LIU Xiao-hong; LIU Jun-feng; GUO Xiao-guang

doi:10.3969/j.issn.1671-637x.2018.02.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 Jing-jing, ZHANG Hai-jun, LIU Xiao-hong, LIU Jun-feng, and GUO Xiao-guang

Author Affiliations

[in Chinese]

show less

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

DONG Meng, SHEN Jing-jing, ZHANG Hai-jun, LIU Xiao-hong, LIU Jun-feng, GUO Xiao-guang. 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 technique for interactive cockpit applications compliant with ARINC specification 661［C］//IEEE 2nd International Symposium on Industrial Embedded Systems,Lisbon Portugal2007:250-257.

[3] KAMIYAMA TSOEDA TYOO 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］//The 24th International Conference on Computer SafetyReliabilityand SecuritySpringer Berlin Heidelberg20053688:122-135.

Download Citation

Save the article for my favorites

Paper Information