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

Authors:
Gary Daugherty
Affiliations:
Rockwell Collins, Cedar Rapids, Iowa
Venue:
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Year:
2004

Citing 9
Cited 3

Partial evaluation and automatic program generation

Partial evaluation and automatic program generation
Refactoring object-oriented frameworks

Refactoring object-oriented frameworks
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Scaling up partial evaluation for optimizing the Sun commercial RPC protocol

PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Declarative specialization of object-oriented programs

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Refactoring: improving the design of existing code

Refactoring: improving the design of existing code
Cadena: an integrated development, analysis, and verification environment for component-based systems

Proceedings of the 25th International Conference on Software Engineering
Specialization classes: an object framework for specialization

IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)

Enhancing distributed object middleware qualities

OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Context-specific middleware specialization techniques for optimizing software product-line architectures

Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
Towards highly optimized real-time middleware for software product-line architectures

ACM SIGBED Review - Special issue: The work-in-progress (WIP) session of the RTSS 2005

Quantified Score

Hi-index	0.01

Visualization

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.