The Object Management Group's (OMG) Model Driven Architecture (MDA) strategy envisages a world where models play a more direct role in software production, being amenable to manipulation and transformation by machine. Model Driven Engineering (MDE) is wider in scope than MDA. MDE combines process and analysis with architecture. This article sets out a framework for model driven engineering, which can be used as a point of reference for activity in this area. It proposes an organisation of the modelling 'space' and how to locate models in that space. It discusses different kinds of mappings between models. It explains why process and architecture are tightly connected. It discusses the importance and nature of tools. It identifies the need for defining families of languages and transformations, and for developing techniques for generating/configuring tools from such definitions. It concludes with a call to align metamodelling with formal language engineering techniques.

Model Driven Engineering

International Technology Roadmap for Semiconductors 2003の要求清浄度について － シリコンウエハ表面と雰囲気環境に要求される清浄度, 分析方法の現状について －

[서평]「Component Software」 - Beyond Object-Oriented Programming -

1. Introduction.- 2. Tree Form and Stem Taper.- 3. Tree-stem Volume Equations.- 4. Tree Weight and Biomass Estimation.- 5. Quantifying Tree Crowns.- 6. Growth Functions.- 7. Evaluating Site Quality.- 8. Quantifying Stand Density.- 9. Indices of Individual-tree Competition.- 10. Modeling Forest Stand Development.- 11. Whole-stand Models for Even-aged Stands.- 12. Diameter-distribution Models for Even-aged Stands.- 13. Size-class Models for Even-aged Stands.- 14. Individual-tree Models for Even-aged Stands.- 15. Growth and Yield Models for Uneven-aged Stands.- 16. Modeling Response to Silvicultural Treatments.- 17. Modeling Wood Characteristics.- 18. Model Implementation and Evaluation.-

Modeling Forest Trees and Stands

Until the late eighties, information processing was associated with large mainframe computers and huge tape drives. During the nineties, this trend shifted towards information processing with personal computers, or PCs. The trend towards miniaturization continues. In the future, most of the information processing systems will be quite small and embedded into larger products such as transportation and fabrication equipment. Hence, these kinds of systems are called embedded systems. It is expected that the total market volume of embedded systems will be significantly larger than that of traditional information processing systems such as PCs and mainframes. Embedded systems share a number of common characteristics. For example, they must be dependable, efficient, meet real-time constraints and require customized user interfaces (instead of generic keyboard and mouse interfaces). Therefore, it makes sense to consider common principles of embedded system design. Embedded System Design starts with an introduction into the area and a survey of specification languages for embedded systems.A brief overview is provided of hardware devices used for embedded systems and also presents the essentials of software design for embedded systems. Real-time operating systems and real-time scheduling are covered briefly.Techniques for implementing embedded systems are also discussed, using hardware/software codesign. It closes with a survey on validation techniques. Embedded System Designcan be used as a text book for courses on embedded systems and as a source which provides pointers to relevant material in the area for PhD students and teachers. The book assumes a basic knowledge of information processing hardware and software.

Embedded System Design

The embedded software design cost represents an important percentage of the embedded-system development costs. This paper presents a method for systematic embedded software generation that reduces the software generation cost in a platform-based HW/SW codesign methodology for embedded systems based on SystemC. The goal is that the same SystemC code allows system-level specification and verification, and, after SW/HW partitioning, SW/HW co-simulation and embedded software generation. The C++ code for the SW partition (processes and process communication, including HW/SW interfaces) is systematically generated, including the user-selected embedded OS (e.g.: the eCos open source OS).

/pdf/systematic-embedded-software-generation-from-systemc-2knrqgdmjz.pdf

Systematic embedded software generation from SystemC

SystemC is committed to support the requirements for an integrated, HW/SW co-design flow, thus allowing the development of complex, multiprocessing, Systems-on Chip (MpSoC). To make this possible, efficient modeling and simulation methodologies for Real-Time, Embedded (RT/E) SW in SystemC have to be developed, so that the designer can verify and refine the application SW together with the rest of the elements of the platform. Accurate modeling of the application SW requires an accurate model of the RTOS. Nevertheless, low-level, dynamic timing characteristics of the RTOS such as time-slicing, priority-based preemptive scheduling, interrupts and exceptions do not have a direct implementation in SystemC.

In this paper, techniques are proposed to accurately model the detailed RTOS functionality on top of the SystemC execution kernel. The model allows timed-simulation and refinement of the RT/E SW code in SystemC. The simulation technology has been applied to the development of a high-level, POSIX simulation library in SystemC. The library allows the designer a fast, sufficiently accurate, timed simulation of the application SW running on top of POSIX. As most current RTOSs support this standard, the library is portable to different development frameworks. The library provides the required infrastructure for a complete, multiprocessing, HW/SW co-simulation environment at different abstraction levels using SystemC.

RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model

Technology trends enable the integration of many processor cores in a System-on-Chip (SoC). In these complex architectures, several architectural parameters can be tuned to find the best trade-off in terms of multiple metrics such as energy and delay. The main goal of the MULTICUBE project consists of the definition of an automatic Design Space Exploration framework to support the design of next generation many-core architectures.

/pdf/multicube-multi-objective-design-space-exploration-of-multi-543insk9d4.pdf

MULTICUBE: Multi-objective Design Space Exploration of Multi-core Architectures

The COMPLEX methodology for UML/MARTE Modeling and design space exploration of embedded systems

As both the ITRS and the Medea+ DA Roadmaps have highlighted, early performance estimation is an essential step in any SoC design methodology based on International Technology Roadmap for Semiconductors (2001) and The MEDEA+ Design Automation Roadmap (2002). This paper presents a C++ library for timing estimation at system level. The library is based on a general and systematic methodology that takes as input the original SystemC source code without any modification and provides the estimation parameters by simply including the library within a usual simulation. As a consequence, the same models of computation used during system design are preserved and all simulation conditions are maintained. The method exploits the advantages of dynamic analysis, that is, easy management of unpredictable data-dependent conditions and computational efficiency compared with other alternatives (ISS or RT simulation, without the need for SW generation and compilation and HW synthesis). Results obtained on several examples show the accuracy of the method. In addition to the fundamental parameters needed for system-level design exploration, the proposed methodology allows the designer to include capture points at any place in the code. The user can process the corresponding captured events for unrestricted timing constraint verification.

Hector Posadas

Papers

Systematic embedded software generation from SystemC

RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model

MULTICUBE: Multi-objective Design Space Exploration of Multi-core Architectures

The COMPLEX methodology for UML/MARTE Modeling and design space exploration of embedded systems

System-level performance analysis in SystemC