The MCSE Approach for System-Level Design
This paper presents the MCSE approach for the specification and design of embedded systems. The first motivation is to demonstrate its usefulness on the case study selected for the technical panel on the comparison of four languages for system level specifications at DATE 99. The MCSE solution for the crane control system is given first with the simulation results we have obtained. The second motivation is to stimulate more discussions on what engineers really need for system design. The term “language” can be understood as the interface between designers and tools or can be considered as a computational means inside tools. We show that we are in favor of a well-formalized notation directly usable and understandable by engineers able to describe solutions for verification first, then for performance studies and finally for product generation and/or synthesis. We also raise the ambiguity that exists on the possible levels of description when we use the term system-level specification and design.
KeywordsExecution Time Embed System Functional Model Computer Language Crane System
Unable to display preview. Download preview PDF.
- 1.Calvez JP, Embedded Real-Time Systems. A Specification and Design Methodology. John Wiley 1993Google Scholar
- 2.Calvez JP, `A System-Level Performance Model and Method’, in Current Issues In Electronic Modeling, Volume 6: Meta-Modeling: Performance and Information modeling, J.M. Berge, O. Levia, J. Rouillard (eds), Kluwer Academic Publishers, 1996, pp 57–102Google Scholar
- 3.Calvez JP, Heller D, Muller F, Pasquier O. ‘A programmable multi-language generator for CoDesign’, DATE’98, Paris, France, 23–26 Feb 1998Google Scholar
- 4.Foucault B, Calvez JP, Lobao X, Olcoz S, Villar E. `COMES: CoDesign Methodology foe Embedded Systems’, EMMSEC’99, Stockholm, Sweeden, June 1999Google Scholar
- 5.Moser E, Nebel W. `Case study: system model of crane and embedded control’, DATE’99, Munich, Germany, 9–12 March 1999Google Scholar
- 6.Nebel W, Gorla G. ` Java, VHDL-AMS, ADA or C for System-Level Specifications?’, DATE’99, Munich, Germany, 9–12 March 1999Google Scholar
- 7.Pasquier O, Calvez JP. `An object-based executable model for simulation of real-time Hw/Sw systems’, DATE’99, Munich, Germany, 9–12 March 1999Google Scholar
- 8.Schulz SE, `The new System-Level design Language’, Integrated System Design, July 1998Google Scholar
- 10.SLDL web site: http://www.inmet.com/SLDL