Veröffentlichungen in 2010

Das europäische Forschungsprojekt D-MINT wurde in der Zeit vom 01.04.2007 bis 31.12.2009 finanziell gefördert durch das Bundesministerium für Bildung und Forschung. Dieser Bericht beschreibt das Projekt und fasst insbesondere die erreichten Ergebnisse und den Nutzen bei den beteiligten deutschen Projektpartnern zusammen.

This Quick Reference Card summarizes language features to support users of TTCN-3. For TTCN-3 edition 4.2.1 (2010-07) and extensions. The latest version is available online at http://www.blukaktus.com/TTCN3-QRC.html.

The increasing size, complexity and the dynamic character of future networks make traditional monitoring systems inadequate to be continuously updated and sense the endless changes in the topology and communication conditions. The need for reduction in the network management complexity and the administrator's operational burden imposes the design and implementation of self-functionalities and the adoption of self-management schemes. We propose a novel approach for improving network management based on distributed monitoring techniques. Autonomic mechanisms are designed to control traffic monitoring within a network in order to increase the accuracy of the acquired data without increasing the imposed overhead in the network. Nodes are able to correlate monitoring data and to adapt the monitoring functions according to existing networking conditions and predefined administration policies.

Success coming with MBT highly depends on the availability of the underlying system specification and the acceptance of related tools. In industrial practice is has been found very often that the system specification could not be fully completed and need to be restricted to selected parts. The Architecture-driven test approach (ADT) considers a system specification that is decomposed following different viewpoint that allows an easier understanding due to various abstractions. In this contribution we discuss how we extend our work that has been introduced earlier on ADT in order to execute ADT-based test descriptions against real systems in the context of the automotive domain.

Strong dependencies exist between innovations - standards and markets: Innovations influence standards and markets. Standards have impacts on markets and often are the basis for innovations. The market solutions are combined into standards. And new markets could be understood as an innovation. The testing technology TTCN-3 appears in all of these aspects. It is an established standard widely used in industry; it includes and brings up innovative concepts. This technology is evolving due to increasing industrial requirements and new research ideas. The roots of today's "Testing and Test Control Notation" (TTCN-3) started in the 80s. New tool and industrial test suite standards appeared shortly after its first publication by ISO. Initially used in telecommunication, today TTCN-3 i s applied for testing complex software in nearly all industrial domains. In particular, new application areas are automotive, medical, aerospace, and finance systems. TTCN-3 is a success story. Engineering departments of tool manufacturers and research institutes are using TTCN-3 as a target notation in the context of model-based testing. This year the European Standardization Institute (ETSI) has published several innovations that provide a standardized basis to the industry for innovative testing. Substantial work has been undertaken for "embedded TTCN-3" that includes real-time aspects and continuous systems. In the case of TTCN-3 the standardization bodies succeeded to create an engine for innovation and new markets. The tutorial provides the understanding of basic concepts t ogether with a presentation of latest concepts and new directions for the test technology TTCN-3.

Computer science and computational engineering have enabled great advances in modeling and simulation to analyze various scenarios. Still, facilitating and enhancing situational awareness for a single human is rarely considered. Poor decisions by an individual encountering everyday challenges or public threat situations can have dramatic effects, both for the individual and others. In the presented research, a Computation of Things (CoTh) framework is proposed to provide individual decision support during crises and prevent long-term deviations from safe and secure conditions. The target of CoTh is to enable a profound understanding of the situation from the viewpoint of individual persons in order to permanently reduce their fear, while simultaneously increasing awareness of appropriate responses. CoTh allows for a quick forecasting of action (or non-action) alternatives based on an individual human context, including geographic position (e.g., pollution level and energy usage), activity patterns (e.g., personal nutrition habits, lifestyle, traveling load, family status, circle of friends, social network, and virtual life), and state patterns (e.g., the DNA, current health conditions, and musculature of a human), depending on the considered situation. Insights into CoThs motivation, requirements, and challenges are provided and the architecture proposal is depicted.

