Lean software for the lean aircraft

This paper suggests that relatively familiar software concepts and tools can be transformed to the "lean paradigm" when they are conducted within the modern industrial paradigm. Practical examples and experiences are given from a large-scale commercial and deliverable program, the Lockheed Martin Aeronautical Systems (LMAS) C-130J airlifter. It has been shown that the lean paradigm enables the MC OFP's software organization to produce a safe and superior product at low cost and risk, and thereby fully support the business goals of the C-130J program, the company, and the corporation.

[1]  James R. Hamilton,et al.  Product-line reuse for Ada systems , 1995, TRI-Ada '95.

[2]  L. Finneran,et al.  Experience applying the CoRE method to the Lockheed C-130J software requirements , 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.

[3]  Rubén Prieto-Díaz.  Implementing faceted classification for software reuse , 1991, CACM.

[4]  J. S. Williamson,et al.  Automatic programming technologies for avionics software (APTAS) , 1990, 9th IEEE/AIAA/NASA Conference on Digital Avionics Systems.

[5]  Mehdi T. Harandi,et al.  A logical framework for software proof reuse , 1995, SSR '95.

[6]  Constance L. Heitmeyer,et al.  SCR: a toolset for specifying and analyzing requirements , 1995, COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'.

[7]  Marc H. Graham,et al.  The Domain-Specific Software Architecture Program , 1992 .

[8]  Daniel T. Jones,et al.  The machine that changed the world : based on the Massachusetts Institute of Technology 5-million dollar 5-year study on the future of the automobile , 1990 .

[9]  Bernard Carré,et al.  SPARK—an annotated Ada subset for safety-critical programming , 1990, TRI-Ada '90.

[10]  J.M. Sutton,et al.  Achieving high integrity at low cost: a constructive approach , 1997, Microprocess. Microsystems.