We present an integration of the formal specification languages Z and timed CSP, called RT-Z, incorporating their combined strengths in a coherent frame. To cope with complex systems, RT-Z is equipped with structuring...
详细信息
We present an integration of the formal specification languages Z and timed CSP, called RT-Z, incorporating their combined strengths in a coherent frame. To cope with complex systems, RT-Z is equipped with structuring constructs built on top of the integration, because both Z and timed CSP lack appropriate facilities. The formal semantics of RT-Z, based on the denotational semantics of Z and timed CSP, is a prerequisite for preciseness and mathematical rigour. RT-Z is intended to be used in the requirements definition and design phases of the system and software development process. The envisaged application area is the development of real-time embedded systems.
The microservices architectural style has been increasingly adopted in recent years due to its advantageous characteristics. While there exist design patterns for microservices that are theoretically beneficial for en...
详细信息
The microservices architectural style has been increasingly adopted in recent years due to its advantageous characteristics. While there exist design patterns for microservices that are theoretically beneficial for ensuring performance (and anti-patterns that should be avoided), they do not always lead to the expected impact. Some designs are solutions for achieving quality properties other than performance, and while they might be categorized as anti-patterns in theory, their influence on system performance can be minimal, depending on the context. Architects find it hard to reason about these trade-offs and the impact that design decisions will have on performance before implementing them. To solve this problem, in this paper, we propose an approach that enables rapid evaluation of high-level architectural models by combining both static and dynamic analysis. The static analysis identifies the design anti-patterns that are known to hinder system performance and guides the architect in reasoning about these design decisions. The approach then generates source code for the system under study based on the architectural design model for a subsequent dynamic analysis to assess whether the statically detected anti-patterns do indeed have a negative effect on the performance of the analyzed system.
This book constitutes revised selected papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2011, and the 25th Workshop on Logic Programming, WLP 2011, ...
ISBN:
(数字)9783642415241
ISBN:
(纸本)9783642415234;9783642415241
This book constitutes revised selected papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2011, and the 25th Workshop on Logic Programming, WLP 2011, held in Vienna, Austria, in September 2011. The 19 papers presented in this volume were carefully reviewed and selected from 27 papers presented at the conference and initially a total of 35 submissions. The book also contains the papers of two invited talks. The papers are organized in topical sections on languages; answer-set programming and abductive reasoning; constraints and logic programming; answer-set programming and model expansion; application papers; and system descriptions.
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.
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.
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...
详细信息
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...
详细信息
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 information about tests or test scenarios. Early testing in the automotive domain is often done by Model-in-the-Loop simulation. Simulations of several components are run in different environments, each. Thus, they need to be connected (co-simulated) for integration testing of these components, e.g., via simulator coupling. This paper is focused on closing the gap between AUTOSAR models and co-simulation-based test scenarios that use simulator coupling. Our main contribution is the definition of a modeling language to describe test environments. The instances of this language can be derived from existing AUTOSAR models and can also be used to automatically generate co-simulation-based test environments. Furthermore, we provide a workflow to integrate this model in the engineering process and an experiment report to demonstrate the applicability and the advantages of the approach.
The embedded systems market and especially the software part of it is growing drastically in automotive industry. Today we see that the value of software or functionality that is realized using software within cars is...
详细信息
ISBN:
(纸本)9781450305709
The embedded systems market and especially the software part of it is growing drastically in automotive industry. Today we see that the value of software or functionality that is realized using software within cars is about 35% of the value of the car itself. We have typically more than 70 embedded control units (ECUs) in a car with functionality realized and controlled by software. The standardization of communication interfaces and operating system functionality as for example realized by AUTOSAR facilitates the distributed development of software. But the needs to produce software in time and in budget remain still a main task in automotive software industry. To cope with tight project plans, process models based on product line technology promise a good chance to be successful. Nevertheless, the need to control the product development remains still one of the most important questions in this area. The work presented here gives some new insights into the definition and application of measures with special emphasis on the variability aspects used within a product line development. Several known techniques as for example atomic sets or formal variability analysis are revisited and used within the context of variability metrics. The measures are categorized and can be used within a project to control and manage the defined variability. Copyright 2011 ACM.
Soaring costs and an aging society originate the need for novel technologies in health care sector. Especially telemedicine and AAL systems are often promoted as such. Enabling patients to stay in their domestic envir...
详细信息
Soaring costs and an aging society originate the need for novel technologies in health care sector. Especially telemedicine and AAL systems are often promoted as such. Enabling patients to stay in their domestic environment while reducing costs due to hospital visits seems to be an evaluable opportunity on the one hand but introduces a lot of challenges, like interoperability and security, on the other. Interoperability is the main challenge to put emphasis on, when thinking of networks of medical devices recording patients vital data while acting in a plug-and-play manner. Thus, standards are needed that enable manufacturers to build interoperable medical devices and provide solutions for cost effective and easy to use telemedicine systems. Therefore this paper analyzes the ISO/IEEE11073 PHD standard towards its applicability in such environments, where the focus lies on self-organization and plug-and-play functionality. Furthermore we want to present research done on telemedicine/AAL systems during the SmartSenior project as well as introduce our own ISO/IEEE11073 implementation, which served as a basis for our analysis.
In view of the aging society, intelligent devices pervading everyday life are faced with important challenges, such as the ease of use and the ease of configuration. The whole potential of using a body area network wi...
详细信息
In view of the aging society, intelligent devices pervading everyday life are faced with important challenges, such as the ease of use and the ease of configuration. The whole potential of using a body area network with several sensors to monitor vital functions of a human body can only be tapped, if the sensors used are highly specialized and tightly integrated to collaborate in a decentralized way and exhibit true plug-and-play behavior. Although the aspect of interconnecting vital sensors close to the human body bears a variety of technical challenges in itself, the development of the necessary abstraction layer in software to hide the heterogeneity of the highly specialized sensor boards is confronted with even higher challenges as these devices are often equipped with very limited resources to reduce power consumption. However, this abstraction layer is a necessary prerequisite to facilitate the development of software for a body area network with the previously mentioned characteristics. This paper presents the results of a study conducted to evaluate the performance and overhead of using web services on embedded devices to implement an abstraction layer for a body area network. In several experiments, two different implementations of the Devices Profile for Web Services (DPWS) were evaluated: the Microsoft . NET Micro Framework and the open-source DPWS-plugin from the Web Services for Devices initiative. These were used to measure absolute latencies and the "web service overhead" in the communication between three different types of resource-constraint devices.
暂无评论