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

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

来源：评论

学校读者我要写书评

暂无评论

Architecture potential analysis: A closer look inside architecture evaluation

Journal of Software

引用

Journal of Software 2007年第4期2卷 43-56页

作者： Florentz, Bastian Huhn, Michaela Institute for Programming and Reactive Systems Technical University Brunswick Germany

The share of software in embedded systems has been growing permanently in the recent years. Thus, software architecture as well as its evaluation have become important parts of the development of embedded systems to describe, assess, and assure sound architecture as basis for high quality systems. Furthermore, design space exploration can be based on architecture evaluation. To achieve an efficient exploration process, architectural decisions need to be taken into account as part of the architecture. In this paper, a method for analyzing architecture potential on the basis of dependencies between quality attributes is presented and applied. An explicit representation and correlation of such dependencies provides decision support for architectural concerns. Not only can suboptimal decisions be avoided but rather valuable options are highlighted. Besides the quality of an architecture, knowledge of how to achieve and even improve the quality can be analyzed. The latter is the concern of architecture potential analysis presented in this paper. Furthermore, architectural decisions can be documented and will be traceable and justifiable with respect to the development rationale. The ongoing development process can then be based on dependable and well documented architectural decisions. The predictability of change impacts is increased. Thus, time and costs can be saved by avoiding suboptimal changes. © 2006 ACADEMY PUBLISHER.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Runtime Analysis of a Self-Adaptive Hard Real-Time Robotic Control System

Runtime Analysis of a Self-Adaptive Hard Real-Time Robotic C...

引用

IEEE Workshop on Engineering of Autonomic and Autonomous systems (EASE)

作者： Jens Steiner Matthias Hagner Institute for Programming and Reactive Systems Technical University of Braunschweig Germany

This paper describes a software architecture for parallel kinematic machines and its evolvement to a self-adaptive system striving to optimize, protect and heal itself Self-* properties are provided by self-manager components that observe and manipulate their associated system parts. A development approach for the self-managers is outlined, as is a first realization of a self-manager responsible for the control core. This self-manager distributes control components during runtime and makes feasibility decisions based on a runtime schedulability analysis

关键词： Runtime Real time systems Robot control Control systems Software architecture Digital signal processing TCPIP Kinematics Actuators Parallel robots

来源：评论

学校读者我要写书评

暂无评论

Model based quality assurance and self-nanagement within a software architecture for parallel kinematic machines

Model based quality assurance and self-nanagement within a s...

引用

2006 IEEE International Conference on Mechatronics, ICM

作者： Steiner, Jens Huhn, Michaela Mücke, Tilo Institute for Programming and Reactive Systems Technical University of Braunschweig Mühlenpfordtstraße 23 D-38106 Braunschweig Germany

ISBN: (纸本)0780397134

This paper presents a model-based engineering approach used for the development of a software architecture tailored for the special requirements of parallel kinematic machines. Several quality assurance measures that became possible by this approach and their application within an interdisciplinary research project are described in detail. Concepts for the integration of self-managed components and autonomic computing features are outlined. © 2006 IEEE.

关键词： Software architecture

来源：评论

学校读者我要写书评

暂无评论

Unification and Evaluation of Graph Drawing Algorithms for Different Application Domains

Unification and Evaluation of Graph Drawing Algorithms for D...

引用

International Conference on Information Visualisation (IV)

作者： B. Florentz T. Muecke Institute for Programming and Reactive Systems Technical University of Braunschweig Brunswick Germany

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

关键词： Layout Software systems Application software Unified modeling language Software algorithms Software libraries Graphical models Computational modeling Java Testing

来源：评论

学校读者我要写书评

暂无评论

Model based quality assurance and self-management within a software architecture for parallel kinematic machines

Model based quality assurance and self-management within a s...

引用

International Conference on Mechatronics (ICM)

作者： Jens Steiner Michaela Huhn Tilo Mucke Institute for Programming and Reactive Systems Technical University of Braunschweig Brunswick Germany

关键词： Quality assurance Software architecture Kinematics Robots Application software Computer architecture Robotic assembly Digital signal processing TCPIP Acceleration

来源：评论

学校读者我要写书评

暂无评论

Generating optimal distinguishing sequences with a model checker

Generating optimal distinguishing sequences with a model che...

引用

1st International Workshop on Advances in Model-Based Testing, A-MOST '05

作者： Robinson-Mallett, Christopher Liggesmeyer, Peter Mücke, Tilo Goltz, Ursula University of Potsdam Hasso-Plattner-Institute Software Engineering Germany University of Kaiserslautern Fraunhofer IESE Germany University of Brunswick Institute for Programming and Reactive Systems Germany

ISBN: (纸本)1595931155

This paper presents an approach for the automatic generation of shortest Distinguishing Sequences (DS) with the Uppaal model checker. The presented method is applicable to a large number of extended finite state machines and it will find an optimal result, if a DS sequence exists for the considered automaton. Our approach is situated in an integrated testing environment that is used to generate checking sequences. The generation method is based on a DS model, which is derived from the same test model that is used for generating test cover sets. The problem of generating DS is reduced to the definition of a DS model and for this reason the complexity of our approach depends mainly on the used model checking algorithm. This means, that the presented method is automatically improved, when the model checking algorithm is improved. This includes the generation of optimal DS depending on the ability of the model checker to produce optimal results. Copyright 2005 ACM.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Universal communication architecture for high-dynamic robot systems using QNX

Universal communication architecture for high-dynamic robot ...

引用

8th International Conference on Control, Automation, Robotics and Vision (ICARCV)

作者： Kohn, Nnamdi Varchmin, J.-Uwe Steiner, Jens Goltz, Ursula Technical University of Braunschweig Germany Institute of Electrical Measurement and Fundamental Electrical Engineering Hans-Sommer-Straße 66 D-38106 Braunschweig Germany Institute for Programming and Reactive Systems Mühlenpfordtstraße 23 D-38106 Braunschweig Germany

ISBN: (纸本)0780386531

The structure and application of a universal communication architecture for high-dynamic robot systems were presented. The architecture consists of a middleware for robotic and process control applications - extended (MiRPA-X) and a communication protocol Industrial Automation Protocol (IAP) based on the IEEE1394 communication standard. Both are implemented with ANSI C under the real-time operating system QNX Neutrino. IAP provides network management functions to control participant states and global object directory to virtually unite all participant paremeters.

关键词： Robotics

来源：评论

学校读者我要写书评

暂无评论

Managed Software Evolution 1

引用

1000年

作者： Ralf Reussner Jan Keim Michael Goedicke Wilhelm Hasselbring Birgit Vogel-Heuser Lukas Märtin

ISBN: (数字)9783030134990

ISBN: (纸本)9783030134983;9783030135010

This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (DFG)”) to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process.;Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage.;The book was mainly written for scientific researchers and advanced professionals with an academic background. They will benefit from its comprehensive treatment of various topics related to problems that are now gaining in importance, given the higher costs for maintenance and evolution in comparison to the initial development, and the fact that today, most software is not developed from scratch, but as part of a c

关键词： Software Engineering Software Management Management of Computing and Information systems Theory of Computation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：