| [1] Prisaznuk P J. Integrated modular avionics//Aerospace and Electronics Conference, 1992: 39-45.[2] Watkins C B, Walter R. Transitioning from federated avionics architectures to integrated modular avionics//Proceedings of IEEE the 26th Digital Avionics Systems Conference, 2007: 2.A.1-1-2.A.1-10.[3] Zhou T R, Xiong H G. Design of energy-efficient hierarchical scheduling for integrated modular avionics systems[J]. Chinese Journal of Aeronautics, 2012, 25 (1): 109-114.[4] Di N M, Sangiovanni-Vincentelli A L. Moving from federated to integrated architectures in automotive: the role of standards, methods and tools automotive electronics systems need to support an increasing number of features and functions. A new integrated architecture paradigm is needed to overcome the proliferation of electronic control units (ECUs) and allow integration of software components on distributed platforms [J]. Proceedings of the IEEE, 2010,98(4):603-620.[5] Li X Y, Xiong H G. Modelling and simulation of integrated modular avionics systems//IEEE/AIAA 28th Digital Avionics Systems Conference, 2009: 7B3-1-7B3-8.[6] Wang G Q. Integration technology for avionics system//IEEE/AIAA 31st Digital Avionics Systems Conference, 2012: 7C6-1-7C6-9.[7] Nesrine B, Katia J, Jean L S, et al. End-to-end delay analysis in an integrated modular avionics architecture//IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), 2013: 1-4.[8] Thom S, Richard A, Jarren B, et al. A viable COTS based wireless architecture for spacecraft avionics//2012 Aerospace Conference, 2012: 1-11.[9] José R, Joo C, Paulo V. Building a time- and space-partitioned architecture for the next generation of space vehicle avionics//Proceedings of Software Technologies for Embedded and Ubiquitous Systems, 2010: 179-190.[10] James W, Marie-Hélène D, Regis D. Integrated modular avionics for spacecraft-user requirements, architecture and role definition//IEEE/AIAA 30th Digital Avionics Systems Conference, 2011: 8A6-1-8A6-16.[11] Wu J, Yue1 T, Ali S, et al. Ensuring safety of avionics software at the architecture design level: an industrial case study//IEEE 13th International Conference on Quality Software (QSIC), 2013: 55-64.[12] Kevin M, Michael P, Reinhard S, et al. Mils-based information flow control in the avionics domain: a case study on compositional architecture and verification//IEEE/AIAA 31st Digital Avionics Systems Conference, 2012: 7B1-1-7B1-13.[13] Yang S K, Liu B, Wang S H, et al. Model-based robustness testing for avionics-embedded software[J]. Chinese Journal of Aeronautics, 2013,26 (3): 730-740.[14] Wang L, Liu B, Lu M Y. A modeling language based on UML for modeling simulation testing system of avionic software[J]. Chinese Journal of Aeronautics, 2011,24 (2): 181-194.[15] Lin Q, Xiong H G, Zhang Q S. Credit determination of fibre channel in avionics environment[J]. Chinese Journal of Aeronautics,2007,20 (3): 247-252.[16] Li Z, Li Q, Xiong H G. Avionics clouds: a generic scheme for future avionics systems//IEEE/AIAA 31st Digital Avionics Systems Conference, 2012: 6E4-1-6E4-10.[17] Nowotsch J, Paulitsch M. Leveraging multi-core computing architectures in avionics//IEEE 9th European Dependable Computing Conference, 2012: 132-143.[18] Fuchsen R. Preparing the next generation of IMA: a new technology for the Scarlett program//IEEE/AIAA Digital Avionics Systems Conference, 2009: 7B5-1-7B5-8.[19] Annighofer B, Thielecke F. Multi-objective mapping optimization for distributed integrated modular avionics//IEEE/AIAA 31st Digital Avionics Systems Conference, 2012: 6B2-1-6B2-13.[20] Wolfig R, Jakovljevic M. Distributed IMA and DO-297: architectural, communication and certification attributes//IEEE/AIAA 27th Digital Avionics Systems Conference, 2008: 1E4-1-1E4-10.[21] Al-Nayeem A, Sun M. A formal architecture pattern for real-time distributed systems//IEEE 30th Real-Time Systems Symposium, 2009: 161-170.[22] Robertson-Dunn B. Beyond the Zachman framework: problem-oriented system architecture[J]. IBM Journal of Research and Development, 2012, 56(5): 10: 1-10: 9.[23] Dantu B, Smith E. Medical process modeling with a hybrid system dynamics Zachman framework[J]. Procedia Computer Science, 2011, 6: 76-81.[24] Zhang C, Wang F. Construction of forestry e-government system based on Zachman frame theory//2011 International Conference on E-Business and E-Goverment, 2011: 1-4.[25] Ostadzadeh S S, Habibi J, Ostadzadeh S A. A framework for decision support systems based on Zachman framework[M]//Khaled E. Advanced Techniques in Computing Sciences and Software Engineering. Netherlands: Springer, 2010: 497-502.[26] Ostadzadeh S S, Rahmani A M. A framework for enterprise operating systems based on Zachman framework[M]//Tarek S, Khaled E. Innovations in Computing Sciences and Software Engineering. Netherlands: Springer, 2010: 533-536.[27] Chen Z, Pooley R. Domain modeling for enterprise information systems-formalizing and extending Zachman framework using BWW ontology//2009 WRI World Congress on Computer Science and Information Engineering, 2009, 7: 634-643. |
CJA
