The operating system of a smart card is a safety critical system. Distributed in millions, smart cards with their small 8-bit CPU support applications where transferred values are only protected by the strength of a cryptographic protocol. This strength goes no further than the implementation of the software in the card and terminal allows. Because of its complexity, to guarantee absolute relia...

This paper presents smart cards and their operating systems. First smart cards categories, evolution, their hardware, their software and general operating systems are discussed. Then main open operating systems that have bigger market exposure such as java card, MULTOS, windows card are described in successive chapters.

Developing agent-oriented systems is still a difficult task. However, a component-based approach can help by supporting both modular modification of existing systems and construction of new systems from existing parts. In this paper we develop a foundation (conceptual model) for a component-based agent development framework by extending the concepts of the SMART framework. We apply our definiti...

Smart grid security has many facets, ranging over a spectrum from resisting attacks aimed at supervisory and control systems, to end user privacy concerns while monitored by the utility enterprise. This multi-faceted problem also includes vulnerabilities that arise from deployment of local cyber-physical attacks at a smart metering location, with a potential to a) manipulate the measured energy...

An appcessory (app + accessory) is a smart phone accessory that is combined with a specially written app to perform a useful function. An example is a toy helicopter controlled by a smart phone app: the full value proposition involves both new hardware outside the phone and new software running inside the phone. Like the smart phone itself and like a PC, the appcessory hardware is a platform: i...

This paper briefs on the smart meter functionality requirements and discusses the challenges it poses to the energy meter design and proposes methods to achieve an architecture which is scalable and modular. Also, the paper discusses the key care about for choosing a Real time operating system for smart meter application and silicon SOC architecture required for implementing the software.

In this paper, we describe the use of genetic algorithms in composing original music in an evolutionary fashion. We also discuss plans to use the music in smart houses and in music therapy. The music is evolved starting with any given subset of the twelve musical notes. The compositions grow in duration with every generation. In the current version of the software, the fitness of any generation...

Smart card Web server provides a modern interface between smart cards and the external world. It is of paramount importance that this new software component does not jeopardize the security of the smart card. This paper presents a formal model of the smart card Web server specification and the proof of its security properties. The formalization enables a thoughtful analysis of the specification...

Network smart cards are smart cards with networking capabilities. They have opened new opportunities for the use of smart cards in Internet applications. At the same time, network smart cards are exposed to network security threats just as other computers on the Internet. Unfortunately, existing designs of network security mechanisms, such as packet filtering, may not be best suited for smart c...

This paper discusses a contribution to software and system engineering for smart grids, which comprises multi-agent application domain modeling and delegate multi-agent systems. In this contribution, domain models are software components – agents offering executable services – that become part of the multiagent software as it will be deployed. These domain models crystalize relevant power engin...