发布求助
文献互助 智能选刊 最新文献

Companion Proceedings of the 15th International Conference on Modularity最新文献

筛选
英文 中文
Towards availability and real-time guarantees for protected module architectures 为受保护的模块架构提供可用性和实时性保证
Companion Proceedings of the 15th International Conference on Modularity Pub Date : 2016-03-14 DOI: 10.1145/2892664.2892693
Jo Van Bulck, Job Noorman, J. Mühlberg, F. Piessens
{"title":"Towards availability and real-time guarantees for protected module architectures","authors":"Jo Van Bulck, Job Noorman, J. Mühlberg, F. Piessens","doi":"10.1145/2892664.2892693","DOIUrl":"https://doi.org/10.1145/2892664.2892693","url":null,"abstract":"Protected Module Architectures are a new brand of security architectures whose main objective is to support the secure isolated execution of software modules with a minimal Trusted Computing Base (TCB) -- several prototypes for embedded systems (and also the Intel Software Guard eXtensions for higher-end systems) ensure isolation with a hardware-only TCB. However, while these architectures offer strong confidentiality and integrity guarantees for software modules, they offer no availability (let alone real-time) guarantees. This paper reports on our work-in-progress towards extending a protected module architecture for small microprocessors with availability and real-time guarantees. Our objective is to maintain the existing security guarantees with a hardware-only TCB, but to also guarantee availability (and even real-time properties) if one can also trust the scheduler. The scheduler, as any software on the platform, remains untrusted for confidentiality and integrity -- but it is sufficient to trust the scheduler module to get availability guarantees even on a partially compromised platform.","PeriodicalId":413254,"journal":{"name":"Companion Proceedings of the 15th International Conference on Modularity","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125282399","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}
引用次数: 9
A dynamic instance binding mechanism supporting run-time variability of role-based software systems 支持基于角色的软件系统运行时可变性的动态实例绑定机制
Companion Proceedings of the 15th International Conference on Modularity Pub Date : 2016-03-14 DOI: 10.1145/2892664.2892687
Nguonly Taing, T. Springer, Nicolás Cardozo, A. Schill
{"title":"A dynamic instance binding mechanism supporting run-time variability of role-based software systems","authors":"Nguonly Taing, T. Springer, Nicolás Cardozo, A. Schill","doi":"10.1145/2892664.2892687","DOIUrl":"https://doi.org/10.1145/2892664.2892687","url":null,"abstract":"Role-based approaches gain more and more interest for modeling and implementing variable software systems. Role models clearly separate static behavior represented by players and dynamic behavior modeled as roles which can be dynamically bound and unbound to players at run time. To support the execution of role-based systems, a dynamic binding mechanism is required. Especially, since instances of the same player type can play different roles in a single context, the binding mechanism is required to operate at instance level. In this paper, we introduce a mechanism called dynamic instance binding for implementing a runtime for role-based systems. It maintains a look-up table that allows the run-time system to determine and invoke the currently active role binding at instance level. We explain dynamic instance binding mechanism in detail and demonstrate that it is flexible enough to support both adaptation and evolution of software systems at run time.","PeriodicalId":413254,"journal":{"name":"Companion Proceedings of the 15th International Conference on Modularity","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114158061","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}
引用次数: 24
Modular modeling with a computational twist in MetaMod 模块化建模与计算扭曲在MetaMod
Companion Proceedings of the 15th International Conference on Modularity Pub Date : 2016-03-14 DOI: 10.1145/2892664.2893463
A. Sutîi, T. Verhoeff, M. Brand
{"title":"Modular modeling with a computational twist in MetaMod","authors":"A. Sutîi, T. Verhoeff, M. Brand","doi":"10.1145/2892664.2893463","DOIUrl":"https://doi.org/10.1145/2892664.2893463","url":null,"abstract":"Model-driven engineering (MDE) is a software development methodology that promises to alleviate the complex task of writing software. To achieve its goals, MDE makes use of models. Although models are concise representations of the knowledge in a domain, they can become large and complex. In dealing with complexity, modularity has proven to be a good ally for engineers in general software development. Inspired by this, we set to explore modularity for models. To this end, we incorporated two mechanisms: grouping and fragment abstractions. The second ingredient, in particular, gives rise to an interesting combination between modeling elements and computational elements. To test our ideas, we have implemented a prototype metamodeling language called MetaMod. To highlight MetaMod's essential features we have included a small example for train tracks.","PeriodicalId":413254,"journal":{"name":"Companion Proceedings of the 15th International Conference on Modularity","volume":"159 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122175029","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}
引用次数: 1
A taxonomy of context-aware software variability approaches 上下文感知软件可变性方法的分类
Companion Proceedings of the 15th International Conference on Modularity Pub Date : 2016-03-14 DOI: 10.1145/2892664.2892684
K. Mens, Rafael Capilla, Nicolás Cardozo, Bruno Dumas
{"title":"A taxonomy of context-aware software variability approaches","authors":"K. Mens, Rafael Capilla, Nicolás Cardozo, Bruno Dumas","doi":"10.1145/2892664.2892684","DOIUrl":"https://doi.org/10.1145/2892664.2892684","url":null,"abstract":"Modern software systems demand more and more smart capabilities depending on their context of use, as well as the ability to dynamically adapt these capabilities according to sensed context changes. This requires appropriate techniques for modelling, representing and handling context-aware software variability. While traditional variability modelling approaches like feature orientation and software product lines are evolving to address the increased dynamicity and context specificity required for this new generation of software systems, new paradigms such as context-oriented programming have emerged. Although developed independently, since they address similar issues, many similarities exist between these approaches. The purpose of this paper is to define, categorise and compare key concepts shared by these approaches. Such a taxonomy is a first step towards a better understanding of the differences and similarities between different approaches for managing context-aware software variability, and to achieve a cross-fertilisation between them.","PeriodicalId":413254,"journal":{"name":"Companion Proceedings of the 15th International Conference on Modularity","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123324303","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}
引用次数: 28
Emfrp: a functional reactive programming language for small-scale embedded systems Emfrp:用于小型嵌入式系统的函数式响应式编程语言
Companion Proceedings of the 15th International Conference on Modularity Pub Date : 2016-03-14 DOI: 10.1145/2892664.2892670
Kensuke Sawada, Takuo Watanabe
{"title":"Emfrp: a functional reactive programming language for small-scale embedded systems","authors":"Kensuke Sawada, Takuo Watanabe","doi":"10.1145/2892664.2892670","DOIUrl":"https://doi.org/10.1145/2892664.2892670","url":null,"abstract":"In this paper, we introduce a new functional reactive programming (FRP) language Emfrp designed to support small-scale embedded systems. An Emfrp program defines a system as a fixed directed graph whose nodes correspond to the time-varying values in the system. The language equips a simple mechanism that enables each node to refer the past values of arbitrary nodes. Using this mechanism, Emfrp provides simplicity and flexibility for describing complex time-dependent reactive behaviors without space and time leaks. Our Emfrp compiler produces platform-independent ANSI-C code that can run on multiple processors including resource constrained microcontrollers. To demonstrate the capabilities of the language, we show a simple but non-trivial example application.","PeriodicalId":413254,"journal":{"name":"Companion Proceedings of the 15th International Conference on Modularity","volume":"52 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130766238","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}
引用次数: 32
Literal inter-language use case driven modularization 文字间语言用例驱动的模块化
Companion Proceedings of the 15th International Conference on Modularity Pub Date : 2016-03-14 DOI: 10.1145/2892664.2892680
M. Bystrický, V. Vranić
{"title":"Literal inter-language use case driven modularization","authors":"M. Bystrický, V. Vranić","doi":"10.1145/2892664.2892680","DOIUrl":"https://doi.org/10.1145/2892664.2892680","url":null,"abstract":"Use cases are a practically proven choice to concisely and precisely express what highly interactive systems do. Several attempts have been made to modularize code according to use cases. None of these approaches is able to gather all the code related to a use case in one module and to reflect its steps. However, to allow for code to be modularized according to use case flows and their steps, an instrumentation environment is necessary. In this paper, literal multi-language use case coding based on defragmentation is proposed. The approach aims at fully preserving use case flows in as comprehensible form as possible. The steps of use case flows appear directly in the code as comments. Despite being comments, the steps are active, which is achieved by a dedicated preprocessor and framework. The detailed step implementation gathers all the code fragments of each step each of which may be in a different programming language.","PeriodicalId":413254,"journal":{"name":"Companion Proceedings of the 15th International Conference on Modularity","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115010052","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}
引用次数: 6
Development environment for literal inter-language use case driven modularization 用于文字间语言用例驱动模块化的开发环境
Companion Proceedings of the 15th International Conference on Modularity Pub Date : 2016-03-14 DOI: 10.1145/2892664.2893465
M. Bystrický, V. Vranić
{"title":"Development environment for literal inter-language use case driven modularization","authors":"M. Bystrický, V. Vranić","doi":"10.1145/2892664.2893465","DOIUrl":"https://doi.org/10.1145/2892664.2893465","url":null,"abstract":"Commonly, during programming the code related to use cases becomes scattered across different modules and at the same time the code related to different use cases becomes tangled. This way, it is hard to follow the intent, which is otherwise well comprehensible in use cases. In this paper, we demonstrate a development environment for literal inter-language use case driven modularization. The environment enables to preserve use cases and their steps and have each use case text and related code focused in one file. For this, code instrumentation at three levels is involved: continuous processing, preprocessing, and execution. The approach itself requires also execution control provided by a dedicated framework. Many aspects of the program can be controlled directly from the use case text. At the same time, it is comprehensible to a wide range of stakeholders. A layered 3D layout of the use case dependencies is provided in the environment (https://bitbucket.org/bystricky/literal-use-cases, https://www.youtube.com/watch?v=R4ArqH4ZdgI).","PeriodicalId":413254,"journal":{"name":"Companion Proceedings of the 15th International Conference on Modularity","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117242945","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}
引用次数: 4
Tool support for component-based semantics 工具支持基于组件的语义
Companion Proceedings of the 15th International Conference on Modularity Pub Date : 2016-03-14 DOI: 10.1145/2892664.2893464
L. T. V. Binsbergen, Neil Sculthorpe, P. Mosses
{"title":"Tool support for component-based semantics","authors":"L. T. V. Binsbergen, Neil Sculthorpe, P. Mosses","doi":"10.1145/2892664.2893464","DOIUrl":"https://doi.org/10.1145/2892664.2893464","url":null,"abstract":"The developers of a programming language need to document its intended syntax and semantics, and to update the documentation when the language evolves. They use formal grammars to define context-free syntax, but usually give only an informal description of semantics. Use of formal semantics could greatly increase the consistency and completeness of language documentation, support rapid prototyping, and allow empirical validation. Modularity of semantics is essential for practicality when scaling up to definitions of larger languages. Component-based semantics takes modularity to the highest possible level. In this approach, the semantics of a language is defined by equations translating its constructs (compositionally) to combinations of so-called fundamental constructs, or `funcons'. The definition of each funcon is a small, highly reusable component. The PLanCompS project has defined a substantial library of funcons, and shown their reusability in several case studies. We have designed a meta-language called CBS for component-based semantics, and an IDE to support development, rapid prototyping, and validation of definitions in CBS. After introducing and motivating CBS, we demonstrate how the IDE can be used to browse and edit the CBS definition of a toy language, to generate a prototype implementation of the language, and to parse and run programs.","PeriodicalId":413254,"journal":{"name":"Companion Proceedings of the 15th International Conference on Modularity","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125800210","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}
引用次数: 17
The modularity of object propositions 对象命题的模块化
Companion Proceedings of the 15th International Conference on Modularity Pub Date : 2016-03-14 DOI: 10.1145/2892664.2892705
L. Nistor
{"title":"The modularity of object propositions","authors":"L. Nistor","doi":"10.1145/2892664.2892705","DOIUrl":"https://doi.org/10.1145/2892664.2892705","url":null,"abstract":"A significant concern in verification research is the ability to reason modularly about programs with state. Recent work has used substructural logics including separation logic , permissions, and Hoare Type Theory to specify each function in terms of its effect on its footprint. The motivation of our work is the need for formal specifications that allow one to hide shared data between two abstractions. In 2014, we proposed object propositions as an automatable extension to abstract predicates. We allow state to be shared between two objects, by providing fractional permissions to access the common data hidden in a predicate, without revealing this sharing in the objects' specifications. Unlike conventional object invariant and ownership-based work, our system allows ownership transfer by passing unique permissions (permissions with a fraction of 1) from one reference to another. Unlike separation logic and permission systems, we can modify objects without owning them. This has information-hiding and system-structuring benefits.","PeriodicalId":413254,"journal":{"name":"Companion Proceedings of the 15th International Conference on Modularity","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130445395","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
Toward disposable domain-specific aspect languages 朝着一次性的特定于领域的方面语言发展
Companion Proceedings of the 15th International Conference on Modularity Pub Date : 2016-03-14 DOI: 10.1145/2892664.2892676
Arik Hadas, D. Lorenz
{"title":"Toward disposable domain-specific aspect languages","authors":"Arik Hadas, D. Lorenz","doi":"10.1145/2892664.2892676","DOIUrl":"https://doi.org/10.1145/2892664.2892676","url":null,"abstract":"Consider the task of auditing an application whose main functionality is to execute commands received from clients. One could audit command executions with AspectJ. Alternatively, one could design, implement, and use a domain-specific aspect language for auditing, and then throw the language away. In this paper we argue that such disposable aspect languages are useful and that developing them may overall be as cost-effective as using general-purpose aspect languages.","PeriodicalId":413254,"journal":{"name":"Companion Proceedings of the 15th International Conference on Modularity","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126350515","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
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书