Extending Gajski’s SER Methodology

Abstract

Two types of analysis have revealed how CASE SDMs fall short. First, implicit model of computation evaluation has shown this. Second, explicit quantification via the Sarkar basis has also shown this, and with specificity. Sarkar’s basis allows us to evaluate the CASE SDMs, but primarily from a software perspective. This chapter describes a methodology from the real-time embedded digital system design domain by Gajski et al., which provides a very useful foundation on which to build a new SDM to overcome the shortcomings identified. This SDM is of great interest because its design objects and non-performance constraints have strong parallels with those in our ADoI. Gajski’s ADoI is real-time controllers implemented with single-board uniprocessor-based systems, which will require us to extend and adapt certain key aspects of their methodology in developing our own MAGIC SDM in the next chapter.