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

IEEE/ACM 6th International Workshop on software engineering for Systems-of-Systems (SESoS)

作者： Baek, Young-Min Song, Jiyoung Shin, Yong-Jun Park, Sumin Bae, Doo-Hwan Korea Adv Inst Sci & Technol Daejeon South Korea

ISBN: (纸本)9781450357470

A System-of-Systems (SoS) is a large-scale complex system that integrates multiple constituent systems, which have managerial and operational independence. In order to achieve higher-level common goals of an SoS, it is important to systematically integrate independent constituent systems by thoroughly analyzing and designing the target SoS as a whole. But before conducting these engineering activities, a number of various SoS stakeholders and engineers should be able to understand their SoS. In order to provide a holistic view as a common knowledge base, this paper focuses on developing a conceptual meta-model that represents SoS ontologies. By investigating several documents for Mass Casualty Incident (MCI) response systems, we identified essential objects and required features for SoS descriptions. based on the investigation, we generalized the objects into SoS entities, and we develop a meta-model, called M2SoS (Meta-model for System-of-Systems). To design our M2SoS, we borrowed organizational concepts from meta-models for multi-agent systems, and entities and relationships are redefined to specify SoS concepts in M2SoS. Finally, M2SoS is analyzed with respect to SoS characteristics, and we evaluate if M2SoS can represent high-level ontologies for two SoS case scenarios.

关键词： System-of-Systems SoS engineering model-based software engineering meta-model ontology conceptual model

来源：评论

学校读者我要写书评

暂无评论

A Curated Corpus of Simulink models for model-based Empirical Studies 4

A Curated Corpus of Simulink Models for Model-based Empirica...

引用

4th IEEE/ACM International Workshop on software engineering for Smart Cyber-Physical Systems (SEsCPS)

作者： Chowdhury, Shafiul Azam Varghese, Lina Sera Mohian, Soumik Johnson, Taylor T. Csallner, Christoph Univ Texas Arlington Arlington TX 76019 USA Vanderbilt Univ 221 Kirkland Hall Nashville TN 37235 USA

ISBN: (纸本)9781450357289

Recent years have seen many empirical studies of model-based cyber-physical systems and commercial CPS development tool chains such as Matlab/Simulink. To benefit such research, this paper presents the by-far largest corpus of freely available Simulink models to date, containing over 1,000 models. Surprising findings based on this corpus include that (a) tool support for metric collection is not adequate and (b) users do not reuse model components as they would in object-oriented programs. The paper both confirms and contradicts earlier findings that are based on significantly fewer models, suggesting the utility of the corpus for future research. While others have not yet leveraged this model corpus, we hope that our freely available corpus and infrastructure will benefit future model-based empirical research and tool development efforts, by reducing the model-collection overhead and thus easing evaluation.

关键词： Cyber-physical systems model-based software engineering empirical study Simulink

来源：评论

学校读者我要写书评

暂无评论

Towards a process model for Service-Oriented Development of Embedded software Systems 15

Towards a process model for Service-Oriented Development of ...

引用

15th International Conference on Frontiers of Information Technology (FIT)

作者： Aziz, Muhammad Waqar CECOS Univ IT & Emerging Sci Dept Comp Sci Peshawar 25000 Pakistan

ISBN: (纸本)9781538635674

As the amount of software is increasing in embedded systems, the software engineering methods and techniques can be applied in their development. In this scenario, Service-Oriented Computing (SOC) has previously been used in the development of embedded systems. However, the concepts of SOC are mostly used at the implementation level without any focus on system analysis and design. To fill this gap, a systematic process model is proposed in this paper for service-oriented development of embedded software systems. The proposed process consists of analysis and design phases of software development. The analysis phase is concerned with the collection of system information and preparation for the system design. based on this, the system models are developed in the design phase. The effectiveness of the proposed process model is demonstrated through its application in the Smart Home case study. Following the model-based software engineering process, the high-level models can be transformed into the low-level code.

关键词： Embedded software Systems Service-Oriented Computing model-based software engineering software Analysis and design Smart Home

来源：评论

学校读者我要写书评

暂无评论

ADVANCED model-based software engineering TECHNOLOGIES FOR software DEFINED RADIO CONFIGURATION

ADVANCED MODEL-BASED SOFTWARE ENGINEERING TECHNOLOGIES FOR S...

引用

MILCOM Military Communications Conference

作者： Liu, William C. McNeill, Kevin M. Cook, Michael Krikeles, Basil BAE Syst Technol Solut Cyber Operat & Networking Div Arlington VA 22209 USA BAE Syst Technol Solut Adv Decis Syst Div Burlington MA USA

