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

model-based software engineering for an optical navigation system for spacecraft

CEAS SPACE JOURNAL 2018年第2期10卷 147-156页

作者： Franz, T. Luedtke, D. Maibaum, O. Gerndt, A. Simulat & Software Technol German Aerosp Ctr DLR Lilienthalpl 7 D-38108 Braunschweig Germany

The project Autonomous Terrain-based Optical Navigation (ATON) at the German Aerospace Center (DLR) is developing an optical navigation system for future landing missions on celestial bodies such as the moon or asteroids. Image data obtained by optical sensors can be used for autonomous determination of the spacecraft's position and attitude. Camera-in-the-loop experiments in the Testbed for Robotic Optical Navigation (TRON) laboratory and flight campaigns with unmanned aerial vehicle (UAV) are performed to gather flight data for further development and to test the system in a closed-loop scenario. The software modules are executed in the C++ Tasking Framework that provides the means to concurrently run the modules in separated tasks, send messages between tasks, and schedule task execution based on events. Since the project is developed in collaboration with several institutes in different domains at DLR, clearly defined and well-documented interfaces are necessary. Preventing misconceptions caused by differences between various development philosophies and standards turned out to be challenging. After the first development cycles with manual Interface Control Documents (ICD) and manual implementation of the complex interactions between modules, we switched to a model-based approach. The ATON model covers a graphical description of the modules, their parameters and communication patterns. Type and consistency checks on this formal level help to reduce errors in the system. The model enables the generation of interfaces and unified data types as well as their documentation. Furthermore, the C++ code for the exchange of data between the modules and the scheduling of the software tasks is created automatically. With this approach, changing the data flow in the system or adding additional components (e.g., a second camera) have become trivial.

关键词： model-driven software development model-based systems engineering Code generation Optical navigation

来源：评论

学校读者我要写书评

暂无评论

Simple modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain

引用

JOURNAL OF INTEGRATED DESIGN & PROCESS SCIENCE 2013年第3期17卷 25-45页

作者： Margaria, Tiziana Bosselmann, Steve Kujath, Bertold Univ Potsdam Inst Informat Chair Serv & Software Engn Potsdam Germany Univ Potsdam Chair Serv & Software Engn Potsdam Germany Univ Potsdam Chair Didakt Informat Didact Comp Sci Potsdam Germany

Process modeling has become an established technique to document, analyse and automate workflows. Workflows that model the procedures followed by professionals require the immediate contribution of these professionals, who usually lack broad knowledge of formal models as well as software engineering skills. Simplicity of the selected modeling approach throughout each step of the design phase is therefore a key factor for the success of a workflow management project. In this paper we show a process modelling framework that combines simplicity and intuitiveness in the modeling phase with immediate evaluation of the models via execution. This combination allows practitioners and professionals to play a key role in the rapid development of IT applications and systems that support role-based workflows. We discuss the practicability and benefits of this approach on an exemplary case study from the healthcare domain: analysis and optimization of outpatient clinic processes of a leading German hospital.

关键词： Process modeling workflow management healthcare clinical processes simplicity model-driven software development

来源：评论

学校读者我要写书评

暂无评论

Bridging the Gap Between Structural and Behavioral models in a software-Centric Environment 11th

Bridging the Gap Between Structural and Behavioral Models in...

引用

11th International Symposium on Business modeling and software Design (BMSD)

作者： Hagemann, Noel Bauer, Bernhard Univ Augsburg Software Methodol Distributed Syst Univ Str 6a D-86159 Augsburg Germany

ISBN: (纸本)9783030799762;9783030799755

Induced by the last evolutionary step of systems, the virtualization and decentralization of systems is thriving leading to more complex systems. This causes the system behavior described by models to be split into additional models, creating gaps. As a result, we present a novel approach that combines model artifacts describing the architecture of a system to recover the complete view of a system's behavior. Our design relies on model transformation to create a consistent model basis to enable cross-model connections. The combining process is carried out in two phases. First, an expert defines cross-model connections mapping behavioral models onto structural models. Second, these connections are used to derive direct connections between behavioral models to bridge the gap that emerged.

关键词： Cyber-physical systems model-driven software development model transformation Systems modeling

来源：评论

学校读者我要写书评

暂无评论

A model-driven CASE tool for developing and verifying regulated open MAS

引用

SCIENCE OF COMPUTER PROGRAMMING 2013年第6期78卷 695-704页

