Im Rahmen des Ziel2.NRW Projekts SMART EM 1 entwickeln mehrere Projektpartner, u.a. s-lab – Software Quality Lab der Universitat Paderborn, Orga Systems und Morpho Cards, einen Prototyp fur eine IKT-Infrastruktur fur Elektromobilitat (EM). Dabei entwickeln die beteiligten Partner verteilte Teilsysteme dieser Infrastruktur, die jeweils auf Schnittstellenkompatibilitat und funktionale Korrektheit gepruft werden mussen. Auserdem muss nach der Integration aller Teilsysteme ihr erfolgreiches Zusammenspiel getestet werden. Sowohl bei der Entwicklung als auch fur die Qualitatssicherung (QS) dieser prototypischen Elektromobilitats-IKT-Infrastruktur setzen wir modellbasierte Techniken ein.

This chapter describes the Convergence security infrastructure. The core component for Convergence Security (CoSec) has a distributed architecture. It encompasses subcomponents on different computing platforms such as client computers and smart cards, application servers and peers. An essential feature of Co-Sec is the use of smart cards as a secure token. This Convergence token provides sensitive security functions on a tamper-resistant device. The chapter first introduces the concepts and the architecture of the security infrastructure. Based on a description of the basic cryptographic primitives, as well as of the advanced cryptographic schemes applied by the project, we describe the high-level security functions provided for the Convergence middleware and network layer.

This article presents a framework which enables end users to create small, sharply focused mobile services directly on a mobile device. By this, end users are no longer only consumers of mobile services; they also become producers and providers of mobile services. The domain of mobile health and fitness applications has been chosen to demonstrate the feasibility of the approach. The article presents the underlying platform for easy creation of mobile services and describes the implementation of a Web-based editor for easy mobile service creation as well as our solution to access device capabilities out of Web applications.

User-centric developments are on the move, both in business and information technology. Especially in the mobile environment, personalization is of great importance. The concept of the mobile service super prosumer is core of the research carried out in the project uService. It aims at providing a platform for the creation, discovery and consumption of mobile services on-the-go. Tailoring fitness applications for mobile phones to the respective needs of patients and hobby runners is the main goal of uService’s application scenario uRun. This use case enables hobby runners to create personalized, context-aware versions of mobile services tailored to their specific personal preferences, health conditions and training plans. Based on these features, a semantic knowledge base allows for the context-aware search and recommendations for service creation, discovery and usage. Compared to traditional consumer-centric health care systems, the depicted approach will be more personalized and context-aware and will empower physicians and personal trainers to act more timely than before.

The ITEA2 research project uService is building a framework to enable end users to create small, sharply focused mobile services directly on the mobile device. By this, end users are no longer only consumers of mobile services but also producers and providers, so-called 'mobile super prosumers'. In the project, the scenario 'uRun' serves as an application example for the uService framework in the field of health and fitness mobile applications. The goal is to provide a mobile assistant for runners, for the times before, during and after a run. In this article, we present our survey results on experienced runners' expectations on beneficial mobile services. We then describe how end users can create mobile services in the running application domain by means of the uService framework and explain the envisioned business models.

The project uService investigates the transformation of a mobile user into a service super prosumer, i.e., a producer, provider and consumer of services at the same time. The goal is to develop a platform which enables a user to create, discover and consume mobile services anywhere and at any time on the mobile device. uRun is an application scenario of the project in the field of mobile health and fitness. The uRun framework provides a mobile assistance system particularly for runners, which combines Web 2.0 and Web 3.0 technologies and personalized and situation-aware recommendation mechanisms. The ability to create individual and mobile health and fitness services as well as a personalized and situation-aware assistance system based on a semantic knowledge base are considered to provide an edge over existing consumer-centric health care systems. In this article, we describe the recommendation mechanism and the incorporation of semantic knowledge for the uService platform and the uRun framework.

Das europäische Forschungsprojekt uService hat die Entwicklung von Werkzeugen und einer Infrastruktur zum Ziel, so dass Endnutzer mit ihren Handys mobile Dienste für sich und andere Nutzer einerseits erstellen und andererseits nutzergenerierte Dienste verwenden können. Dienste, die auf diese Weise von Nutzern für Nutzer erstellt werden, sind typischerweise stark auf einen Anwendungsbereich fokussiert und adressieren jeweils eine bestimmte Zielgruppe. Die deutschen uService Partner konzentrieren ihre Arbeiten auf den Anwendungsbereich der individuellen Gesundheitsvorsorge durch Sport, insbesondere Laufen. Es soll eine auf uService-Konzepten basierende Plattform für das „uRun“ Szenario entwickelt werden. Die Plattform zielt ab auf mobile Dienste, die Menschen bei ihren sportlichen Tätigkeiten unterstützen, z.B. bei der Suche nach geeigneten Laufstrecken oder Laufpartnern. Im Paper werden eine Analyse vom Stand der Technik, die Beschreibung eines Anwendungsszenarios und das Konzept der Plattform vorgestellt. Schlüsselworte: Nutzergenerierte Dienste, Mobiles Internet, Gesundheitsvorsorge durch Laufen

In the near future, the trend of user-generated content and services currently observable in the Internet domain will also affect the mobile environment: mobile users will become able to easily create content and small services while on the move and offer them to social communities. Mobile users will no longer be pure consumers, they will also become producers and providers of mobile content and services. However, to let this vision come true, a new mobile service platform has to be built and established. In this article we are surveying relevant aspects, like service technologies, semantic search and recommendation mechanisms, revenue sharing, and security technologies. Based on that survey, requirements and challenges are identified. By means of an application scenario from the health and fitness domain, we present a first concept for a platform that allows for building virtual communities with easy and inherent support for real physical meetings.

