Resources

News: Work is ongoing to create the next generation ARM tool that will:

  • check ISO/IEC/IEEE 29148 compliance
  • be extensible to allow for enhanced features

    • Possible extenstions include:
  • completeness checking (using AI/ML)
  • requirements recommender (including for safety, privacy, security based on generative AI)
  • checking for explainability
  • recommending test cases (based on combinatorial testing)

    • Please contact me if you are interested in this project.

    Multimedia

    These files accompany papers published online.

    Jeffrey Nash and Phillip Laplante, "Real-Time Control System to Control Aircraft Propeller Pitch," Journal of Aerospace Computing, Information, and Communication, vol. 1, April 2004, pp.198-212.