http://iet.metastore.ingenta.com
1887

access icon openaccess Execution time analysis and optimisation techniques in the model-based development of a flight control software

  • PDF
    1.8523645401000977MB
  • HTML
    80.9365234375Kb
  • XML
    78.17578125Kb
Loading full text...

Full text loading...

/deliver/fulltext/iet-cps/2/2/IET-CPS.2016.0046.html;jsessionid=1i53le4um3omn.x-iet-live-01?itemId=%2fcontent%2fjournals%2f10.1049%2fiet-cps.2016.0046&mimeType=html&fmt=ahah

References

    1. 1)
      • 1. AC: 23.1309-1E: ‘Advisory circular: system safety analysis and assessment for part 23 airplanes’, November 2011.
    2. 2)
      • 2. STANAG 4671 Edition 1: ‘Unmanned aerial vehicles systems airworthiness requirements’, May 2007.
    3. 3)
      • 3. Stecklein, J.M., Dabney, J., Dick, B., et al: ‘Error cost escalation through the project life cycle’. 14th INCOSE Int. Symp. Annual, Toulouse, France, June 2004.
    4. 4)
      • 4. DeGarmo, M.: ‘Issues concerning integration of unmanned aerial vehicles in civil airspace’ (2004).
    5. 5)
      • 5. Braun, S., Geiser, M., Heller, M., et al: ‘Configuration assessment and preliminary control law design for a novel diamond-shaped UAV’. Int. Conf. on Unmanned Aircraft, Orlando, FL, May 2014, pp. 10091022.
    6. 6)
      • 6. Kreienfeld, M., Giese, K., Heider, J., et al: ‘Development of a RPV-demonstrator for ATM research’. SCI-269 Symp. on ‘Flight Testing of Unmanned Aerial Systems (UAS)’, Ottawa, Canada, May 2015, pp. 18:118:10.
    7. 7)
      • 7. Karlsson, E., Schatz, S.P., Baier, T., et al: ‘Automatic flight path control of an experimental DA42 general aviation aircraft’. 14th Int. Conf. on Control, Automation, Robotics and Vision, Phuket, Thailand, November 2016.
    8. 8)
      • 8. ‘Simulink’, https://de.mathworks.com/products/simulink.html, accessed 18 April 2017.
    9. 9)
      • 9. MathWorks: ‘Embedded coder users's guide’ (2016).
    10. 10)
      • 10. DO-178C: ‘Software considerations in airborne systems and equipment certification’, December 2011.
    11. 11)
      • 11. DO-331: ‘Model-based development and verification supplement to DO-178C and DO-278A’, December 2011.
    12. 12)
      • 12. AMC RPAS.1309: ‘Safety assessment of remotely piloted aircraft systems’, November 2015.
    13. 13)
      • 13. Weber, G., Lammering, T., Thierer, S., et al: ‘The Liebherr fully integrated FCS design – a case study’. Aviation Technology, Integration, and Operations Conf., Los Angeles, CA, August 2013.
    14. 14)
      • 14. Walde, G., Luckner, R.: ‘Bridging the tool gap for model-based design from flight control function design in Simulink to software design in SCADE’. 2016 IEEE/AIAA 35th Digital Avionics Systems Conf. (DASC), Sacramento, CA, September 2016, pp. 110.
    15. 15)
      • 15. França, R.B., Favre-Felix, D., Leroy, X., et al: ‘Towards formally verified optimizing compilation in flight control software’. PPES 2011: Predictability and Performance in Embedded Systems, Grenoble, France, March 2011, pp. 5968.
    16. 16)
      • 16. Görke, S., Riedeling, R., Kraus, F., et al: ‘Flexible platform approach for fly-by-wire systems’. Digital Avionics Systems Conf. (DASC), East Syracuse, NY, October 2013, pp. 2C5-12C5-16.
    17. 17)
      • 17. Alvis, W., Murthy, S., Valavanis, K., et al: ‘FPGA based flexible autopilot platform for unmanned systems’. Mediterranean Conf. on Control Automation, Athens, Greece, June 2007, pp. 19.
    18. 18)
      • 18. Klenke, R.H., Sleemann IV, W.C., Motter, M.A.: ‘A high-throughput processor for flight control research using small UAVs’. 25th AIAA Aerodynamic Measurement Technology and Ground Testing Conf., San Francisco, CA, June 2006.
    19. 19)
      • 19. DO-254: ‘Design assurance guidance for airborne electronic hardware’, April 2000.
    20. 20)
      • 20. Ermedahl, A., Jakob, E.: ‘Execution time analysis for embedded real-time systems’, in Lee, I., Leung, J.Y.-T., Son, S.H. (Eds.): ‘Handbook of real-time and embedded systems’ (Chapman & Hall/CRC, Boca Raton, London, 2008), pp. 437455.
    21. 21)
      • 21. Krause, C., Holzapfel, F.: ‘Designing a system automation for a novel UAV demonstrator’. 14th Int. Conf. on Control, Automation, Robotics and Vision, Phuket, Thailand, November 2016, pp. 16.
    22. 22)
      • 22. Schneider, V., Holzapfel, F.: ‘Modular trajectory generation test platform for real flight systems’. CEAS EuroGNC, Warsaw, Poland, April 2017.
    23. 23)
      • 23. Kügler, M.E., Holzapfel, F.: ‘Designing a safe and robust automatic take-off maneuver for a fixed-wing UAV’. 14th Int. Conf. on Control, Automation, Robotics and Vision, Phuket, Thailand, November 2016, pp. 16.
    24. 24)
      • 24. Schatz, S.P., Holzapfel, F.: ‘Modular trajectory / path following controller using nonlinear error dynamics’. Aerospace Electronics and Remote Sensing, Yogyakarta, Indonesia, November 2014, pp. 157163.
    25. 25)
      • 25. Karlsson, E., Schatz, S.P., Holzapfel, F., et al: ‘Development of an automatic flight path controller for a DA42 general aviation aircraft’. CEAS EuroGNC, Warsaw, Poland, April 2017.
    26. 26)
      • 26. Schatz, S.P., Holzapfel, F.: ‘Nonlinear modular 3D trajectory control of a general aviation aircraft’. CEAS EuroGNC, Warsaw, Poland, April 2017.
    27. 27)
      • 27. ‘Simulink Code Inspector’, https://de.mathworks.com/products/simulink-code-inspector.html, accessed 18 April 2017.
    28. 28)
      • 28. Hochstrasser, M., Schatz, S.P., Nürnberger, K., et al: ‘Aspects of a consistent modeling environment for DO-331 design model development of flight control algorithms’. CEAS EuroGNC, Warsaw, Poland, April 2017.
    29. 29)
      • 29. Leroy, X.: ‘Formal verification of a realistic compiler’, Commun. ACM, 2009, 52, (7), pp. 107115.
    30. 30)
      • 30. Blazy, S., Leroy, X.: ‘Mechanized semantics for the Clight subset of the C language’, J. Autom. Reasoning, 2009, 43, (3), pp. 263288.
    31. 31)
      • 31. MISRA-C: 2004: ‘Guidelines for the use of the C language in critical systems’, October 2004.
    32. 32)
      • 32. Leroy, X.: ‘The CompCert C verified compiler: documentation and user's manual’ (2016, 2nd edn.).
    33. 33)
      • 33. DO-248C: ‘Supporting information for DO-178C and DO-278A’, December 2011.
    34. 34)
      • 34. CAST-20: ‘Addressing cache in airborne systems and equipment’, June 2003.
    35. 35)
      • 35. ‘aiT’, https://www.absint.com/ait/, accessed 18 April 2017.
    36. 36)
      • 37. AbsInt Angewandte Informatik GmbH: ‘AbsInt advanced analyzer for PowerPC e300 user documentation’, October 2016.
    37. 37)
      • 38. Baufreton, P., Heckmann, R.: ‘Reliable and precise WCET and stack size determination for a real-life embedded application’. ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation, France, December 2007, pp. 4148.
    38. 38)
      • 39. Souyris, J., Le Pavec, E., Himbert, G., et al: ‘Computing the worst case execution time of an avionics program by abstract interpretation’. 5th Int. Workshop on Worst-Case Execution Time (WCET) Analysis, Palma de Mallorca, Spain, July 2005, pp. 2124.
    39. 39)
      • 40. Wilhelm, R., Lucas, P., Parshin, O., et al: ‘Improving the precision of WCET analysis by input constraints and model-derived flow constraints’, in Chakraborty, S., Eberspächer, J. (Eds.): ‘Advances in real-time systems’ (Springer Berlin Heidelberg, Berlin, Heidelberg, 2012), pp. 123143.
http://iet.metastore.ingenta.com/content/journals/10.1049/iet-cps.2016.0046
Loading

Related content

content/journals/10.1049/iet-cps.2016.0046
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address