Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings最新文献_第2页

Traceability analysis of wireless sensor network based IoT systems 基于无线传感器网络的物联网系统溯源分析

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561584

Marko Mijalkovic, Burak Karaduman, Sadaf Mustafiz, Moharram Challenger

引用次数: 1

The instance model-view update problem in AADL AADL中实例模型视图更新问题

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3552373

R. Mittal

{"title":"The instance model-view update problem in AADL","authors":"R. Mittal","doi":"10.1145/3550356.3552373","DOIUrl":"https://doi.org/10.1145/3550356.3552373","url":null,"abstract":"The Architecture Analysis and Design Language (AADL) is a rich language for modeling embedded systems through several constructs such as component extension and refinement to promote modularity of component declarations. To ease processing AADL models, OSATE, the reference tool for AADL, defines another model (namely 'instance' model) computed from a base 'declarative' model/s. An instance model is a simple object tree where all information from the declarative model is flattened so that tools can easily use this information to analyze the system. However for modifications, they have to make changes in the complex declarative model since there is no automated backward transformation (de-instantiation) from instance to declarative models. Since the instance model is a 'view' of the declarative model, this is a view-update problem. In this paper, we propose the OSATE Declarative-Instance Mapping Tool (OSATE-DIM), an Eclipse plugin for de-instantiation of AADL models implementing a solution of this view-update problem. We evaluate OSATE-DIM with a benchmark of existing AADL model processing tools and verify the correctness of our de-instantiation transformations.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131138860","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Picto web: a tool for complex model exploration Picto web:一个用于复杂模型探索的工具

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3559094

A. Yohannis, D. Kolovos, A. García-Domínguez, Carlos Javier Fernández Candel

引用次数: 1

Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like? 为什么在适航软件中使用特定领域的建模需要新的方法，这些方法可能是什么样子的?

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561536

Vanessa Tietz, Constantin Frey, Julian Schoepf, Bjoern Annighoefer

{"title":"Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like?","authors":"Vanessa Tietz, Constantin Frey, Julian Schoepf, Bjoern Annighoefer","doi":"10.1145/3550356.3561536","DOIUrl":"https://doi.org/10.1145/3550356.3561536","url":null,"abstract":"The use of domain-specific modeling (DSM) in safety-critical avionics is rare, even though the ever-increasing complexity of avionics systems makes the use of DSM reasonable. DSM shows its advantage especially capturing complex systems, data and relationships. The reason for the limited use in the (safety-critical) avionics area is mainly due to the high demands on the safety of software and systems. Everything that is to be used in flight operations and development must undergo a rigorous and complex certification process. Any data used in operations must be verified. A reduction of this effort can be achieved by using qualified tools. A qualified tool can either replace or support certification activities. This paper elaborates different use cases of how DSM could be used in relation to airworthy software. For those use cases we review the effort of a certification and retrieve the major shortcomings and showstoppers of available frameworks, e.g. infeasible qualification of DSM runtimes and the inavailability of qualification artifacts. Finally, we elaborate possible ways of mitigation.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133635251","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Model validity and tolerance quantification for real-time adaptive approximation 实时自适应逼近的模型有效性和容差量化

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561604

Raheleh Biglari, J. Denil

{"title":"Model validity and tolerance quantification for real-time adaptive approximation","authors":"Raheleh Biglari, J. Denil","doi":"10.1145/3550356.3561604","DOIUrl":"https://doi.org/10.1145/3550356.3561604","url":null,"abstract":"Designing a Cyber-physical system (CPS) including modeling the control components and services is a challenging issue. Models and simulations at run-time play a crucial role to implement these control and prediction components. Real-time constraints raise the complexity of designing an efficient CPS system. Having detailed models in making decisions and/or numerous predictions in different contexts is computationally expensive and difficult to schedule on the computational infrastructure. Inspired by substitutability, one strategy for dealing with complex CPS and the contradiction of better real-time performance and reduced cost in CPS is to employ approximated models and switch to the most suited model adaptively at run-time. However, using an approximate model raises the uncertainty on the model's predictions. Nonetheless, the model is appropriate when the uncertainty is within bound. This bound is defined as tolerance which is the permitted amount of uncertainty. In this paper, we propose a method for quantifying the tolerance of cyber-physical systems, where we can switch between the original model and approximated models and how to identify more appropriate models.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"210 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128877774","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Fine-grained timed software in Simulink models 在Simulink模型中的细粒度定时软件

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561605

S. Resmerita

{"title":"Fine-grained timed software in Simulink models","authors":"S. Resmerita","doi":"10.1145/3550356.3561605","DOIUrl":"https://doi.org/10.1145/3550356.3561605","url":null,"abstract":"This paper considers a refinement of standard Software-in-the-Loop (SiL) testing called Fine-grained Timed SiL, in short FiTS, where execution of code fragments is interleaved with simulation of execution time consumption on appropriate virtual processor models. The interleaving takes place at accesses to inputs and outputs of the software component. We present here various FiTS implementations in Simulink, and explore avenues for virtual platform modeling with FiTS in Simulink. The paper also presents a use case for unit testing in model-based development of automotive controller software, where the software under test is code-generated from an upgraded version of a legacy Simulink model. Here, execution time simulation in FiTS at code fragment level has been instrumental in revealing a problem with the original model upgrade process. The issue is not visible in the original upgraded Simulink model or in its corresponding standard SiL, or in other SiL variants that consider execution times only at the software function level. This demonstrates the applicability of the FiTS approach as a general SiL testing method without the need for detailed platform models and accurate execution time estimates.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"122 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127064419","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Participatory agent-based modelling in healthcare: a domain-specific modelling language approach 医疗保健中参与式基于代理的建模:特定于领域的建模语言方法

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3552370

Thomas Godfrey

{"title":"Participatory agent-based modelling in healthcare: a domain-specific modelling language approach","authors":"Thomas Godfrey","doi":"10.1145/3550356.3552370","DOIUrl":"https://doi.org/10.1145/3550356.3552370","url":null,"abstract":"Management of infectious diseases is a critical issue in hospital emergency departments (ED). Participatory agent-based modelling (ABM) is an effective method of capturing and evaluating potential infection control interventions without incurring real-world costs. However, typical participatory modelling approaches use general-purpose programming languages or technically complex agent-oriented DSMLs during implementation. These languages are often inaccessible to ED staff, making communication difficult during domain analysis and reducing the traceability of model design. We argue that high-abstraction domain-specific modelling languages (DSMLs) can help improve the accessibility of ABM development to ED stakeholders, allowing them to engage more effectively in model design and experimentation. Rather than developing a DSML at the platform-level (i.e. using ABM concepts) we present a DSML that uses a highly-abstract domain-level syntax, specific to the ED domain. We present the current iteration of this DSML, and the vision for a participatory modelling methodology to be used during model and DSML development. We discuss ongoing modelling case studies in collaboration with St Thomas' Hospital in London and present an initial DSML empirical evaluation.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"280 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115421019","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Uncertainty in coupled models of cyber-physical systems 信息物理系统耦合模型中的不确定性

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561539

Maribel Acosta, Sebastian Hahner, A. Koziolek, Thomas Kühn, R. Mirandola, R. Reussner

引用次数: 2

A low-code approach to support method engineering 支持方法工程的低代码方法

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561588

R. Oliveira, Mario Cortes Cornax, A. Front, Alexandre Demeure

{"title":"A low-code approach to support method engineering","authors":"R. Oliveira, Mario Cortes Cornax, A. Front, Alexandre Demeure","doi":"10.1145/3550356.3561588","DOIUrl":"https://doi.org/10.1145/3550356.3561588","url":null,"abstract":"Method engineering is defined as a discipline to design, construct and adapt methods, techniques and tools for the development of information systems. A method formalizes and structures the steps needed in order to achieve a specific goal. By executing a method step by step, users follow a systematic and well defined way to attain the results which the method was created for. However, method creation or the adaptation of existing methods to a specific domain or organization is challenging if one does not have method engineering skills. In addition, the adoption of a method may also be difficult if there is no tool to support these activities. Method engineers may not have the programming skills to implement such a tool. In this context, we propose an approach inspired by the low-code and end-user development paradigms for method engineering. The advantages are twofold. Firstly, it helps method engineers in creating and configuring new methods. Secondly, the approach automatically provides tool support so that method experts can actually execute the method. This position paper presents the approach through a proof of concept implementation.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122135268","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Vision 愿景

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3559100

Hourieh Khalajzadeh, John C. Grundy, Jennifer McIntosh

引用次数: 1