检索结果-内蒙古大学图书馆

Aggressive model-driven development: Synthesizing systems from models viewed as constraints

Aggressive model-driven development: Synthesizing systems fr...

Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme - Workshop on Model-Based Development of Embedded systems, MBEES 2005

作者： Margaria, Tiziana Steffen, Bernhard Service Engineering for Distributed Systems Institute for Informatics University of Göttingen Germany Department of Programming Systems University of Dortmund Germany

We propose an aggressive version of model-driven development (AMDD) 1, which moves most of the recurring problems of compatibility and consistency of software (mass-) construction and customization from the coding and integration level to the modelling level. AMDD requires a complex preparation of adequate settings, supporting the required automation. However, the effort to create these settings can be easily paid off by immense cost reductions in software mass-construction and maintenance. In fact, besides reducing the costs, AMDD will also lead towards a kind of normed software development, making software engineering a true engineering activity.

关键词： Cost reduction

来源：评论

学校读者我要写书评

暂无评论

Approaches for mastering change

Approaches for mastering change

引用

5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012

作者： Schaefer, Ina Lochau, Malte Leucker, Martin Institute for Software Engineering and Automotive Informatics Technical University of Braunschweig Germany Institute for Programming and Reactive Systems Technical University of Braunschweig Germany Institute for Software Engineering and Programming Languages University of Lübeck Germany

ISBN: (纸本)9783642340253

Modern software systems are highly configurable and exist in many different variants in order to operate different application contexts. This is called static variability and predominantly considered in software product line engineering [6,14]. Furthermore, software systems have to evolve over time in order to dealwith changing requirements which is referred to by the term temporal evolvability [10,13]. Additionally, modern software systems are designed to dynamically adapt their internal structure and behavior at runtime dependent on their environment in order to efficiently use the available resources, such as energy or computing power [5]. These three dimensions of change, static variability, temporal evolvability and dynamic adaptation, increase the complexity of system development in all phase, from requirements engineering and system design to implementation and quality assurance. In [15], the challenges of static variability and temporal evolution in all phases of the software development process are discussed. In [15], the engineering challenges of self-adaptive systems are described and future research directions are pointed out. © 2012 Springer-Verlag.

关键词： Quality assurance

来源：评论

学校读者我要写书评

暂无评论

Integration of scheduling analysis into UML based development processes through model transformation

Integration of scheduling analysis into UML based developmen...

引用

作者： Hagner, Matthias Goltz, Ursula Institute for Programming and Reactive Systems TU Braunschweig Mühlenpfordtst. 23 38106 Braunschweig Germany

ISBN: (纸本)9788360810279

The complexity of embedded systems and their safety requirements have risen significantly in recent years. Models and the model based development approach help to keep overview and control of the development. Nevertheless, a support for the analysis of non-functional requirements, e.g. the scheduling, based on development models and consequently the integration of these analysis technologies into a development process exists only sporadically. The problem is that the analysis tools use different metamodels than the development tools. Therefore, a remodeling of the system in the format of the analysis tool or a model transformation is necessary to be able to perform an analysis. Here, we introduce a scheduling analysis view as a part of the development model, which is a MARTE annotated UML model to describe a system from the scheduling behavior point of view. In addition, we present a transformation from this annotated UML model to the scheduling analysis tool SymTA/S and a treatment of the analysis results to integrate scheduling analysis into a development process. With our approach it is not necessary to remodel the system in an analysis tool to profit from the analysis and its results. Additionally, we illustrate our approach in a case study on a parallel robot controller. © 2010 IEEE.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Inside architecture evaluation: Analysis and representation of optimization potential

Inside architecture evaluation: Analysis and representation ...

引用

2007 Working IEEE/IFIP Conference on Software Architecture, WICSA'07

作者： Florentz, Bastian Institute for Programming and Reactive Systems Technical University Braunschweig P.O. Box 3329 38023 Germany

ISBN: (纸本)0769527442

The share of software in embedded systems has been growing permanently in the recent years. Thus, software architecture as well as its evaluation has become an important part of embedded systems design to define, assess, and assure architecture and system quality. Furthermore, design space exploration can be based on architecture evaluation. To achieve an efficient exploration process, architectural decisions need to be well considered. In this paper, analysis of architecture evaluation is performed to uncover dependencies of the quality attributes which are the first class citizens of architecture evaluation. With an explicit representation of such dependencies, valuable changes of an architecture can be calculated. Next to the exploration support, the analysis results help to document architecture knowledge and make architectural decisions explicit and traceable. The development process can now be based on dependable and well documented architectural decisions. Effects of changes become more predictable. Time and costs can be saved by avoiding suboptimal changes. © 2007 IEEE.

关键词： Software architecture

来源：评论

学校读者我要写书评

暂无评论

MoSo-PoLiTe - Tool support for pairwise and model-based software product line testing 11

MoSo-PoLiTe - Tool support for pairwise and model-based soft...

引用

Proceedings of the 5th International Workshop on Variability Modeling of Software-Intensive systems

作者： Oster, Sebastian Zorcic, Ivan Markert, Florian Lochau, Malte Real-Time Systems Group Technische Universität Darmstadt Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany

ISBN: (纸本)9781450305709

Testing Software Product Lines is a very challenging task and approaches like combinatorial testing and model-based testing are frequently used to reduce the effort of testing Software Product Lines and to reuse test artifacts. In this contribution we present a tool chain realizing our MoSo-PoLiTe concept combining combinatorial and model-based testing. Our tool chain contains a pairwise configuration selection component on the basis of a feature model. This component implements an heuristic finding a minimal subset of configurations covering 100% pairwise interaction. Additionally, our tool chain allows the model-based test case generation for each configuration within this generated subset. This tool chain is based on commercial tools since it was developed within industrial cooperations. A non-commercial implementation of pairwise configuration selection is available and an integration with an Open Source model-based testing tool is under development. Copyright 2011 ACM.