ISBN: (纸本)9781424481804

model based technologies can be used to reduce the cost of development and maintenance software intensive systems and to enable additional capabilities such as load time configuration and run time adaptation. Such systems include complex communications systems based on software defined radios that have adaptive or cognitive capabilities. Advanced methodologies and tools for developing adaptive software are needed to build such systems at an acceptable cost while maintaining safety and correctness. We have developed such methodologies and tools and have used two experimental platforms to validate them in realistic domains: 1) Flight control and vehicle management software and 2) software defined radios. The overall goal is to demonstrate a 90% (10 X) savings in software development time and cost compared to conventional, non-model based technologies. In this presentation we will describe our application of model-based techniques to the dynamic configuration of software defined radios in the field according to mission context, environmental conditions and resource constraints.

关键词： software Producibility model-based software engineering software Defined Radio

来源：评论

学校读者我要写书评

暂无评论

model Driven software Security Architecture of Systems-of-Systems 23

Model Driven Software Security Architecture of Systems-of-Sy...

引用

23rd Asia-Pacific software engineering Conference (APSEC)

作者： El Hachem, Jamal Pang, Zi Yang Chiprianov, Vanea Babar, Ali Aniorte, Philippe Univ Pau & Pays Adour LIUPPA Pau France Univ Adelaide Adelaide SA Australia

ISBN: (纸本)9781509055753

Recently, there is a growing interest in Systems of Systems (SoS), their architecture, security and application domains. However, their specific characteristics such as the operational independence of SoS constituent systems (CS), the absence of central authority and their emergent behavior make the modeling of their structure, behavior and security a complex task. One of the current main security challenges in the context of SoS is the cascading attack problem. The challenge is to predict the concatenation/sequence of CS's vulnerabilities that could be triggered resulting in destructive cascading failures and take corrective actions to reduce the cost, development time and effect of later changes. In this paper, we propose a domain specific modeling language (DSML) to represent SoS security architecture. Having SoS security models will enable the discovery, analysis and resolution of cascading attacks, in the architecture phase, preventing development time and cost wastage. Following a model Driven engineering (MDE) approach, we generate a graphical editor for our DSML and use it to model a Smart Campus case study.

关键词： model Driven engineering model-based software engineering modeling Language software Architecture Systems-of-Systems Security Smart Cities Smart Campus

来源：评论

学校读者我要写书评

暂无评论

Bidirectional Crosslinking of System and software modeling in the Automotive Domain 1

引用

7th International Workshop on software engineering for Resilient Systems (SERENE)

作者： Sporer, Harald Macher, Georg Hoeller, Andrea Kreiner, Christian Graz Univ Technol Inst Tech Informat A-8010 Graz Austria

ISBN: (数字)9783319231297

ISBN: (纸本)9783319231297;9783319231280

Replacing former pure mechanical functionalities by mechatronics-based solutions, introducing new propulsion technologies, and connecting cars to their environment are only a few reasons for the still growing E/E-System complexity at modern passenger cars. Hence, for an engineering company in the automotive embedded system domain it is vital to establish mature development processes, including a smart tool chain orchestration. Starting from the customer requirements until the final release of the product, traceability and consistency between all development artifacts shall be given. However, achieving this by linking the development items manually is a tedious and error-prone task. The aim of this work is to enhance the development process by introducing a fully automatic transformation of a system design model into a software framework model and vice versa. With this novel approach, the full traceability, between the system and software architectural levels, is guaranteed.

关键词： Automotive model-based development Embedded systems Traceability model-based software engineering

来源：评论

学校读者我要写书评

暂无评论

Incorporation of model-based System and software Development Environments 41

Incorporation of Model-based System and Software Development...

引用

41st Euromicro Conference on software engineering and Advanced Applications 2015

作者： Sporer, Harald Macher, Georg Armengaud, Eric Kreiner, Christian Graz Univ Technol Inst Tech Informat A-8010 Graz Austria AVL List GmbH Graz Austria

ISBN: (纸本)9781467375856

Development of dependable embedded automotive systems faces many challenges arising from increasing complexity, criticality, and demand of certifiability. Efficient and consistent development models along the entire development life cycle needs to be ensured. So far, existing solutions are still frequently insufficient when transforming system models with higher level of abstraction to more concrete engineering models (such as software engineering models). De facto industry standards aims to standardize frameworks and to facilitate the exchange of information. However, refinement of system designs into hardware and software implementations is still a tedious task. The aim of this work is to enhance an automotive model-driven system engineering framework with software architecture design capabilities and a model transformation framework to enable a seamless description of safety-critical systems, from requirements at the system level down to software component implementation in a bidirectional way.

