Auto-coding/auto-proving flight control software

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 2, Issue , 2004, Pages

  Tudor, Nick ^a   Adams, Mark ^a   Clayton, Phil ^a   O'Halloran, Colin ^a  

^a QINETIQ   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; COSTS; ENCODING (SYMBOLS); FIGHTER AIRCRAFT; FLIGHT DYNAMICS; INVESTMENTS; LIFE CYCLE;

AUTOMATIC CODE GENERATION; CERTIFICATION; FLIGHT STABILITY; SIMULINK;

SOFTWARE ENGINEERING;

EID: 16244401421     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. Clark, G. D., Caseley, P. R., Powell, A. L., Murdoch, J. (2003). Measurement of Safety Processes. Incose 2003, Washington USA.
2. Caseley, P. R. (2003). Safety Process Measurement. MSc. Dissertation, ComputerScience. University of York.
3. Fernström, C., K. H. Narfelt, et al. (1992). "Software Factory Principles, Architecture, and Experiments." IEEE Software(March): 36-44. IEE/BCS (1999). Safety, Competency and commitment, competency guidelines for Safety related systems practitioners., IEE.
4. Fernström, C., K. H. Narfelt, et al. (1992). "Software Factory Principles, Architecture, and Experiments." IEEE Software(March): 36-44. IEE/BCS (1999). Safety, Competency and commitment, competency guidelines for Safety related systems practitioners., IEE.
5. Jackson, D. F. and T. G. Greenwood (1992). "An Activity-Based Cost Management-System." Computers & Industrial Engineering 23(1-4): 413-416.
6. C. O'Halloran, A. Smith. "Verifying Picture Generated Code", Proceedings IEEE conference on Automated Software Engineering, 1999.
7. Barnes, J. (2003). High Integrity Software The Spark Approach to Safety and Security. London, Addison-Wesley.
8. Arthan, R., Caseley, P., O'Halloran, C., Smith, A. (2000). ClawZ: Control laws in Z. IEEE ICFEM
9. Clark, G. D. and A. L. Powell (1999). Experiences with Sharing a Common Measurement Philosophy. International Conference on Systems Engineering (INCOSE'99), Brighton, UK.
10. Clark, G. D. and Caseley, P. R. "Measures from an experiment comparing automated and conventional software development processes for flight control laws", SPEL/TN/06/01,version 1.0, issue 1.0, 11 Jul 2003.
11. Tudor, N. J. (2000). A Toolset for Automatic Generation and Formal Verification of Flight Control Software. Computer Science. York, University of York.
12. Clark, G. D. (2000). The Use of Structured Language for Project Management (PhD Submission). Department of Management Studies. York, University of York.
13. Johnson, J. F. E., Luise, F., Loeullet, J-L., Inderst, M., Nilsson, B., Candy, L., Harris, D. (1999). The Future Systems Engineering Data Exchange Standard AP 233; Sharing the results of the SEDRES Project. Proceedings of the 9th International Symposium of INCOSE, Brighton.
14. Powell, A. L., K. C. Mander, et al. (1999). "Strategies for Lifecycle Concurrency and Iteration - A System Dynamics Approach." The Journal of Systems & Software 46(2-3): 151-161.
15. PSM (2000). Practical Software and System Measurement, A foundation for Objective Project Management, PSM,.
16. CMMI Team, C. D. (2000). Capability Maturity Model Integrated System/Software Engineering (Vrs. 1), Software Engineering Institute, Carnegie-Mellon University.
17. Waeselynck, H. and D. Pfahl (1994). "System Dynamics Applied to the Modelling of Software Projects." Software -Concepts and Tools 15: 162-176.