Model-based verification allows to express behavioral correctness conditions like the validity of execution states, boundaries of variables or timing at a high level of abstraction and affirm that they are satisfied by a software system. However, this requires expressive models which are difficult and cumbersome to create and maintain by hand. This paper presents a framework that automatically ...

With the emerging concept of model transformation, information can be extracted from one or more source models to produce the target models. The conversion of these models can be done automatically with specific transformation languages. This conversion requires mapping between both models with the help of dynamic hash tables. Hash tables store reference links between the elements of the source...

Model-driven development is an emerging area in software development that provides a way to express system requirements and architecture at a high level of abstraction through models. It involves using these models as the primary artifacts during the development process. One aspect that is holding back MDD from more wide-spread adoption is the lack of a well established and easy way of performi...

Software development for Cyber-Physical Systems (CPS) is a sophisticated activity as these systems are inherently complex. The engineering of CPS requires composition and interaction of diverse distributed software modules. Describing both, a system’s architecture and behavior in integrated models, yields many advantages to cope with this complexity: the models are platform independent, can be ...

INTRODUCTION Electromagnetic fields (EMF) have adverse effects as a result of widespread use of electromagnetic energy on biological systems. The aim of this study was to investigate the effects of prenatal exposure to EMF on rat myocardium by biochemical and histopathological evaluations. MATERIAL AND METHODS In this study, 10 pregnant Wistar rats were used. Half of the pregnant rats were ex...

The effects of electromagnetic fields (EMFs) emitted by mobile phones on humans hold special interest due to their use in close proximity to the brain. The current study investigated the number of pyramidal cells in the cornu ammonis (CA) of the 16-week-old female rat hippocampus following postnatal exposure to a 900 megahertz (MHz) EMF. In this study were three groups of 6 rats: control (Cont)...

BACKGROUND The amount of exposure to electromagnetic fields (EMF) at work is mainly determined by an individual's occupation and may differ from exposure at home. It is, however, unknown how different occupational groups perceive possible adverse health effects of EMF. METHODS Three occupational groups, the general Dutch working population (n = 567), airport security officers who work with me...

Electromagnetic field (EMF) exposures affect many biological systems. The reproducibility of these effects is related to the intensity, duration, frequency, and pattern of the EMF. We have shown that exposure to a specific time-varying EMF can inhibit the growth of malignant cells. Thomas-EMF is a low-intensity, frequency-modulated (25-6 Hz) EMF pattern. Daily, 1 h, exposures to Thomas-EMF inhi...

BACKGROUND Studies of the effects of electromagnetic fields (EMFs) on cartilaginous cells show a broad range of outcomes. However EMFs are not yet clinically applied as standard treatment of osteoarthritis, as EMF effects are showing varying outcomes in the literature. The aim of this study was to examine effects of EMFs (5 mT or 8 mT) on osteoarthritic (OA) and non-OA chondrocytes in order to ...

Our aim is to explore general practitioners' (GPs’) knowledge about EMF, and to assess whether different knowledge structures are related to the GPs’ concern about EMF. Random samples were drawn from lists of GPs in Germany in 2008. Knowledge about EMF was assessed by seven items. A latent class analysis was conducted to identify latent structures in GPs’ knowledge. Further, the GPs’ concern ab...