1 |
DOT/FAA/AR-99/58, "Partitioning in Avionics Architectures : Requirements, Mechanisms, and Assurance", 2000.
|
2 |
ARINC 653-Part 1, "avionics application software standard interface Part 1 - Required Services", Airlines electronic engineering committee(AEEC), 2006.
|
3 |
S. R. Schach, "Object-Oriented and Classical Software Engineering", 8th ed., ,2002.
|
4 |
H. M. Sneed, "Measuring Reusability of Legacy Software Systems", Software Process: Improvement and Practice, vol. 4, pp 43-48, 1998.
DOI
|
5 |
OMG, "Developing in OMG's Model Driven Architecture", ftp://ftp.omg.org/pub/docs/omg/01-12-01.pdf
|
6 |
J. E. Smith, R. Nair, "Virtual machines: versatile platforms for systems and processes", Morgan Kaufmann Publishers, San Francisco, CA, USA, 2005.
|
7 |
A. Aquiar, F. Hessel, "Current techniques trends in embedded system's virtualization", Softw., Pract. Exper. vol. 42, no. 7, pp. 917-944, 2012.
DOI
|
8 |
Li, Y., et al,. "A Survey of Virtual Machine System: Current Technology and Future Trends.", Third International Symposium on Electronic Commerce and Security, 2010.
|
9 |
M. Masmano, I. Ripoll, A. Crespo, "XtratuM Hypervisor for LEON3-user manual", 2011.
|
10 |
R. Kaiser, "Combining Partitioning and Virtualization for Safety-Critical Systems", SYSGO White Paper, 2007.
|
11 |
J. Choi, J. Lee, J. Lee, "The Design of Executive Flight Software CSC for KOMPSAT-2", Proc. of the 30th KIISE Fall Conference, vol.30, no.2(II), pp.262-264, 2003.
과학기술학회마을
|
12 |
S. Kang, J. Lee, J. Choi, J. Lee, "Flight Software Development for KOMPSAT-2 On-Board Computers", Proc. of the 30th KIISE Fall Conference, vol.30, no.2(II), pp.2346-348, 2003.
과학기술학회마을
|
13 |
J. D. Mooney, "Bringing Portability to the Software Process", Technical Report TR-97-1, Dept. of Statistic and Computer Science, West Virginia University, 1997.
|
14 |
R. L. C. Eveleens, "Integrated Modular Avionics Development Guidance and Certification Considerations", National Aerospace Laboratory NLR, 2006.
|
15 |
J. Rufino, J. Craveiro, "Robust Partitioning and Composability in ARINC 653 Conformant Real-Time Operating Systems", 1st INTERAC Research Network, 2008.
|
16 |
J. Lee, S. Cha, "Development trends of satellite flight software", Journal of Computing Science and Engineering, vol. 25, no. 2, pp. 43-48, 2007.
과학기술학회마을
|
17 |
C. B. Watkins, "Integrated modular avionics: managing the allocation of shared intersystem resources", 25th Digital Avionics Systems Conference (DASC), Portland, Oregon, 2006.
|