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

arXiv 2019年

作者： Greenyer, Joel Lochau, Malte Vogel, Thomas Software Engineering for Ubiquitous Applications Leibniz Universität Hannover DE Germany Real-time Systems Lab TU Darmstadt DE Germany Software Engineering Research Group Humboldt-Universität zu Berlin DE Germany

来源：评论

学校读者我要写书评

暂无评论

Meta-tool for model-driven verification of constraints satisfaction 4

Meta-tool for model-driven verification of constraints satis...

引用

Doctoral Consortium - 4th International Conference on Model-Driven engineering and software Development, MODELSWARD 2016

作者： Cuesta, César Cuevas Martínez, Patricia López Drake, José M. Group of Software Engineering and Real-Time University of Cantabria Santander Spain

ISBN: (纸本)9783319663012

The work presented in this paper addresses the general problem of verifying if models structurally compliant to a given meta-model also satisfy the constraints specified on it, whether integrity or tool-specific ones. For accomplishing such constraints satisfaction verification, a completely model-driven strategy is proposed, whose core idea is to perform the checking by applying an M2M transformation to the model to verify, hence yielding a model which represents the verification result. This output model encapsulates every detected constraint violation, allowing their later manifestation, automatic fixing or any other kind of processing. Besides providing a meta-model for formalizing those diagnostic models gathering constraint violations, the presented methodology enables the systematic and straightforward development of verification tools, each one targeting a given couple of domain meta-model and constraints set. Therefore, it supports the actual objective of this work: A strategy for the development of a generic tool for the verification, suitable for any constraints set or meta-model. The functional foundation for designing such a generic tool is that it will be based on a generator (meta-tool) for the on-the-fly creation of the required specific tool (M2M checking transformation), thanks to the Higher Order Transformation (HOT) technique. © 2017, Springer International Publishing AG.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Model-driven approach for verifying conformity of models in the presence of constraints 4

Model-driven approach for verifying conformity of models in ...

引用

4th International Conference on Model-Driven engineering and software Development, MODELSWARD 2016

作者： Cuesta, César Cuevas Martínez, Patricia López Drake, José M. Group of Software Engineering and Real-Time University of Cantabria Santander Spain

ISBN: (纸本)9789897581687

This paper presents a model-driven approach for the systematic development of tools for checking the conformity of models when the domain formalization does not only consist of a meta-model but also on a set of constraints enhancing it. The strategy is built on top of the idea of representing the result of the verification as a model which gathers all the constraint violations found in the model, formulating them in a way that allows their later detailed manifestation, automatic correction or any other potential processing. With that aim, a meta-model for supporting those models describing constraints violations has been designed. The verification is applied by means of an M2M transformation that takes as input the model to verify and generates a model conforming to the designed meta-model. This methodology constitutes the way to accomplish the final objective: designing a strategy for the development of a generic tool for verification, regardless any particular meta-model or constraints set. This is performed through the duality of a model transformation as a processing program but also as a processed artefact (model), by means of the Higher Order Transformation (HOT) technique. © Copyright 2016 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Automating the construction of models based on domain views 4

Automating the construction of models based on domain views

引用

4th International Conference on Model-Driven engineering and software Development, MODELSWARD 2016

作者： Cuesta, César Cuevas Martínez, Patricia López Drake, José M. Group of Software Engineering and Real-Time University of Cantabria Santander Spain

ISBN: (纸本)9789897581687

This work addresses the automatic generation of the resources required for the assisted creation of domain models according to specialized views of their meta-model. The task of a designer who builds models compliant to a complex domain meta-model is eased if the model editor requests the information according to a specific view of the meta-model based on the conceptualization or the specific construction strategy that the designer uses. With that aim, this work presents 1) the meta-model with which a domain expert formulates the model creation strategy that he envisions, 2) the tool that, from that strategy information, generates the meta-model that drives data introduction and 3) the M2M transformation that generates the final model compliant to the original domain meta-model and that contains the newly introduced data. © Copyright 2016 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.

关键词： Metadata

来源：评论

学校读者我要写书评

暂无评论

Automating the construction of models based on domain views

Automating the construction of models based on domain views

引用

International Conference on Model-Driven engineering and software Development (MODELSWARD)

作者： César Cuevas Cuesta Patricia López Martínez José M. Drake Group of Software Engineering and Real-Time University of Cantabria Santander Spain

ISBN: (纸本)9781509058983

关键词： Tools Biological system modeling Complexity theory Adaptation models software Data models Machine-to-machine communications

来源：评论

学校读者我要写书评

暂无评论

Model-driven approach for verifying conformity of models in the presence of constraints

Model-driven approach for verifying conformity of models in ...

引用

International Conference on Model-Driven engineering and software Development (MODELSWARD)

作者： César Cuevas Cuesta Patricia López Martínez José M. Drake Group of Software Engineering and Real-Time University of Cantabria Santander Spain

ISBN: (纸本)9781509058983

关键词： Tools Unified modeling language Analytical models Data models Machine-to-machine communications real-time systems Semantics

来源：评论

学校读者我要写书评

暂无评论

