Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Rapid Prototyping of Application-SpecificSignal Processors (RASSP) In-Progress Report
Journal of VLSI Signal Processing Systems - Special issue on the rapid prototyping of application specific signal processors (RASSP) program
RASSP Methodology Evaluation and Lessons Learned Developing IRST Signal Processor
Journal of VLSI Signal Processing Systems - Special issue on the rapid prototyping of application specific signal processors (RASSP) program
UML toolkit
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Integrating architecture description languages with a standard design method
Proceedings of the 20th international conference on Software engineering
CASES '00 Proceedings of the 2000 international conference on Compilers, architecture, and synthesis for embedded systems
Software Engineering: A Practitioner's Approach
Software Engineering: A Practitioner's Approach
Mastering XMI: Java Programming with XMI, XML and UML
Mastering XMI: Java Programming with XMI, XML and UML
Making Components Contract Aware
Computer
What's Ahead for Embedded Software?
Computer
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
SoftDock: A Distributed Collaborative Platform for Model-Based Software Development
DEXA '99 Proceedings of the 10th International Workshop on Database & Expert Systems Applications
Composing Specifications in VSPEC
ICFEM '00 Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods
Extending UML for modeling reflective software components
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Specification and Design Methodology for Real-Time Embedded Systems
Specification and Design Methodology for Real-Time Embedded Systems
Hi-index | 0.01 |
The complexity of hardware/software codesign of embedded real-time signal processing systems can be reduced by rapid system prototyping (RSP). However, existing RSP frameworks do not provide a sound specification and design methodology (SDM) because they require the designer to choose the implementation target before specification and design exploration and they do not work together coherently across development stages. This paper presents a new SDM, called MAGIC, that allows the designer to capture an executable specification model for use in design exploration to find the optimal multiprocessor technology before committing to that technology. MAGIC uses a technique called 驴virtual benchmarking,驴 for early validation of promising architectures. The MAGIC SDM also exploits emerging open-standards computation and communication middleware to establish model continuity between RSP frameworks. This methodology has been validated through the specification and design of a moderately complex system representative of the signal processing domain: the RASSP Synthetic Aperture Radar benchmark. In this case study, MAGIC achieves three orders of magnitude speedup over existing virtual prototyping approaches and demonstrates the ability to evaluate competitive technologies prior to implementation. Transfer of this methodology to the system-on-a-chip domain using Cadence's Virtual Component Codesign infrastructure is also discussed with promising results.