Electronics Optics & Control, Volume. 25, Issue 2, 92(2018)
Model-Driven Cockpit Display Software:Development and Verification
References(4)
[1] [1] NORTHROP L.Ultra-large-scale systems:the software challenge of the future［D］.USA:Carnegie Mellon University2006.
[2] [2] BARBONI ENAVARRE D.A formal description technique for interactive cockpit applications compliant with ARINC specification 661［C］//IEEE 2nd International Symposium on Industrial Embedded Systems,Lisbon Portugal2007:250-257.
[3] [3] KAMIYAMA TSOEDA TYOO M.A Simulink to UML transformation tool for embedded control software design［J］.International Journal of Modeling and Optimization 20122(3):197-201.
[6] [6] JOSHI AHEIMDAHL M P E.Model-based safety analysis of Simulink models using SCADE design verifier［C］//The 24th International Conference on Computer SafetyReliabilityand SecuritySpringer Berlin Heidelberg20053688:122-135.
Tools
Get Citation
Copy Citation Text
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
Paper Information
Category:
Received: May. 16, 2017
Accepted: --
Published Online: Mar. 21, 2018
The Author Email:
© Copyright 2018-2021 | Chinese Laser Press.
All Rights Reserved 沪ICP备15018463号-20