Invited application paper: a proposal for the specialization of HA/DRE systems

ABSTRACT

Working with High Assurance (HA) and Distributed, Real-time Embedded (DRE) applications, we have found numerous opportunities for software specialization. The problem has been that partial evaluation (PE) alone is insufficient to carry out all the useful forms of specialization that we envision. The contribution of this paper is to lay out a vision for the types of tool support, methods, specialization models, and specialization patterns that are needed to address these types of applications. Our goal is to start a conversation with researchers in this area in order to further develop this approach and help realize this vision.

REFERENCES

• 1: C. Cowan , A. Black , C. Krasic , C. Pu , J. Walpole , C. Consel , E.-N. Volanschi, Specialization classes: an object framework for specialization, Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96), p.72, October 27-28, 1996
• 2: Daugherty, G., Program Composition for Embedded Systems (PCES) Specialization Patterns, version 0.4i, Rockwell Collins Advanced Technology Center, June, 2004.
• 3: Daugherty, G., CORBA Specialization Model, version 0.4i, Rockwell Collins Advanced Technology Center, June, 2004.
• 4: Refactoring: improving the design of existing code, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
• 5: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 6: John Hatcliff , Xinghua Deng , Matthew B. Dwyer , Georg Jung , Venkatesh Prasad Ranganath, Cadena: an integrated development, analysis, and verification environment for component-based systems, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
• 7: Iowa State University and Rockwell Collins, Software Enabled Controls (SEC) web site, http://dirace.ee.iastate.edu/sec/index.htm
• 8: Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993
• 9: Joint Tactical Radio System (JTRS) Software Communications Architecture (SCA) web site, http://jtrs.army.mil/sections/programinfo/fset_programinfo. html?programinfo_contracts
• 10: Gregor Kiczales et al. Aspect-Oriented Programming, In Proceedings of the European Conference on Object-Oriented Programming (ECOOP), June 1997.
• 11: Anne-Françoise Le Meur, Julia L. Lawall, and Charles Consel. Towards Bridging the Gap Between Programming Languages and Partial Evaluation, In Proceedings of PEPM '02, January 14-15, Portland, Oregon, USA.
• 12: Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
• 13: Gilles Muller , Eugen-Nicolae Volanschi , Renaud Marlet, Scaling up partial evaluation for optimizing the Sun commercial RPC protocol, Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.116-126, June 12-13, 1997, Amsterdam, The Netherlands
• 14: William F. Opdyke, Refactoring object-oriented frameworks, University of Illinois at Urbana-Champaign, Champaign, IL, 1992
• 15: University of California at Irvine, Zen project web site, http://zen.ece.uci.edu/zen/
• 16: U.P. Schultz, J. Lawall, and C. Consel . Specialization Patterns, INRIA Research Report 3853, January 2000.
• 17: Eugen N. Volanschi , Charles Counsel , Gilles Muller , Crispin Cowan, Declarative specialization of object-oriented programs, Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.286-300, October 05-09, 1997, Atlanta, Georgia, United States

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.2 Automatic Programming

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
            Subjects: Domain-specific architectures; Patterns (e.g., client/server, pipeline, blackboard)
      D.2.2 Design Tools and Techniques
          Subjects: Computer-aided software engineering (CASE); State diagrams

General Terms:
Design, Performance, Standardization

Keywords:
aspect, fast path, optimization, partial evaluation, pattern, refactoring, specialization model, specialization state