In this contribution, we compare and analyze different methodologies of modeling for test generation. As an example, we use an industrial requirement specification given in natural language, which describes a safety f...
详细信息
In this contribution, we compare and analyze different methodologies of modeling for test generation. As an example, we use an industrial requirement specification given in natural language, which describes a safety function in a hybrid car. We model these requirements with three different paradigms and languages: as the specification imposes several timing constraints, we choose abstract State Machines, Timed Automata and UML2 State Machines to formalize the given requirements. From these models, we employ different tools for generating test cases, and compare the resulting test suites with respect to coverage and fault detection capabilities. We discuss the process of designing the models and the implications for professional software testing.
From the Publisher: Every book out there so far describes how to build Web Services, with some explanation on the creation of the clients. The Web Service design should mean that the client developer need never know t...
ISBN:
(纸本)9781861007025
From the Publisher: Every book out there so far describes how to build Web Services, with some explanation on the creation of the clients. The Web Service design should mean that the client developer need never know theinsides of the application. This book expains how to build Web Faceplates for these services.
The current architectural trends in the field of multi-core processors can provide an enormous increase in processing power by exploiting the parallelism available in many applications. In particular because of their ...
详细信息
ISBN:
(纸本)9789290922650
The current architectural trends in the field of multi-core processors can provide an enormous increase in processing power by exploiting the parallelism available in many applications. In particular because of their high energy efficiency, it is obvious that multi-core processor-based systems will also be used in future space missions. In this paper we present the system architecture of a powerful optical sensor system based on the eight core multi-core processor P4080 from Freescale. The fault tolerant structure and the highly effective FDIR concepts implemented on different hardware and software levels of the system are described in detail. The space application scenario and thus the main requirements for the sensor system have been defined by a complex tracking sensor application for autonomous landing or docking manoeuvres.
Recent investigations have shown that vehicular traffic is the main source for emissions leading to summer smog. A study of the impact of traffic emission on urban air quality requires a complex air-pollution simulati...
详细信息
Recent investigations have shown that vehicular traffic is the main source for emissions leading to summer smog. A study of the impact of traffic emission on urban air quality requires a complex air-pollution simulation system. This paper presents results of the development and application of an air-pollution simulation system at GMD first which aims at supporting users in government administration and industry with forecasting and operative decision-making as well as short- to long-term regional planning. The components of the simulation system are parallelly implemented simulation models for meteorology, transport and air chemistry, data bases for model input and simulation results, as well as a graphic user interface for spatial data visualization. In order to study the influence of traffic emissions, a traffic-flow and a traffic-emission model have been added to the simulation system. Results presented are from two recent applications in the regions of Berlin/Brandenburg and Munich (Germany). Further applications are in preparation.
This paper describes the analysis tool DSPNexpress which has been developed at the Technische Universitat Berlin since 1991. The development of DSPNexpress has been motivated by the lack of a powerful software package...
详细信息
This paper describes the analysis tool DSPNexpress which has been developed at the Technische Universitat Berlin since 1991. The development of DSPNexpress has been motivated by the lack of a powerful software package for the numerical solution of deterministic and stochastic Petri nets (DSPNs) and the complexity requirements imposed by evaluating memory consistency models for multicomputer systems. The development of DSPNexpress has gained by the author's experience with the version 1.4 of the software package GreatSPN. However, opposed to GreatSPN, the softwarearchitecture of DSPNexpress is particularly tailored to the numerical evaluation of DSPNs. Furthermore, DSPNexpress contains a graphical interface running under the X11 window system. To the best of the author's knowledge, DSPNexpress is the firstsoftware package which contains an efficient numerical algorithm for computing steady-state solutions of DSPns.
Models in testing are important for describing, understanding, and managing tests. In the automotive domain, AUTOSAR is an important standard to model components of electronic control units. AUTOSAR, however, lacks in...
详细信息
作者：
Hannebauer, MarkusPlanning and Optimization Laboratory
Research Institute for Computer Architecture and Software Technology (FIRST) GMD — German National Research Center for Information Technology eMail: hannebau@first.gmd.de
Several interesting practical problems in process control, planning and scheduling can be expressed and solved using the model of constraint satisfaction problems. At least four drawbacks of this classical model direc...
详细信息
Several interesting practical problems in process control, planning and scheduling can be expressed and solved using the model of constraint satisfaction problems. At least four drawbacks of this classical model directly relate to areas of distribution: complexity, scalability, privacy and robustness. Hence, research on distributed constraint satisfaction problems is a new direction in the area of multi-agent systems. A typical engineering task in distributed constraint satisfaction is the design of the distribution itself. A careful look at this task reveals that the design of distribution is critical to the quality and efficiency of the problem solving process and is itself an optimization problem. In this article we formalize different variants of this configuration problem and prove them to be all at least N P-complete. For solving these problems, we present two local operators, agent melting and agent splitting, that can be combined to allow for an autonomous and dynamic reconfiguration of the organizational structure of the problem-solving agents. We prove sequences of these operators to be sufficient for solving any given configuration problem. We also briefly describe what practical steps are necessary to exploit the rather theoretical result of the proof in realistic applications.
Code generators are increasingly used in an industrial context to translate graphical models into executable code. Since the code is often deployed in safety-related environments, the quality of the code generators is...
详细信息
暂无评论