A field study of the software design process for large systems
Communications of the ACM
The X-Kernel: An Architecture for Implementing Network Protocols
IEEE Transactions on Software Engineering
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Reengineering a complex application using a scalable data structure compiler
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Architectural mismatch or why it's hard to build systems out of existing parts
Proceedings of the 17th international conference on Software engineering
Software components in a data structure precompiler
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Concepts for a database system compiler
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Starburst Mid-Flight: As the Dust Clears
IEEE Transactions on Knowledge and Data Engineering
A procedure for designing abstract interfaces for device interface modules
ICSE '81 Proceedings of the 5th international conference on Software engineering
Validating Component Compositions in Software System Generators
Validating Component Compositions in Software System Generators
Software design: the options approach
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Using formal methods to reason about architectural standards
ICSE '97 Proceedings of the 19th international conference on Software engineering
Product-line architectures, aspects, and reuse (tutorial session)
Proceedings of the 22nd international conference on Software engineering
Violatility analysis framework for product lines
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Achieving extensibility through product-lines and domain-specific languages: a case study
ACM Transactions on Software Engineering and Methodology (TOSEM)
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
Using Patterns to Model Variability in Product Families
IEEE Software
Architecture-driven verification of concurrent systems
Nordic Journal of Computing
Feature Interaction and Dependencies: Modeling Features for Reengineering a Legacy Product Line
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Feature-Oriented Engineering of PBX Software
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Domain Analysis for GenVoca Generators
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
When to use features and aspects?: a case study
Proceedings of the 5th international conference on Generative programming and component engineering
DiSTiL: a transformation library for data structures
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Tailor-made data management for embedded systems: A case study on Berkeley DB
Data & Knowledge Engineering
Software frameworks and embedded control systems
Software frameworks and embedded control systems
Using step-wise refinement to build a flexible lightweight storage manager
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
FeatureC++: on the symbiosis of feature-oriented and aspect-oriented programming
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Hi-index | 0.02 |
ADAGE is a project to define and build a domain-specific software architecture (DSSA) environment for assisting the development of avionics software. A central concept of DSSA is the use of software system generators to implement component-based models of software synthesis in the target domain [SEI90].In this paper, we present the ADAGE component-based model (or reference architecture) for avionics software synthesis. We explain the modeling procedures used, review our initial goals, show how component reuse is achieved, and examine what we were (and were not) able to accomplish. The contributions of our paper are the avionics reference architecture and the lessons that we learned; both may be beneficial to others in future modeling efforts.