关键词： ISO 26262 automotive model-based development real-time systems reuse traceability model-based software engineering

来源：评论

学校读者我要写书评

暂无评论

An aspect-oriented, model-driven approach to functional hardware verification

引用

JOURNAL OF SYSTEMS ARCHITECTURE 2012年第5期58卷 195-208页

作者： Linehan, Eamonn Clarke, Siobhan Trinity Coll Dublin Sch Comp Sci & Stat Distributed Syst Grp Lero Irish Software Engn Res Ctr Dublin Ireland

The cost of correcting errors in the design of an embedded system's hardware components can be higher than for its software components, making it important to test as early as possible. Testing hardware components before they are implemented involves verifying the design through either formal or more commonly, simulation-based functional verification. Performing functional verification of a hardware design requires software-based simulators and verification testbenches. However, the increasing complexity of embedded systems is contributing to testbenches that are progressively more difficult to understand, maintain, extend and reuse across projects. This paper presents an aspect-oriented domain-specific modelling language for the e hardware verification language that can be used as part of a model-based software engineering process. The modelling language is designed to produce well modularised models from which e code can be generated, thereby improving engineers ability to develop testbenches that can be more easily maintained, adapted and reused. We demonstrate the suitability of the modelling language through its application to a representative testbench from the automotive semiconductor industry. (C) 2011 Elsevier B.V. All rights reserved.

关键词： model-based software engineering Aspect-oriented programming Theme/UML Code generation MARIE DSML Hardware verification

来源：评论

学校读者我要写书评

暂无评论

modelling Local and Global Behaviour: Petri Nets and Event Coordination

Modelling Local and Global Behaviour: Petri Nets and Event C...

引用

32nd Int Conf on Applications and Theory of Petri Nets and Other models of Concurrency / 11th Int Conf on Application of Concurrency to System Design

作者： Kindler, Ekkart Tech Univ Denmark Informat & Math Modelling Aarhus Denmark

ISBN: (纸本)9783642351792

Today, it is possible to generate major parts of a software system from models. Most of the generated code, however, concerns the structural parts of the software;the code that concerns the actual functionality or behaviour of the software system is often still programmed manually. In order to address this problem, we developed the notation of coordination diagrams, which allows us to define the global behaviour of a software system on top of existing class diagrams. One of the major objectives of coordination diagrams was to make it easy to integrate them and the code generated from them with existing structural models, with existing code, and with other behavioural models. Basically, coordination diagrams define how the local behaviour of the individual parts of the software is coordinated with each other. The main concepts of coordination diagrams and their semantics are stabilising now: We call it the Event Coordination Notation (ECNO). ECNO's coordination diagrams define the global behaviour of a system only: they define how the local behaviour is coordinated and jointly executed in so-called interactions. In principle, ECNO is independent from a specific notation for modelling the local behaviour. For our experiments with ECNO, however, we implemented a simple modelling notation for the local behaviour, which is based on Petri nets: ECNO nets. Together, ECNO coordination diagrams and ECNO nets allow us to completely model a software system, and generate executable code for it. In this paper, we discuss the general idea of ECNO and of ECNO nets. ECNO nets are implemented as a Petri net type for the ePNK tool, together with a code generator that produces code that can be executed by the ECNO execution engine.

关键词： model-based software engineering Local and global behaviour modelling Event coordination Petri nets Code generation

来源：评论

学校读者我要写书评

暂无评论

model-Driven Automation for Simulation-based Functional Verification

引用

ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS 2012年第3期17卷 31-31页

作者： Linehan, Eamonn O'Toole, Eamonn Clarke, Siobhan Trinity Coll Dublin Lero Dublin Ireland

Developing testbenches for dynamic functional verification of hardware designs is a software-intensive process that lies on the critical path of electronic system design. The increasing capabilities of electronic components is contributing to the construction of complex verification environments that are increasingly difficult to understand, maintain, extend, and reuse across projects. model-driven software engineering addresses issues of complexity, productivity, and code quality through the use of high-level system models and subsequent automatic transformations. Reasoning about verification testbench decomposition becomes simpler at higher levels of abstraction. In particular, the aspect-oriented paradigm, when applied at the model level, can minimize the overlap in functionality between modules, improving maintainability and reusability. This article presents an aspect-oriented model-driven engineering process and toolset for the development of hardware verification testbenches. We illustrate how this process and toolset supports modularized design and automatic transformation to verification environment-specific models and source code through an industry case study.

关键词： Design Languages Verification model-based software engineering theme/UML code generation aspect-oriented e hardware verification language function verification

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：