作者： Garcia, Emilia Giret, Adriana Botti, Vicente Univ Politecn Valencia Valencia Spain

This paper describes a CASE tool for developing complex systems in which heterogeneous and autonomous agents may need to coexist in a complex social and legal framework. model-driven Technologies are used to integrate the design of systems of this kind with the verification of the models and with the generation of executable code from these models. The verification module is based on model-checking techniques to check the coherence of a modeled legal context at design time is presented and it is exemplified with a case study. (C) 2011 Elsevier B.V. All rights reserved.

关键词： Multi-agent systems Contracts model-driven software development model checking

来源：评论

学校读者我要写书评

暂无评论

A Cloud-Based Architecture for an Interoperable, Resilient, and Scalable C2 Information System

A Cloud-Based Architecture for an Interoperable, Resilient, ...

引用

International Conference on Military Communications and Information Systems (ICMCIS)

作者： Bau, Nico Endres, Sven Gerz, Michael Goekgoez, Fahrettin Fraunhofer FKIE Informat Technol Command & Control D-53343 Wachtberg Germany

ISBN: (纸本)9781538645598

Recent advancements in Cloud Computing pave the way for a new generation of C2 Information Systems (C2IS) that provide better scalability and resilience and improved decision support through big data analytics and artificial intelligence. In this paper, we present a cloud-based system architecture for a C2IS. We explain how the cloud architecture ensures system functioning even when critical components fail temporarily. In our architecture, C2 data are not mapped onto a single data model and persisted in a central data store;instead, the design allows for a variety of distinct stores for different purposes and interoperability standards. The concepts have been implemented in a C2IS prototype at the Fraunhofer FKIE. We illustrate how semantically rich interoperability standards support a model-driven development approach.

关键词： C2 Information System C2IS Cloud Computing Resilience Scalability Adaptability Interoperability Cloud-Native Design model-driven software development model-driven Architecture MDA MIP4-IES

来源：评论

学校读者我要写书评

暂无评论

Steel threads: software engineering constructs for defining, designing and developing software system architecture

引用

JOURNAL OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2012年第1_suppl期12卷 S63-S77页

作者： Alkobaisi, Shayma Bae, Wan D. Narayanappa, Sada Debnath, Narayan United Arab Emirates Univ Fac Informat Technol Al Ain U Arab Emirates Univ Wisconsin Stour Math Stat & Comp Sci Menomonie WI USA Jeppesen Inc Engn Proc & Operat Englewood CO USA Winona State Univ Comp Sci Dept Winona MN 55987 USA

A steel thread is a software engineering construct that identifies the most important execution paths, including software and hardware elements, through a computer system, while meeting business objectives and demonstrating executable architecture. Steel threads are often used in the context of defining software system architecture. Although there have been references to steel threads in software engineering literature, it is hard to find clear definitions and usage of steel threads in the software industry or among the research community. This paper provides an overview of steel threads in software architecture design and development as well as presenting the contexts of steel threads. In addition, we show how to identify important scenarios and execution paths to construct steel threads and discuss the contexts under which steel threads are applicable in the software development life cycle. We also discuss the roles of steel threads in system development as well as their usability and applicability. Finally, a case study of the use of steel threads in a software system is presented.

关键词： Steel threads software architecture use cases scenarios model-driven software development agile development

来源：评论

学校读者我要写书评

暂无评论

REMM-Studio⁺: modeling Variability to Enable Requirements Reuse

引用

ER 2008 Workshops held in Conjunction with the 27th International Conference on Conceptual modeling

作者： Moros, Begona Vicente-Chicote, Cristina Toval, Ambrosio Univ Murcia Dept Informat & Sistemas E-30100 Murcia Spain Univ Politecn Cartagena Dept Tecnol Informac & Comunicac Cartagena 30202 Murcia Spain

ISBN: (纸本)9783540878766

Requirements reuse has been recently pointed out as one of the most pressing needs and grand challenges in Requirements Engineering. To cope with this demand, this work presents a systematic requirements reuse approach in the model-driven software development context. The proposal revolves around REMM, a Requirements Engineering Metamodel, which has been recently extended to provide variability modeling mechanisms, which enable requirements reuse. The REMM-Studio(+) graphical modeling tool, built to support the new modeling capabilities of REMM, now enables the specification of both (1) catalogs of reusable requirements models (modeling for reuse), and (2) specific product requirements, by reusing previously defined requirements (modeling by reuse).

