Modeling and simulation based development of an enhanced ground proximity warning system for multicore targets
暂无分享,去创建一个
Umut Durak | David Müller | Claus B. Koch | Florian Möcke | Umut Durak | D. Müller | Florian Möcke | C. B. Koch
[1] Ken Butts,et al. Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques , 2016, IEEE Control Systems.
[2] Jean-Philippe Chancelier,et al. Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4 , 2009 .
[3] Milind Girkar,et al. The hierarchical task graph as a universal intermediate representation , 2007, International Journal of Parallel Programming.
[4] Alain Le Guennec,et al. Benefits of Model Based System Engineering for Avionics Systems , 2016 .
[5] Mirko Conrad,et al. Experiences with model and autocode reviews in model-based software development , 2006, SEAS '06.
[6] Colin Atkinson,et al. Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..
[7] Michael Paulitsch,et al. Design and implementation of a degraded vision landing aid application on a multicore processor architecture for safety-critical application , 2013, 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013).
[8] Sven Hartmann,et al. Computational Representation for a Simulation Scenario Definition Language , 2018 .
[9] Matthias Grochtmann,et al. Classification trees for partition testing , 1993, Softw. Test. Verification Reliab..
[10] Radha Poovendran,et al. Aviation Cyber–Physical Systems: Foundations for Future Aircraft and Air Transport , 2013, Proceedings of the IEEE.
[11] Sven Hartmann,et al. Using System Entity Structures to Model the Elements of a Scenario in a Research Flight Simulator , 2017 .
[12] Michael G. Hinchey,et al. Model-Based Verification of Embedded Software , 2009, Computer.
[13] Umut Durak,et al. Model-based Development of Enhanced Ground Proximity Warning System for Heterogeneous Multi-Core Architectures , 2016 .
[14] Jürgen Becker,et al. Advances in Avionic Platforms: Multi-core Systems , 2018, Advances in Aeronautical Informatics.
[15] H. Agrou,et al. Mastering the behavior of multi-core systems to match avionics requirements , 2012, 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC).
[16] Levent Yilmaz,et al. Distributed Simulation: A Model Driven Engineering Approach , 2016 .
[17] C.B. Watkins,et al. Transitioning from federated avionics architectures to Integrated Modular Avionics , 2007, 2007 IEEE/AIAA 26th Digital Avionics Systems Conference.
[18] Dragan Gasevic,et al. Model Driven Engineering and Ontology Development , 2009 .
[19] Umut Durak,et al. Flight 4.0: The Changing Technology Landscape of Aeronautics , 2018, Advances in Aeronautical Informatics.
[20] Umut Durak,et al. Tackling the complexity of simulation scenario development in aviation , 2017 .
[21] Michael Paulitsch,et al. Leveraging Multi-core Computing Architectures in Avionics , 2012, 2012 Ninth European Dependable Computing Conference.
[22] Bernard P. Zeigler,et al. System entity structuring and model base management , 1990, IEEE Trans. Syst. Man Cybern..
[23] Simin Nadjm-Tehrani,et al. Challenges in Future Avionic Systems on Multi-Core Platforms , 2014, 2014 IEEE International Symposium on Software Reliability Engineering Workshops.
[24] O. Sander,et al. The promised future of multi-core processors in avionics systems , 2017 .
[25] Edward A. Lee,et al. A model-based design methodology for cyber-physical systems , 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.
[26] François Charot,et al. GeCoS: A framework for prototyping custom hardware design flows , 2013, 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM).
[27] Jon Friedman,et al. Best Practices for Verification, Validation, and Test in Model- Based Design , 2008 .
[28] Andreas Tolk,et al. Systems engineering, architecture, and simulation , 2014, Modeling and Simulation-Based Systems Engineering Handbook.
[29] Edward A. Lee,et al. Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .
[30] P. J. Prisaznuk,et al. Integrated modular avionics , 1992, Proceedings of the IEEE 1992 National Aerospace and Electronics Conference@m_NAECON 1992.