Generalized theoretical analysis method for free-edge delaminations in composite laminates

A simplified method for determining the individual mode components of the strain energy release rate of free-edge delaminations in composite laminates is proposed. Interlaminar stresses are evaluated as an interface moment and interface shear forces obtained from equilibrium equations of stress resultants at the interface between the adjacent layers. The deformation of edge-delaminated laminate is calculated by using a generalized quasi-three dimensional classical laminated plate theory developed by the authors. The analysis provides closed-form expressions for the Mode-I, Mode-II and Mode-III component of the strain energy release rate by combining the deformation of the edge-delaminated laminate with the interface moment and the interface shear forces. The presented method is compared with existing method suggested by Li for the asymmetry laminate. Comparison of the results with a finite element analysis using the virtual crack closure technique shows good agreement.     

Developing platform specific model for MPSoC architecture from UML-based embedded software models

In this paper, we describe a technique to design UML-based software models for MPSoC architecture, which focuses on the development of the platform specific model of embedded software. To develop the platform specific model, we define a process for the design of UML-based software model and suggest an algorithm with precise actions to map the model to MPSoC architecture. In order to support our design process, we implemented our approach in an integrated tool. Using the tool, we applied our design technique to a target system. We believe that our technique provides several benefits such as improving parallelism of tasks and fast-and-valid mapping of software models to hardware architecture.     

An approach to identifying causes of implied scenarios using unenforceable orders

Context

The implied scenarios are unexpected behaviors in the scenario specifications. Detecting and handling them is essential for the correctness of the scenario specifications. To handle such implied scenarios, identifying the causes of implied scenarios is also essential. Most recent researches focus on detecting those implied scenarios, themselves or limited causes of implied scenarios.

Objective

The purpose of this research is to provide an approach to detecting the causes of implied scenarios.

Method

The scenario specification is a set of events and a set of relative orders between the events, and enforces them for its implementation. Among the orders, a set of orders that cannot be inherently enforced is the unenforceable orders. Obviously, existence of unenforceable orders leads the implied scenarios. To obtain the unenforceable orders, we first provide a method to represent each of the specification and its implementation as a set of orders between events, called the causal order graph. Then, the differences between them are the unenforceable orders.

Results

Because the unenforceable orders consist of events and their order relation that are specified in the scenario specification, they can point out which part of the scenario specification should be considered to handle the implied scenarios. In addition, our approach supports the synchronous, asynchronous, and FIFO communication styles without the state explosion or heavy computational overhead. To validate our approach, we provide two case studies.

Conclusions

This approach helps a designer to effectively correct the scenario specification by identifying where to be fixed, especially in large cases and under the various communication styles.