关键词： model-driven software development Requirements Engineering Requirements Metamodel (REMM) Requirements Variability and Reuse

来源：评论

学校读者我要写书评

暂无评论

MoCoRe - A Generic model-driven Composition and Rule-Based Refinement Framework 21

MoCoRe - A Generic Model-Driven Composition and Rule-Based R...

引用

21st International Conference on software Architecture (ICSA)

作者： Gstuer, Moritz Kirschner, Yves R. Singh, Snigdha Koziolek, Anne Karlsruhe Inst Technol KASTEL Inst Informat Secur & Dependabil Karlsruhe Germany

ISBN: (纸本)9798350366266;9798350366259

Modern software systems are constantly evolving and therefore subject to change. model-based knowledge about software systems improves traceability, supports software evolution processes, and helps in quality prediction. model transformation is often used to make heterogeneous model-based knowledge usable for model-consuming processes such as quality prediction. The goal of this work is to automate model-driven knowledge transformation and rule-based knowledge refinement to support model-consuming processes. Therefore, a model-driven composition and refinement approach is introduced that links model-generating processes such as reverse engineering with model-consuming processes such as quality prediction. The approach is realized in the form of a metamodel-independent framework that can be adapted to different target metamodels. The refinement rules of our approach are formulated using a high-level programming language. Besides the metamodel-independent framework, we present a concrete instantiation of the framework for a software architecture model for quality prediction. To demonstrate the approach, the instantiation of the framework is applied to six case studies. The results indicate that we can perform a lossless composition of input information into output models. Furthermore, the demonstration shows that the metamodel-independent framework enables knowledge refinement, achieving an F-score of 1.0 by enforcing eight specific refinement rules.

关键词： software Architecture Component-Based software Engineering model-driven software development model-driven Quality Prediction model-driven Reverse Engineering Palladio Component model model Composition model Refinement

来源：评论

学校读者我要写书评

暂无评论

A Metamodeling Approach to Estimate software Size from Requirements Specifications

A Metamodeling Approach to Estimate Software Size from Requi...

引用

34th EUROMICRO Conference on software Engineering and Advanced Applications

作者： Abrahao, Silvia Insfran, Emilio Univ Politecn Valencia Dept Informat Syst & Computat ISSI Res Grp Valencia 46022 Spain

ISBN: (纸本)9780769532769

Early software size estimation is essential for good project management. Although several proposals to estimate software size from requirement specifications exist, most of them have not been properly defined or automated. This paper presents the design and automation of a measurement procedure (ReqPoints) to estimate the size of object-oriented software projects from a requirements specification. The procedure is based on a requirements engineering approach that provides a MDA framework for requirements specification and model transformations to obtain the architecture of UML models. Specifically, a set of measurement rules is defined as a mapping between the concepts of the Requirements Metamodel onto the concepts of the Function Point Analysis (FPA) Metamodel. A Requirements EStimation Tool (PEST) was built to automate the measurement process. We demonstrate the feasibility of applying the estimation tool to a case study.

关键词： model-driven software development Requirements Engineering Functional Size Measurement

来源：评论

学校读者我要写书评

暂无评论

A model-driven Approach to SAP S/4HANA development 27th

A Model-Driven Approach to SAP S/4HANA Development

引用

27th International Conference on Enterprise Design, Operations, and Computing (EDOC)

作者： Neugebauer, Jonathan Hochstrat, Jonas Schneid, Konrad Sigge, Daniel Kuchen, Herbert Univ Munster Dept Informat Syst Munster Germany Best Practice Consulting AG Mittelhafen 16 D-48155 Munster Germany

ISBN: (纸本)9783031465864;9783031465871

While Enterprise Resource Planning systems such as SAP S/4HANA play a key role for many companies, they rarely come alone but are connected to other applications via interfaces. Usually, interface development is done for each project individually. However, there can still be many common requirements shared by multiple projects causing repetitive coding and leading to a maintenance nightmare. In this work, we introduce a novel approach to SAP S/4HANA development driven by models from which running code can be generated automatically. Thus, repetitive coding is avoided and development effort reduced. To this end, we discuss different methods of importing externally generated code into SAP S/4HANA. This is contrary to the development style pursued traditionally and required an analysis of how different development objects must be represented to be importable. As a case study, we apply our approach to interface development. However, beyond this use case, we hope to see applications of our approach in various other areas in the future.

关键词： model-driven software development Enterprise Resource Planning SAP S/4HANA Data Integration

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：