EHSTM: a formal model of embedded software and research on several key issues

CCF Transactions on High Performance Computing ◽

10.1007/s42514-021-00082-9 ◽

2021 ◽

Author(s):

Watanabe Masahiko ◽

Kuanjiu Zhou ◽

Yicong Li ◽

Zizhong Wang ◽

Junyu Li

Keyword(s):

Formal Model ◽

Embedded Software ◽

Key Issues

Download Full-text

A Formal Model for Component-Based Embedded Software Development

2009 International Conference on Embedded Software and Systems ◽

10.1109/icess.2009.51 ◽

2009 ◽

Cited By ~ 3

Author(s):

Changde Li ◽

Xingshe Zhou ◽

Yunwei Dong ◽

Zhiwen Yu

Keyword(s):

Software Development ◽

Formal Model ◽

Embedded Software

Download Full-text

Probing vacancies and structural distortions at individual defects in ceramics using EELS

Proceedings, annual meeting, Electron Microscopy Society of America ◽

10.1017/s0424820100165859 ◽

1996 ◽

Vol 54 ◽

pp. 678-679

Author(s):

D. J. Wallis ◽

N. D. Browning

Keyword(s):

Structural Information ◽

Core Loss ◽

Nearest Neighbors ◽

Ceramic Materials ◽

Scanning Transmission Electron Microscope ◽

Real Space ◽

Atomic Scale ◽

Structure Property ◽

Scanning Transmission ◽

Key Issues

In electron energy loss spectroscopy (EELS), the near-edge region of a core-loss edge contains information on high-order atomic correlations. These correlations give details of the 3-D atomic structure which can be elucidated using multiple-scattering (MS) theory. MS calculations use real space clusters making them ideal for use in low-symmetry systems such as defects and interfaces. When coupled with the atomic spatial resolution capabilities of the scanning transmission electron microscope (STEM), there therefore exists the ability to obtain 3-D structural information from individual atomic scale structures. For ceramic materials where the structure-property relationships are dominated by defects and interfaces, this methodology can provide unique information on key issues such as like-ion repulsion and the presence of vacancies, impurities and structural distortion.An example of the use of MS-theory is shown in fig 1, where an experimental oxygen K-edge from SrTiO3 is compared to full MS-calculations for successive shells (a shell consists of neighboring atoms, so that 1 shell includes only nearest neighbors, 2 shells includes first and second-nearest neighbors, and so on).

Download Full-text