Since software systems become more and more complex, the efforts for developing, documenting and executing meaningful test cases increases. Testing is a vital, but time- and resource-consuming activity. To avoid running out of time or budget, new test methodologies had to be established in order to increase reliable, yet maintainable test scenarios. In the last years the Model-Driven idea matures to the most promising approaches to solve current problems in the software development domain. Model-Based Testing adopts these concepts to exploit their benefits for testing area. In this paper an integrated tool chain (called FOKUS!MBT) is discussed, to enable a Model-based development of testing scenarios. It is based on a canonical metamodel for testing concerns and a service-oriented model storage and exchange infrastructure, that allows a flexible, yet extensible adaptation to different test process requirements. Its premise is to establish a tooling architecture for the specification and development of a domain-independent Model-based testing scenario.

This paper is concerned with future developments and demonstrates how results from the European project VISP (IST-FP6-027178) could be used for service provisioning in the Future Internet and Cloud Computing. It is looking at the role that collaborating SMEs can play based on work from the VISP project, which is further developed for Cloud Computing and the Future Internet environment. The work on ISP services that was undertaken in the VISP project is relevant to a service-centric view of the world, as seen in approaches such as the Future Internet of Services (IoS), Software as a Service (SaaS) and Cloud Computing.

Enterprise interoperability has been the subject of much work in recent years. This paper reports on a European research project VISP which investigated various aspects of enterprise interoperability between small ISPs doing business in a virtual cluster. It provides an overview of the work undertaken, discusses the points considered successful and what would be still required to ensure seamless and reliable interoperability between small ISPs undertaking business together in a cluster. A perspective relating the work in VISP to cloud computing concludes the paper.

Model-driven approaches to design, simulation, verification, validation and testing of complex systems are increasingly required in every domain of systems and software engineering where the systems are complex. The domain of autonomic network engineering is one such new area calling for such model-driven approaches. In this paper we provide the requirements of a model-driven methodology and Tool-Chain for the design and verification of hierarchical controllers of an autonomic network. The requirements are classified as behavioral, structural and stability requirements. Based on these requirements, we propose a hybrid approach that combines design techniques from modern control theory, conventional protocol design and model-driven systems engineering for the design of hierarchical controll ers that meet the stability, structural and behavioral requirements of their autonomic network architectures. The methodology addresses the problems of behavior conflicts, stability, response time problems and operating regions conflicts of hierarchical controllers. A Tool-Chain to realize the proposed methodology is also presented.

Test automation encompasses all activities to automate various steps in the overall testing process including automation of test management, test generation, or test execution. The standardized Testing and Test Control Notation (TTCN-3) addresses selected challenges by defining a test specification language and a test system architecture that enables the implementation and execution of TTCN-3 test suites. Over the years, the standard has continuously being maintained and evolved. For example, concepts for static test configurations or for advanced parameterization and typing have been defined. The paper reviews the history and current status of TTCN-3 and concludes by giving an overview on recent extensions of TTCN-3 and future plans.

The emergence of self-managing networks can be seen as an enabler for increased dependability, reliability and robustness of the network layer. All these features are significant for the services and applications relying on the network infrastructure. This paper explores the links between traditional Fault-Management functions belonging to the management plane and the fundamental network functions for Resilience and Survivability embedded inside the protocol modules of a node/device. This results in an architectural framework that allows nodes/devices to implement the converging aspects of Fault-Management (now becoming autonomic), Resilience and Survivability in a self-managing network. The components and adaptation mechanisms of the proposed framework will make the network layer more robust and application/service aware. Thus, the dependability, reliability, and adaptability of the upper layer services and applications are expected to increase.

In this paper we present an approach of using model-driven technologies for testing of service component interactions. We report on an industrial experiment with a novel combination of existing UML standards, i.e., the UML Testing Profile (U2TP), in conjunction with proprietary domain specific languages (DSLs). Many model-based testing (MBT) approaches use the UML 2 standard, but very few of them use also U2TP. Moreover, in practice UML coexists with DSLs which makes the overall integration not easy. We present our experiences and challenges of a U2TP-enabled MBT approach for a DSL for enterprise service choreographies, which describe the communication protocols between service components. The proposed workflow directly translates choreographies into UML models augmented with U2TP stereoty pes, which are further loaded into our FOKUS!MBT tool chain. The tool provides an implementation of the U2TP standalone meta-model along with test case and test data generators to describe a holistic test process within one dedicated meta-model for testing concerns.