The TURBINE project (TrUsted Revocable Biometric IdeNtitiEs) was launched to lay the groundwork for biometric-based electronic authentication of various applications in both the Internet and the real world. Carsten Rust, head of Corporate Research at Sagem Orga reports on the project. The activities associated with TURBINE, led by Sagem Sécurité, a specialist in digital fingerprint biometrics, are expected to last three years; they have financial support from the EU. The main tasks to be handled by smart card expert Sagem Orga, a subsidiary of Sagem Sécurité, are smart card integration and contributions aimed at demonstrating the developed technology in real-life scenarios.

This paper presents the integrated project TURBINE which is funded under the EU 7th research framework programme. This research is a multi-disciplinary effort on privacy enhancing technology, combining innovative developments in cryptography and fingerprint recognition. The objective of this project is to provide a breakthrough in electronic authentication for various applications in the physical world and on the Internet. On the one hand it will provide secure identity verification thanks to fingerprint recognition. On the other hand it will reliably protect the biometric data through advanced cryptography technology. In concrete terms, it will provide the assurance that i) the data used for the authentication, generated from the fingerprint, cannot be used to restore the original fingerprint sample, ii) the individual will be able to create different "pseudo-identities" for different applications with the same fingerprint, whilst ensuring that these different identities (and hence the related personal data) cannot be linked to each other, and iii) the individual is enabled to revoke an biometric identifier (pseudo-identity) for a given application in case it should not be used anymore.

The paper describes an architecture for mobile services where the SIM card is integrated for providing basic services related to security, privacy, and trust. The presented work is part of a cooperative research initiative aiming at an open architecture for mobile services. Nowadays, the security of mobile networks is mainly established through the SIM card. It provides an identity and can be used for authentication. Moreover, the SIM includes secure tamper-proof storage capabilities as well as cryptographic modules required for basic functions like signing, and ciphering. Consequently, in our architecture for mobile services, the SIM has also the role of a security token providing basic security related services. The SIM is integrated in the architecture using standard internet protocols. A web server on the card enables the exchange of data with the mobile device through HTTP. Moreover, a servlet architecture on the card allows for the provisioning of SIM services with an interface similar to that of WEB services. An important issue within the open and heterogeneous infrastructures for future mobile services is support for identification, evaluation, and rating of service offers. As an example for a SIM based service, we therefore propose a trust management service. The service is designed following the ideas of a web of trust infrastructure with an on-card key ring and trust value management. It uses digital signing for identification of services as well as for signatures by the user.

In this paper, an environment for prototyping algorithms for the autonomous intersection management of vehicles is presented. It is based on a colony of Khepera mini robots that cooperate via radio communication to enable a collision-free passing of an intersection. The design of the environment, a simple distributed algorithm, and results from first experiments are described. Compared to other work, multiple robots can pass the intersection simultaneously.

We present and extend an approach for the integration of reinforcement learning methods into Petri net based specifications of autonomous behaviors. The work aims at the design of autonomous mechatronical systems with modifiable adaptive behavior and our extension handles the required modifiability. In order to combine Petri nets and learning methods, we modeled Q-learning - a variant of reinforcement learning - with high-level Petri nets. The result can be integrated into Petri net models of autonomous mechatronical systems. For an evaluation of our approach, we have implemented a realistic application example. It has been evaluated by simulation as well as on a physical system

This paper describes a seminar of a project group consisting of students that realizes a code generation from UML to a reconfigurable hardware platform. The usage of high-level modeling is nowadays essential in the software and in the hardware development. The reason for this is the complexity the industries have to cope with. The idea to specify a hardware system at such a high abstraction level should be realized for a given application within the project group. By dealing with the application the students learn to use these new development methods for system design, especially hardware design. Furthermore, an overview of the structure and organization of project groups are given.

In this article we present a new approach for the design of hybrid systems composed of discrete and continuous parts. In our approach the system designers can start their specifications with the discrete as well as with the continuous parts. Both paradigms can be used with there own methodology and Tools. There are integration mechanisms for both paradigms. For the integrated simulation C code is generated. The advantages of our approach are demonstrated by modeling all important aspects of a system for building up motorcades. The model includes a discrete part selecting one of the different strategies modeled in the continuous parts. These are strategies for velocity and distance control for vehicles.

In the paper, we describe the realization of an application scenario with Khepera minirobots. The scenario is a decentralized intersection management, where several Kheperas move trough two intersecting lanes without collisions. The application is realized based on a Petri net based methodology for the seamless design of distributed embedded real-time systems. Hence, the presented work brings together results from two different research areas: robotic applications and embedded system's design.

The paper presents an approach for realizing high-level Petri net models in SystemC. The approach contributes to an existing methodology for the Petri net based design of distributed embedded real-time systems. It is intended to be a vehicle for realizing Petri net components in hardware. The paper describes the use of standard SystemC language constructs to realize the execution of a high-level Petri net, which is assumed to be separated into partitions. Besides techniques for realizing the mechanisms of Petri net execution, the integration of the code generation into the overall design flow is discussed. To demonstrate the effectiveness of our approach we use the inverse discrete cosine transformation (IDCT) that is part of the MPEG-2 algorithm.

A Petri net based approach for modeling dynamically modifiable embedded real-time systems is presented. The presented work contributes to the extension of a Petri net based design methodology for distributed embedded systems towards the handling of dynamically modifiable systems. Extensions to the underlying high-level Petri net model are introduced that allow for dynamic modifications of a net at run time.