Challenges and Solutions for Embedded and Networked Aerospace Software Systems
暂无分享,去创建一个
Kevin P. Murphy | David C. Sharp | Alex E. Bell | Jeffrey J. Gold | Ken W. Gibbar | Dennis W. Gvillo | Vann M. Knight | Radhakrishna G. Sampigethaya | Viswa Santhanam | Steven P. Weismuller | Wendy Roll
[1] Ronald W. Davidson. Flight Control Design and Test of the Joint Unmanned Combat Air System (J-UCAS) X-45A ** , 2004 .
[2] Wendy Roll. Towards model-based and CCM-based applications for real-time systems , 2003, Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003..
[3] Om Prakash Yadav,et al. Model Based Development and Auto Testing: A Robust Approach for Reliable Automotive Software Development , 2006 .
[4] Radha Poovendran,et al. Secure Operation, Control, and Maintenance of Future E-Enabled Airplanes , 2008, Proceedings of the IEEE.
[5] J Hayhurst Kelly,et al. A Practical Tutorial on Modified Condition/Decision Coverage , 2001 .
[6] John C. Knight. Future trends of software technology and applications model-based development , 2006, 30th Annual International Computer Software and Applications Conference (COMPSAC'06).
[7] M. J. Morgan. Integrated modular avionics for next generation commercial airplanes , 1991 .
[8] Victor L. Winter,et al. High Integrity Software , 2001 .
[9] Douglas C. Schmidt,et al. The design of the TAO real-time object request broker , 1998, Comput. Commun..
[10] M. Effinger,et al. Challenges and visions for model-based integration of avionics systems , 2001, 20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219).
[11] Richard Robinson,et al. Formal Security Analysis of Electronic Software Distribution Systems , 2008, SAFECOMP.
[12] 冯振兴. 文献a successful strategy for satellite development and testing点评 , 2009 .
[13] Radha Poovendran,et al. Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety , 2007, SAFECOMP.
[14] Nathan Presser,et al. 6 A Successful Strategy for Satellite Development and Testing , 2005 .
[15] Gabor Karsai,et al. A modeling language and its supporting tools for avionics systems , 2002, Proceedings. The 21st Digital Avionics Systems Conference.
[16] Daniel E. Cooke,et al. NASA's exploration agenda and capability engineering , 2006, Computer.
[17] David C. Sharp. Object-oriented real-time computing for reusable avionics software , 2001, Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001.
[18] B. J. Ferro Castro,et al. Pattern-Oriented Software Architecture: A System of Patterns , 2009 .
[19] Kevin Wise. First Flight of the X-45A Unmanned Combat Air Vehicle (UCAV) , 2003 .
[20] Mukul Agrawal,et al. Distributed middleware requirements for disparate avionics and control software , 2005, 24th Digital Avionics Systems Conference.
[21] D. C. Sharp,et al. Reducing avionics software cost through component based product line development , 1998, 17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267).
[22] Kenny Kemp. Flight of the Titans , 2006 .
[23] Mark Schulte. Model-based integration of reusable component-based avionics systems - a case study , 2005, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05).
[24] Steven P. Miller,et al. Applicability of modified condition/decision coverage to software testing , 1994, Softw. Eng. J..
[25] N. Tudor,et al. Auto-coding/auto-proving flight control software , 2004, The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576).
[26] David E. Corman,et al. Mixed Initiative Control of Automa-Teams, Open Experimentation Platform , 2004 .
[27] David Sharp,et al. Freeing product line architectures from execution dependencies , 2000, SPLC.