Strong dependencies exist between innovations - standards and markets: Innovations influence standards and markets. Standards have impacts on markets and often are the basis for innovations. The market solutions are combined into standards. And new markets could be understood as an innovation. The testing technology TTCN-3 appears in all of these aspects. It is an established standard widely used in industry; it includes and brings up innovative concepts. This technology is evolving due to increasing industrial requirements and new research ideas. The roots of today's "Testing and Test Control Notation" (TTCN-3) started in the 80s. New tool and industrial test suite standards appeared shortly after its first publication by ISO. Initially used in telecommunication, today TTCN-3 i s applied for testing complex software in nearly all industrial domains. In particular, new application areas are automotive, medical, aerospace, and finance systems. TTCN-3 is a success story. Engineering departments of tool manufacturers and research institutes are using TTCN-3 as a target notation in the context of model-based testing. This year the European Standardization Institute (ETSI) has published several innovations that provide a standardized basis to the industry for innovative testing. Substantial work has been undertaken for "embedded TTCN-3" that includes real-time aspects and continuous systems. In the case of TTCN-3 the standardization bodies succeeded to create an engine for innovation and new markets. The tutorial provides the understanding of basic concepts t ogether with a presentation of latest concepts and new directions for the test technology TTCN-3.

Developing embedded safety-critical systems is a challenging mission. Usually, there are multiple tasks to accomplish comprising activities like requirements management, system architecture design, component design, coding, simulation and tests. Each of these activities is complex in its own and is often supported by highly specialized software tools. But using these specialized tools together in a coordinated way within a development team, which is probably spread across multiple locations, is far from being simple. There is a lack of interoperability among these tools and only some vendor-specific solutions and point-to-point integrations can be used. In particular it is difficult to share data between these tools and to establish an end-to-end traceability from requirements to test results without substantial manual work. The CESAR project addresses these issues and creates the CESAR Reference Technology Platform - RTP. The CESAR RTP is a means helping to establish seamlessly integrated tool chains. This talk presents the general concepts of the CESAR RTP including the RTP ModelBus and exemplary scenarios based on the first results of the CESAR project.

In the presented vision various aspects of the sustainability (e.g., the relation between a persons quality of life, climate change, and social awareness) are highlighted to explore and share how an individual impacts and is impacted by the surrounding. Ultimately a technological solution called Computation of Things (CoTh) is outlined. It allows for a quick and reliable assessment of peoples possible decision paths and how this affects sustainable development on a local and global scale. Forecasting life-path alternatives for a human based on its geographic position (including pollution level, energy usage), activity patterns (including nutrition habits, lifestyle, traveling load, family status, circle of friends, social network, or virtual life), and state patterns (including individua ls DNA, current health conditions, musculature) is targeted.

Test automation encompasses all activities to automated various steps in the overall testing process including automation of test management, test generation, or test execution. The standardized Testing and Test Control Notation (TTCN-3) addresses in particular test execution automation by defining a test specification language and a test system architecture that enables the implementation and execution of any correct TTCN-3 test suite. Over the years, the standard has continuously being maintained and evolved. In particular, concepts for advanced parameterization and typing and for real-time tests have been defined. The presentation will provide an introduction to TTCN-3 and present recent extensions.

Die Wurzeln der heute weit verbreiteten Testing and Test Control Notation (TTCN-3) stammen aus den 80er Jahren. Mit der erstmals von der ISO standardisierten Version kamen entsprechende Werkzeuge und Industriestandards auf den Markt. Ausgehend von der Telekommunikation dringt TTCN-3 mit zunehmender Komplexität heutiger Software in nahezu alle Domänen. TTCN-3 wurde Zielnotation für modellbasiertes Testen und entwickelt sich bereits weiter: 2010 werden von ETSI Neuerungen veröffentlicht, die der Industrie eine standardisierte Basis für innovatives Testen bereitstellt.