AFDX emulator for an ARINC-based training platform 20th

AFDX emulator for an ARINC-based training platform

引用

20th Ada-Europe International Conference on Reliable software Technologies, Ada-Europe 2015

作者： Fernández, Jesús Pérez, Héctor Gutiérrez, J. Javier Harbour, Michael González Software Engineering and Real-Time Group Universidad de Cantabria Santander39005 Spain

ISBN: (纸本)9783319195834

AFDX (Avionics Full Duplex Switched Ethernet) is a standard communication network for avionics based on Ethernet links and special-purpose switches. This paper proposes an AFDX emulator based on standard Ethernet hardware (cards and switches) to build a low cost AFDX network for training or basic research purposes. We also propose the integration of the emulator within an ARINC-653 platform to allow the development of real-time Ada applications. Finally, a performance evaluation has been done in order to show the usability of the emulator. © Springer International Publishing Switzerland 2015.

关键词： Ethernet

来源：评论

学校读者我要写书评

暂无评论

CPU isolation on the android OS for running real-time applications 15

CPU isolation on the android OS for running real-time applic...

引用

13th International Workshop on Java Technologies for real-time and Embedded Systems, JTRES 2015

作者： Ruiz, Alejandro Pérez Rivas, Mario Aldea Harbour, Michael González Software Engineering and Real-Time Group Universidad de Cantabria Santander39005 Spain

ISBN: (纸本)9781450336444

The Android operating system is widely used on mobile devices such as smartphones or tablets. From the first Android devices to now, this operating system has improved its features and has been extended to new hardware. Because of its widespread use and the high number of low-cost hardware platforms on which it is available, there is a great interest in using it in areas such as automotive, industrial control or medical environments, where real-time requirements are imposed. This paper presents a solution that takes advantage of both, the fact that Android is based on the Linux kernel and that most of the newest Android devices use multicore processors. Thus, we have studied the mechanisms provided by the Linux kernel to isolate CPUs. The use of these mechanisms does not require profound changes in Android, only configuration adjustments. In addition, we have determined that using appropriate isolation mechanisms, Android can be used for soft real-time purposes. Since our solution does not require major modifications of the operating system it is very portable among all kinds of devices. © 2015 ACM.

关键词： Android (operating system)

来源：评论

学校读者我要写书评

暂无评论

Fault-based product-line testing: Effective sample generation based on feature-diagram mutation 15

Fault-based product-line testing: Effective sample generatio...

引用

19th International software Product Line Conference, SPLC 2015

作者： Reuling, Dennis Bürdek, Johannes Rotärmel, Serge Lochau, Malte Kelter, Udo Software Engineering Group University of Siegen Germany Real-Time Systems Lab TU Darmstadt Germany

ISBN: (纸本)9781450336130

Testing every member of a product line individually is often impracticable due to large number of possible product configurations. Thus, feature models are frequently used to generate samples, i.e., subsets of product configurations under test. Besides the extensively studied combinatorial interaction testing (CIT) approach for coverage-driven sample generation, only few approaches exist so far adopting mutation testing to emulate faults in feature models to be detected by a sample. In this paper, we present a mutationbased sampling framework for fault-based product-line testing. We define a comprehensive catalog of atomic mutation operators on the graphical representation of feature models. This way, we are able (1) to also define complex mutation operators emulating more subtle faults, and (2) to classify operators semantically, e.g., to avoid redundant and equivalent mutants. We further introduce similarity-based mutant selection and higher order mutation strategies to reduce testing efforts. Our implementation is based on the graph transformation engine Henshin and is evaluated concerning effectiveness/efficiency trade-offs. © 2015 ACM.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Schedulability analysis of multi-packet messages in segmented CAN

Schedulability analysis of multi-packet messages in segmente...

引用

2012 IEEE 17th International Conference on Emerging Technologies and Factory Automation, ETFA 2012

作者： Azketa, Ekain Gutierrez, J. Javier Palencia, J. Carlos Harbour, Michael Gonzalez Almeida, Luis Marcos, Marga Ikerlan Technology Research Center Software Technologies Department Mondragón Spain University of Cantabria Computers and Real-Time Group Santander Spain University of Porto Electrical and Computer Engineering Department Porto Portugal University of Basque Country Systems Engineering and Automation Department Bilbao Spain

ISBN: (纸本)9781467347372

The CAN bus is one of the most used networks in distributed real-time systems. The CAN bus can be divided by means of bridges in order to distribute the network load among different segments and contribute positively to the schedulability of the system. On the other hand, CAN supports the fragmentation of a message in multiple packets when it does not fit into one single CAN frame. The schedulability analysis of CAN has been extensively studied in the literature. Although the proposed methods analyze non-segmented CAN buses, they can be applied to segmented networks. However, the techniques from the related literature obtain quite pessimistic results in the analysis of segmented CAN networks with multi-packet messages. This paper proposes a less pessimistic CAN schedulability analysis method for the mentioned kind of networks. Moreover, this optimized technique can be integrated with methods oriented to the holistic schedulability analysis of a complete distributed real-time system. © 2012 IEEE.

关键词： Interactive computer systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：