Due to tremendous increase in population, many people living in villages are now migrating to the cities. It is predicted that very soon most of the human civilization will be concentrated in the cities. This increased population will consume more energy and need more space to live. Finally, they will leave behind a more prominent environmental footprint as the cities grow to metropolises. This...

− Air pollution is a major environmental risk to health causing premature deaths worldwide. In these conditions, the development of reliable and accurate mobile systems that measure the indoor air quality together with other parameters associated with health status of the people working or living in specified spaces represents an important challenge. The paper presents the design and implementa...

Accurate identification of spindle health in real-time is an important feature of next generation smart machining systems that are capable of self-diagnosis. This paper presents a software design for an automated spindle health monitoring system based on open systems architecture. An analytic waveletbased envelope spectrum algorithm is proposed and coded in software for effective and efficient ...

The fourth industrial revolution, often termed as Industry 4.0 or Smart Manufacturing, is influencing all aspects of business management. Application for quality management purpose Quality 4.0. Lean Six Sigma (LSS) implementation process also getting influenced by Use in 4.0/Quality can create differentiation performance, and will improve competitiveness organizations, besides making them futur...

Usually, testing smart card software is carried-out by specialized engineers in a proprietary language. Testing represents generally half of smart card development effort. With the increasing use of semi-formal and formal modeling languages, such as UML, and the emergence of automatic test generators in the industry, we have studied a way to adapt these techniques for smart card. In this articl...

Remote attestation is the process of securely verifying internal state of a remote hardware platform. It can be achieved either statically (at boot time) or dynamically, at run-time in order to establish a dynamic root of trust. The latter allows full isolation of a code region from preexisting software (including the operating system) and guarantees untampered execution of this code. Despite t...

Remote attestation is the process of securely verifying internal state of a remote hardware platform. It can be achieved either statically (at boot time) or dynamically, at run-time in order to establish a dynamic root of trust. The latter allows full isolation of a code region from preexisting software (including the operating system) and guarantees untampered execution of this code. Despite t...

The project envisages the implementation of an e-payment system utilizing FIPS-201 Smart Card. The system combines hardware and software modules. The hardware module takes data insertions (e.g. currency notes), processes the data and then creates connection with the smart card using serial/USB ports to perform further mathematical manipulations. The hardware interacts with servers at the back f...

This Thematic Issue focuses on software engineering perspectives on the design, the use and the evaluation of Smart Applications for Ambient Intelligence. It congregates works showing the latest advancements in simulated smart environments as well as successful deployments in the real world, with contributions from revised and extended papers from the ISAmI’11 (International Symposium on Ambien...