关键词： Chains

来源：评论

学校读者我要写书评

暂无评论

Formalization of Data Exchange Between the systems of Monitoring and Control over an Anaerobic Bioreactor 4

Formalization of Data Exchange Between the Systems of Monito...

引用

4th International Conference on Control systems, Mathematical Modeling, Automation and Energy Efficiency, SUMMA 2022

作者： Kolesnikova, Svetlana Fomenkova, Anastasia Institute of Computational Systems and Programming St. Petersburg State University of Aerospace Instrumentation St. Petersburg Russia

ISBN: (数字)9781665456593

ISBN: (纸本)9781665456593

A conceptual scheme for monitoring and control of the technical state of a complex system - an anaerobic bioreactor - is proposed. A mathematical apparatus and the heart of its algorithmic software are presented as a basis for the synthesis of a smart system of control over the technological processes at production facilities. Examples of the analytical synthesis of an adaptive control system for a nonlinear multidimensional object and an observer algorithm for unmeasurable variables are presented. © 2022 IEEE.

关键词： Adaptive control systems

来源：评论

学校读者我要写书评

暂无评论

Soliton dynamics and Peierls-Nabarro barrier in a discrete molecular chain

引用

Physical Review B 2000年第2期61卷 1129-1129页

作者： Larissa Brizhik Alexander Eremko Leonor Cruzeiro-Hansson Yulia Olkhovska Institute of Programming Systems 252187 Kyiv Ukraine

We investigate the motion of a self-localized quasiparticle in a discrete lattice taking into account the interaction of the quasiparticle with the vibrations of the lattice. Using an original method to control the velocity of solitonlike excitations in a discrete system, the dependence of their velocity, momentum, and energy on the carrying wave vector is analyzed. The velocity of the solitonlike excitations is found to saturate at wave vectors below those predicted by continuum models. This is as found in experimental observations. Also, the properties of the Peierls-Nabarro relief, caused by the lattice discreteness, and pinning of a soliton by this barrier, are studied. The influence of the initial condition on the Peierls-Nabarro barrier and soliton motion is investigated. For low-width solitons, a critical value of the wave vector is needed to overcome the Peierls-Nabarro barrier.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Approbation of a Generalization of the Synergetic Design of Regulators for a Stochastic Base Immunology System 10

Approbation of a Generalization of the Synergetic Design of ...

引用

10th International Conference on Information Technology and Nanotechnology, ITNT 2024

作者： Kolesnikova, Svetlana Kustova, Ekaterina Institute Of Computational Systems And Programming St. Petersburg State University Of Aerospace Instrumentation St. Petersburg Russia

ISBN: (纸本)9798350372939

The results of application of the invariance condition as the basic principle of the synergetic control theory to a stochastic biomedical object - immunology, are presented. Using four-dimensional nonlinear base object with a delay, it is shown that the assumptions on the object controllability in the state space and the analytical description of the target invariant of the system are the sufficient conditions for an existence of a stochastic regulator minimizing the dispersion of the output variable in transferring a random controlled object to a target manifold of states. © 2024 IEEE.

关键词： Immunology

来源：评论

学校读者我要写书评

暂无评论

Stochastic Algorithm for Designing Control over Electrohydraulic Brake System 3

Stochastic Algorithm for Designing Control over Electrohydra...

引用

3rd International Conference on Control systems, Mathematical Modeling, Automation and Energy Efficiency, SUMMA 2021

作者： Kolesnikova, S.I. Semenikhin, E.L. Institute of Computational Systems and Programming St.Petersburg State University of Aerospace Instrumentation St. Petersburg Russia

ISBN: (纸本)9781665439817

The problem of control over a nonlinear four-order object (a self-energizing electrohydraulic brake) on a target manifold with two types of uncertainties in the description is discussed. Two new algorithms for the synthesis of a regulator for a nonlinear and unstable object in conditions of random and nonrandom disturbances have been constructed. The principles of the synergetic control theory and its main methods-Analytical design of aggregated controllers and nonlinear adaptation are used. A new algorithm for stochastic adaptation based on the principles of synergetics is proposed. The results of a comparative numerical simulation of the used control algorithms under design and off-design conditions are presented. © 2021 IEEE.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Storage of key Features of Images of Sulfur Imprints in the Mathematical Structure Form

Storage of key Features of Images of Sulfur Imprints in the ...

引用

2020 International Multi-Conference on Industrial Engineering and Modern Technologies, FarEastCon 2020

作者： Bagaev, I.I. Logunova, O.S. Institute of Energy and Automated Systems Nosov Magnitogorsk State Technical University Department of Computer Engineering and Programming Magnitogorsk Russia

ISBN: (纸本)9781728169514

The aim of the study is to develop a method for storing images of sulfur imprints. In the framework of the study, a more effective method of representing images of sulfur imprints by using knowledge of the specificity of these images was developed compared to universal methods. In particular, a method for storing images of sulfur imprints has been developed, which stores information about objects that are significant for technological analysis in the image. The developed method was tested for images of sulfur imprints of continuously cast billets for the conditions of a large metallurgical enterprise in Russia. To conduct a computational experiment, a software product was designed and developed that allows you to convert the image of a sulfur imprint into a mathematical representation, as well as the process of restoring the main image. Using the array of retrospective information of 2011-2018 and the developed software product, the calculation of the effectiveness of the presentation of graphic information in the form of a structural unit of information without directly saving the image was performed. The average share of stored information from the original volume is 0.53 percent © 2020 IEEE.

关键词： Sulfur

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：