Hardware/Software System Design Based on the MCSE Methodology

This chapter describes the hardware/software CoDesign process as an integrated part of the MCSE methodology. CoDesign is an activity related to the third MCSE development step whose objective is to express the implementation specification of the hardware and software parts of systems. More specifically, the objective includes the definition of the required hardware architecture and the organization of the software on each microprocessor component; this needs hardware/software partitioning and allocation of functions onto hardware components. As solutions for electronic and computer-based systems require hardware and software components, one may think that the overall solution systematically results from following Hw/Sw CoDesign process. In fact, considering entire systems, their software part is increasing. This is why a system-level design process in front of CoDesign is helpful to determine the specific subparts of the system to be developed for which Hw/Sw partitioning is not obvious and not imposed. The MCSE methodology and specifically its third step leads to an answer for this issue rarely raised in today’s CoDesign methods.

[1]  Jianwen Zhu,et al.  Specification and Design of Embedded Systems , 1998, Informationstechnik Tech. Inform..

[2]  Giovanni De Micheli,et al.  Hardware-software cosynthesis for digital systems , 1993, IEEE Design & Test of Computers.

[3]  Jean Paul Calvez,et al.  A CoDesign case study with the MCSE methodology , 1996, Des. Autom. Embed. Syst..

[4]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[5]  Wayne Wolf,et al.  Hardware-software co-design of embedded systems , 1994, Proc. IEEE.

[6]  Herman Schmit,et al.  A Model and Methodology for Hardware-Software Codesign , 1993, IEEE Des. Test Comput..

[7]  Luciano Lavagno,et al.  Hardware-software codesign of embedded systems , 1994, IEEE Micro.

[8]  Jean Paul Calvez,et al.  A System Specification Model and Method , 1996 .

[9]  Ulrich Furbach,et al.  Formal specification methods for reactive systems , 1993, J. Syst. Softw..

[10]  J. P. Calvez,et al.  A CoDesign experience with the MCSE methodology , 1994, Third International Workshop on Hardware/Software Codesign.

[11]  Frank Vahid,et al.  SpecCharts: a VHDL front-end for embedded systems , 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[12]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .

[13]  Derek J. Hatley,et al.  Strategies for Real-Time System Specification , 1987 .

[14]  Andy Wellings,et al.  Embedded Real-Time Systems: a Specification and Design Methodology , 1994 .