2016 Architecture-Centric Virtual Integration (ACVI)最新文献

Model-Driven Engineering for Designing Safe and Secure Embedded Systems 安全嵌入式系统的模型驱动工程设计

2016 Architecture-Centric Virtual Integration (ACVI) Pub Date : 2016-04-05 DOI: 10.1109/ACVI.2016.6

L. Apvrille, Letitia W. Li, Y. Roudier

引用次数: 13

Will the ICDs Please Stand Up? An Attempt to Reason about Subsystem Interfaces in Avionics System Integration icd会站起来吗?航空电子系统集成中子系统接口的探讨

2016 Architecture-Centric Virtual Integration (ACVI) Pub Date : 2016-04-05 DOI: 10.1109/ACVI.2016.5

R. Champagne, Hassna Louadah

{"title":"Will the ICDs Please Stand Up? An Attempt to Reason about Subsystem Interfaces in Avionics System Integration","authors":"R. Champagne, Hassna Louadah","doi":"10.1109/ACVI.2016.5","DOIUrl":"https://doi.org/10.1109/ACVI.2016.5","url":null,"abstract":"System integrators for commercial aircraft reason about the subsystems they must integrate using Interface Control Documents (ICDs). Although ICD format standards exist in this specific domain, avionics suppliers express their ICDs in different ways, making the integrator's work challenging. As software engineering researchers, we are trying to define a common vocabulary for ICDs in the context of avionics systems integration. This paper describes this effort and the associated challenges. Our experience is that concepts such as architectural interfaces and abstraction, among others, are challenged in an avionics context. Moreover, understanding the concept of ICD, coming from a software engineering perspective, is not easy. Examples of ICDs in avionics are few, as real ICDs convey proprietary information which aircraft builders and their suppliers do not share publicly. We share our experience by describing an attempt to model ICDs for subsystems of a small avionics system, based on open standards, using both federated and IMA architectures. Our attempts lead us to conclude that it is required to model subsystems to a certain level of detail before establishing what their ICDs are (i.e. a bottom-up approach). The Architecture Analysis and Design Language (AADL) appears to be an appropriate language for this undertaking.","PeriodicalId":202109,"journal":{"name":"2016 Architecture-Centric Virtual Integration (ACVI)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115763340","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

Modeling the Behavioral Semantics of Heterogeneous Languages and their Coordination 异构语言的行为语义建模及其协调

2016 Architecture-Centric Virtual Integration (ACVI) Pub Date : 2016-04-05 DOI: 10.1109/ACVI.2016.9

Julien Deantoni

{"title":"Modeling the Behavioral Semantics of Heterogeneous Languages and their Coordination","authors":"Julien Deantoni","doi":"10.1109/ACVI.2016.9","DOIUrl":"https://doi.org/10.1109/ACVI.2016.9","url":null,"abstract":"In the software and system modeling community, research on domain-specific modeling languages (DSMLs) is focused on providing technologies for developing languages and tools that allow domain experts to develop system solutions efficiently. Unfortunately, the current lack of support for explicitly relating concepts expressed in different DSMLs makes it very difficult for software and system engineers to reason about information spread across models describing different system aspects. As a particular challenge, we present in this paper how we dealt with relationships between heterogeneous behavioral models to support their concurrent and coordinated execution. This was achieved by providing dedicated meta-language to define the behavioral semantics of DSMLs and their coordination. The approach made explicit a formal model of the control flow (MoCC); domain-specific actions (DSA) and a well-defined protocol between them (incl., mapping, feedback and callback) reified through explicit domain-specific events (DSE). The protocol is then used to infer a relevant behavioral language interface for specifying coordination patterns to be applied on conforming executable models. As a result, heterogeneous languages and their relationships can be developed in the GEMOC studio, which provides extensive support to run and debug heterogeneous models. This is outlined in the paper on the definition of the Marked Graph language and its coordination with a scenario language.","PeriodicalId":202109,"journal":{"name":"2016 Architecture-Centric Virtual Integration (ACVI)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132524925","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}

引用次数: 14

A Temporal Logics Approach to Contract-Based Design 基于契约设计的时间逻辑方法

2016 Architecture-Centric Virtual Integration (ACVI) Pub Date : 2016-04-05 DOI: 10.1109/ACVI.2016.7

A. Cimatti, Stefano Tonetta

引用次数: 5

Integration Beyond Components and Models: Research Challenges and Directions 超越组件和模型的集成:研究挑战和方向

2016 Architecture-Centric Virtual Integration (ACVI) Pub Date : 2016-04-05 DOI: 10.1109/ACVI.2016.8

I. Ruchkin

引用次数: 5