The complexity of embedded systems has risen significantly in the last years. The model based development approach helped to keep an overview over the development and over the fulfillment of non-functional properties,...
详细信息
The complexity of embedded systems has risen significantly in the last years. The model based development approach helped to keep an overview over the development and over the fulfillment of non-functional properties, as it is possible to capture and analyze the scheduling using UML development models. Other aspects, e.g. the power consumption, are not considered in development models, modelling languages, and analysis support based on development models. The common approach is to measure the consumption at the end of the development, but there is no tool support for earlier phases analysis. We present a UML profile for power/energy consumption and a simple algorithm to analyze the power consumption based on an UML model extended with our profile. As more power awareness could result in losing real-time constraints, we consider both aspects, real-time scheduling and power awareness, and present a method to bring both non-functional properties and their analyses in context. Additionally, we present an approach to find a task configuration for a dynamic voltage scaling system that satisfies all real-time requirements, but is most power efficient.
Modern mobile application binaries are bulky for many reasons: software and its dependencies, fast-paced addition of new features, high-level language constructs, and statically linked platform libraries. Reduced appl...
详细信息
ISBN:
(数字)9781728186139
ISBN:
(纸本)9781728186146
Modern mobile application binaries are bulky for many reasons: software and its dependencies, fast-paced addition of new features, high-level language constructs, and statically linked platform libraries. Reduced application size is critical not only for the end-user experience but also for vendor's download size limitations. Moreover, download size restrictions may impact revenues for critical businesses. In this paper, we highlight some of the key reasons of code-size bloat in iOS mobile applications, specifically apps written using a mix of Swift and Objective-C. Our observation reveals that machine code sequences systematically repeat throughout the app's binary. We highlight source-code patterns and high-level language constructs that lead to an increase in the code size. We propose whole-program, fine-grained machine-code outlining as an effective optimization to constrain the code-size growth. We evaluate the effectiveness of our new optimization pipeline on the UberRider iOS app used by millions of customers daily. Our optimizations reduce the code size by 23%. The impact of our optimizations on the code size grows in magnitude over time as the code evolves. For a set of performance spans defined by the app developers, the optimizations do not statistically regress production performance. We applied the same optimizations to Uber's UberDriver and UberEats apps and gained 17% and 19% size savings, respectively.
In the article, a new method of building a forecast model using a fuzzy approach for charter air transportation time series with intra-series multiplicative changes is proposed. The method is based on the use of corre...
详细信息
Today formalisms with graphical representations are used to model structure, behavior, and other views on software and systems. The UML is just one example for modeling languages with graphical representation of its m...
详细信息
Today formalisms with graphical representations are used to model structure, behavior, and other views on software and systems. The UML is just one example for modeling languages with graphical representation of its models. Although most models are executable without explicit graphical information of the model's elements, the appearance of a model is of particular importance for its readability. To improve the so called embedding of a graph representing a model or to create a initial embedding, an algorithmic support for arranging the elements is useful. We provide a software environment in which layout algorithms can be developed and evaluated. By defining proper interfaces for graph elements, we provide easy access to our library of layout algorithms for external use
In this paper we present the LearnLib, a library for automata learning and experimentation. Its modular structure allows users to configure their tailored learning scenarios, which exploit specific properties of the e...
详细信息
ISBN:
(纸本)1595931481
In this paper we present the LearnLib, a library for automata learning and experimentation. Its modular structure allows users to configure their tailored learning scenarios, which exploit specific properties of the envisioned applications. As has been shown earlier, exploiting application-specific structural features enables optimizations that may lead to performance gains of several orders of magnitude, a necessary precondition to make automata learning applicable to realistic scenarios. Copyright 2005 ACM.
This paper introduces an integrated environment for software reliability modeling. The environment consists of three major components: (1) a software reliability modeling tool SMERFS adapted to fit our development env...
详细信息
This paper introduces an integrated environment for software reliability modeling. The environment consists of three major components: (1) a software reliability modeling tool SMERFS adapted to fit our development environment; (2) a general data analysis environment in S-PLUS customized for software reliability modeling; and (3) some supporting programs written in C and AWK. This environment has been successfully used in the IBM programmingsystems Toronto Lab.< >
Software Product Line (SPL) engineering is a popular approach for the systematic reuse of software artifacts across a large number of similar products. Unfortunately, testing each product of an SPL separately is often...
ISBN:
(纸本)9783642244841
Software Product Line (SPL) engineering is a popular approach for the systematic reuse of software artifacts across a large number of similar products. Unfortunately, testing each product of an SPL separately is often unfeasible. Consequently, SPL engineering is in conflict with standards like ISO 26262, which require each installed software configuration of safety-critical SPLs to be tested using a model-based approach with well-defined coverage *** this paper we address this dilemma and present a new SPL test suite generation algorithm that uses model-based testing techniques to derive a small test suite from one variable 150% test model of the SPL such that a given coverage criterion is satisfied for the test model of every product. Furthermore, our algorithm simplifies the subsequent selection of a small, representative set of products (w.r.t. the given coverage criterion) on which the generated test suite can be executed.
作者：
HANNA, ENSIGN JOHN H.MILLAN, ENSIGN HAROLD E.The Authors are 1966 graduates of the United States Coast Guard Academy. For the past year they have been engaged in the Academy Scholars Program
which allows selected First Class Cadets at the Academy to devote the greater percentage of their academic hours to advanced study. Their investigation was entitled “Project AMTRAP” Automated Methods for Translating and Patching in Hybrid Systems. It concerned itself with the development of automatic methods for programming analog computers and the design and construction of a simple hybrid system for test purposes. Their work in the project forms the basis for this paper. They are currently assigned as student engineers on Coast Guard Cutters Ensign Hanna on the CASTLE ROCK in Boston Massachusetts and Ensign Millan on the MENDOTA based in Wilmington North Carolina. Both are members of the Institute of Electrical and Electronics Engineers.
HW/SW Co-designed systems rely on dynamic binary translation and optimizations for efficient execution of binary code. Due to memory ordering properties and other architectural constraints, most binary optimizations a...
详细信息
The BOC Group Inc. is the second largest gases company in the world, having a 1988 turnover in excess of/2.500M. The UK contribution to this figure was BOOM, from products as diverse as industrial, medical and commerc...
详细信息
暂无评论