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

16th European Conference on Software architecture (ECSA)

作者： Santos, Joanna C. S. Suloglu, Selma Catano, Nestor Mirakhorli, Mehdi Univ Notre Dame Notre Dame IN 46556 USA Atilim Univ Ankara Turkiye Rochester Inst Technol Rochester NY 14623 USA

ISBN: (纸本)9783031368882;9783031368899

architecture-first approach to address software resiliency is becoming the mainstream development method for mission-critical and software-intensive systems. In such approach, resiliency is built into the system from the ground up, starting with a robust software architecture design. As a result, a flaw in the design of a resilient architecture affects the system's ability to anticipate, withstand, recover from, and adapt to adverse conditions, stresses, attacks, or compromises on cyber-resources. In this paper, we present an architecture-centric reasoning and verification methodology for detecting design weaknesses in resilient systems. Our goal is to assist software architects in building sound architectural models of their systems. We showcase our approach with the aid of an Autonomous Robot modeled in AADL, in which we use our methodology to uncover three architectural weaknesses in the adoption of three architectural tactics.

关键词： Cyber resiliency architecture analysis and design language AADL architecture Tactics

来源：评论

学校读者我要写书评

暂无评论

Controller and architecture co-design of wireless cyber-physical systems

引用

JOURNAL OF SYSTEMS architecture 2019年 94卷 42-59页

作者： Liu, Jing Wu, Xuegen Peking Univ Comp Sci Beijing Peoples R China Peking Univ Software Beijing Peoples R China

Recently, more and more factories begin to employ wireless mesh networks for process control. These wireless Cyber-Physical Systems (WCPSs) need to meet performance requirements. However, the control algorithm and system are usually designed with an isolated design flow, which leads to higher integration, testing and debugging costs and poor resource utilization. To bridge the gap, we propose a controller and architecture co-design framework based on architecture analysis and design language (AADL). Firstly, we show how to build control and architecture models of WCPSs. Then methods that translates control and architecture models to performance models are proposed. With these models, we can analyze the non-function properties of the system before implementation. Finally, Matlab/Simulink and OSATE are integrated and several plugins are developed to support the realization of this framework. The synthesis of above contributions is a largely automated co-design and analysis process of WCPSs. Comparing with other co-design frameworks, our framework provides better capability, usability, and extensibility. A case study shows that our co-design framework achieves better control performance (reducing the pulp level variations to 42.3% of the former controller).

关键词： Wireless cyber-physical systems Controller and architecture co-design Modeling and analysis architecture analysis and design language

来源：评论

学校读者我要写书评

暂无评论

A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions

引用

SENSORS 2019年第22期19卷 5057-5057页

作者： Kunnappilly, Ashalatha Marinescu, Raluca Seceleanu, Cristina Malardalen Univ Sch Innovat Design & Technol S-72220 Vasteras Sweden Bombardier Transportat S-72223 Vasteras Sweden

Since modern ambient assisted living solutions integrate a multitude of assisted-living functionalities, out of which some are safety critical, it is desirable that these systems are analyzed at their design stage to detect possible errors. To achieve this, one needs suitable architectures that support the seamless design of the integrated assisted-living functions, as well as capabilities for the formal modeling and analysis of the architecture. In this paper, we attempt to address this need, by proposing a generic integrated ambient assisted living system architecture, consisting of sensors, data collection, local and cloud processing schemes, and an intelligent decision support system, which can be easily extended to suit specific architecture categories. Our solution is customizable, therefore, we show three instantiations of the generic model, as simple, intermediate, and complex configurations, respectively, and show how to analyze the first and third categories by model checking. Our approach starts by specifying the architecture, using an architecture description language, in our case, the architecture analysis and design language, which can also account for the probabilistic behavior of such systems, and captures the possibility of component failure. To enable formal analysis, we describe the semantics of the simple and complex architectures within the framework of timed automata. We show that the simple architecture is amenable to exhaustive model checking by employing the UPPAAL tool, whereas for the complex architecture we resort to statistical model checking for scalability reasons. In this case, we apply the statistical extension of UPPAAL, namely UPPAAL SMC. Our work paves the way for the development of formally assured future ambient assisted living solutions.

关键词： ambient assisted living architecture analysis and design language statistical model checking UPPAAL SMC

来源：评论

学校读者我要写书评

暂无评论

GitHub, Technical Debt, Code Formatting, and More

引用

IEEE SOFTWARE 2017年第2期34卷 105-107页

作者： Carver, Jeffrey C. Cabot, Jordi Capilla, Rafael Muccini, Henry Univ Alabama Dept Comp Sci Tuscaloosa AL 35487 USA ICREA Catalan Inst Res & Adv Studies Interdisciplinary Internet Inst Barcelona Spain Rey Juan Carlos Univ Comp Sci Madrid Spain Univ Aquila Software Engn Informat Engn & Comp Sci & Math Dept Laquila Italy

This issue's column reports on papers from the 19th International Conference on Model Driven Engineering languages and Systems, the 2016 ACM SIGPLAN International Conference on Software language Engineering, the 12th International ACM SIGSOFT Conference on the Quality of Software architectures, and the 13th Working IEEE/IFIP Conference on Software architecture. Topics discussed include GitHub and open source, technical debt in model-driven engineering, a universal code formatter, assuring architectural quality, and continuous architecting.

关键词： Git Hub Open Source UML Technical Debt Code Smells Model Driven Engineering Code Formatting Machine Learning AQAF architecture Quality Assurance Framework AADL architecture analysis and design language Architectural Quality Continuous Architecting CAFFEA Continuous architecture Framework For Embedded And Agile Software Development Software Engineering Software Development

来源：评论

学校读者我要写书评

暂无评论

A Novel Integrated architecture for Ambient Assisted Living Systems 41

A Novel Integrated Architecture for Ambient Assisted Living ...

引用

41st IEEE Annual Computer Software and Applications Conference (COMPSAC)

作者： Kunnappilly, Ashalatha Sorici, Alexandru Awada, Imad Alex Mocanu, Irina Seceleanu, Cristina Florea, Adina Madga Malardalen Univ Vasteras Sweden Politehn Univ Bucharest Romania

ISBN: (纸本)9781538603673

The increase in life expectancy and the slumping birth rates across the world result in lengthening the average age of the society. Therefore, we are in need of techniques that will assist the elderly in their daily life, while preventing their social isolation. The recent developments in Ambient Intelligence and Information and Communication Technologies have facilitated a technological revolution in the field of Ambient Assisted Living. At present, there are many technologies on the market that support the independent life of older adults, requiring less assistance from family and caregivers, yet most of them offer isolated services, such as health monitoring, reminders etc;moreover none of current solutions incorporates the integration of various functionalities and user preferences or are formally analyzed for their functionality and quality-of-service attributes, a much needed endeavor in order to ensure safe mitigations of potential critical scenarios. In this paper, we propose a novel architectural solution that integrates necessary functions of an AAL system seamlessly, based on user preferences. To enable the first level of the architecture's analysis, we model our system in architecture analysis and design language, and carry out its simulation for analyzing the end-to-end data-flow latency, resource budgets and system safety.

关键词： Ambient Intelligence Ambient Assisted Living architecture analysis and design language

来源：评论

学校读者我要写书评

暂无评论

Transient fault tolerant control for vehicle brake-by-wire systems

引用

RELIABILITY ENGINEERING & SYSTEM SAFETY 2016年 149卷 148-163页

作者： Huang, Shuang Zhou, Chunjie Yang, Lili Qin, Yuanqing Huang, Xiongfeng Hu, Bowen Huazhong Univ Sci & Technol Sch Automat Wuhan 430074 Peoples R China Minist Educ Image Proc & Intelligent Control Key Lab Wuhan Peoples R China Univ Loughborough Sch Business & Econ Loughborough Leics England

Brake-by-wire (BBW) systems that have no mechanical linkage between the brake pedal and the brake mechanism are expected to improve vehicle safety through better braking capability. However, transient faults in BBW systems can cause dangerous driving situations. Most existing research in this area focuses on the brake control mechanism, but very few studies try to solve the problem associated with transient fault propagation and evolution in the brake control system hierarchy. In this paper, a hierarchical transient fault tolerant scheme with embedded intelligence and resilient coordination for BBW system is proposed based on the analysis of transient fault propagation characteristics. In this scheme, most transient faults are tackled rapidly by a signature-based detection method at the node level, and the remaining transient faults, which cannot be detected directly at the node level and could degrade the system performance through fault propagation and evolution, are detected and recovered through function and structure models at the system level. To jointly accommodate these BBW transient faults at the system level, a sliding mode control algorithm and a task reallocation strategy are designed. A simulation platform based on architecture analysis and design language (AADL) is established to evaluate the task reallocation strategy, and a hardware-in-the-loop simulation is carried out to validate the proposed scheme systematically. Experimental results show the effectiveness of this new approach to BBW systems. (C) 2016 Elsevier Ltd. All rights reserved.

关键词： Brake-by-wire Transient fault tolerance Task reallocation Sliding mode control architecture analysis and design language

来源：评论

学校读者我要写书评

暂无评论

Approach for integrated modular avionics reconfiguration modelling and reliability analysis based on AADL

引用

IET SOFTWARE 2016年第1期10卷 18-25页

作者： Zhang, Quan Wang, Shihai Liu, Bin Sch Reliabil & Syst Engn Sci & Technol Reliabil & Environm Engn Lab Beijing Peoples R China

To optimise the configuration and reconfiguration strategies in integrated modular avionics (IMA), modelling and evaluating the reliability of the reconfigurable IMA system have drawn great attention from system engineers and designers. Currently most researches regard each configuration as a single system state, but the detailed system architecture under each configuration or the events that trigger the reconfiguration behaviour are not involved. In this study, a modelling method is proposed for these complex processes of the IMA reconfiguration. It employs architecture analysis and design language (AADL) along with its Error Model Annex, ARINC653 Annex, and mode transition mechanisms to model the correlated component error state transitions, system configuration architectures, and reconfiguration behaviours. Based on the proposed AADL modelling approach, these model information is extracted purposefully to establish computable models. Then a reliability analysis approach is proposed which is able to result in various reliability attributions, such as component reliability, configuration reliability under the software architecture, single task reliability, and multi-tasking reliability. These evaluation processes take into account both of the fault isolation reconfiguration and task mode reconfiguration for the first time. Finally, the case study is involved, which demonstrates the feasibility of the analysis approach for IMA based on an AADL model.

关键词： avionics software reliability software architecture aerospace computing integrated modular avionics reconfiguration modelling reliability analysis AADL IMA reconfigurable IMA system reconfiguration behaviour architecture analysis and design language ARINC653 Annex error model Annex component error state transitions mode transition mechanisms system configuration architectures software architecture single task reliability multitasking reliability fault isolation reconfiguration task mode reconfiguration

来源：评论

学校读者我要写书评

暂无评论

Modelling Airborne Mission Systems using the architecture analysis and design language 18

Modelling Airborne Mission Systems using the Architecture An...

引用

Combined IMACS World Congress/Modelling and Simulation Society-of-Australia-and-New-Zealand (MSSANZ)/18th Biennial Conference on Modelling and Simulation

作者： Sioutis, C. Nguyen, T. Airborne Mission Systems Air Operations Division Defence Science and Technology Organisation Australia

ISBN: (纸本)9780975840078

One of the critical success factors for integration of a Defence system is a good architectural design. A right architecture can help ensure that a system will satisfy its key operational requirements as well as its quality attributes such as real-time performance, reliability, security, and maintainability. A bad architecture on the other hand is a recipe for disaster (Clements et. al. 2001). Emerging properties of systems such as scheduling, fault tolerance, and security can cause significant problems in integration of complex Defence systems. Life-cycles are becoming evolutionary as components of systems are upgraded to avoid obsolescence, but such upgrades must be done in the context of system impact (Allen et. al. 2002). Software intensive acquisition projects are historically considered the most risk prone in the Defence domain and often incur schedule delays, cost overruns, and reduced operational capability (Commonwealth of Australia 2004). Capability systems have a "life cycle" that begins with the identification of the need to address a current or prospective capability gap. This need is progressively translated into a working capability system that is operated and supported until it is ultimately withdrawn from service. architecture modelling and analysis can potentially be incorporated to the Defence Capability Life Cycle (DCLC) (Commonwealth of Australia 2006) for assessing technical risks associated with proposed system architectures. This paper describes initial research conducted for modelling and analysing Airborne Mission Systems (AMS). The architecture analysis and design language (AADL) was chosen for this purpose because it is specifically geared for model-based development and analysis of real-time embedded systems. The AADL is a textual and graphical language that models the architecture of systems as an assembly of software components mapped on an execution platform. The primary advantage for using the AADL is that it provides different ways

关键词： architecture analysis and design language Modelling analysis Airborne Mission Systems

来源：评论

学校读者我要写书评

暂无评论

architecture Fault Modeling with the AADL Error-Model Annex 40

Architecture Fault Modeling with the AADL Error-Model Annex

引用

40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

作者： Delange, Julien Feiler, Peter Carnegie Mellon Software Engn Inst Pittsburgh PA 15218 USA

ISBN: (纸本)9781479957958

Safety-Critical systems, as used in the automotive, avionics, or aerospace domains, are becoming increasingly software-reliant to the extent that the system cannot function without the software. On one hand the software system provides an integrated set of functionality to operate the system and manage failure and unsafe conditions. Current best safety engineering practices, such as DO178B/C or SAE ARP4761, are labor intensive and are only performed as part of the system engineering process. At the same time increased interaction complexity of the embedded software with the hardware platform and mechanical system has resulted in the software to be a major source of defects with potentially fatal consequences. To address these issues, the SAE architecture analysis & design language (AADL) standard has been extended with an Error Model Annex to support architecture fault modeling and automated safety analysis. In this paper we introduce the concepts of the revised Error Model (EMV2) Annex and a fault propagation ontology to support such architecture fault models at three levels of abstraction focusing on fault propagation, failure behavior of individual components, and composite failure behavior of a system in terms of its components. Such specifications reflect fault tolerance strategies assumptions made by fault impact, fault tree and reliability analysis about the safety system component. We illustrate their use on a dual redundant flight guidance system and discuss the automation of different safety analysis methods in use by the SAE ARP4761, emphasizing on automation benefits.

关键词： safety-critical software software architecture software fault tolerance specification languages AADL error-model annex EMV2 annex aerospace domain architecture analysis and design language architecture fault modeling automotive domain avionics domain dual redundant flight guidance system failure behavior fault impact fault propagation fault tree reliability analysis safety engineering practices safety-critical systems software system Analytical models Computer architecture Fault trees Ontologies Safety Sensors Standards aadl architecture modeling reliability safety virtual integration Fault trees safety-critical software Fault Propagation software fault tolerance Software systems Reliability analysis specification description language Computer architecture Building construction architecture Ontology safety Software architecture analysis MODELS Consumer safety

来源：评论

学校读者我要写书评

暂无评论

Towards formalising installation and reconfiguration tasks of AADL architecture

引用

INTERNATIONAL JOURNAL OF COMMUNICATION NETWORKS AND DISTRIBUTED SYSTEMS 2013年第4期11卷 431-452页

作者： Benlahrache, Nadira Belala, Faiza Mentouri Univ Constantine LIRE Lab Route Ain El Bey Constantine 25000 Algeria

Software applications are becoming more and more distributed rendering their deployment (which consists essentially of the installation and dynamic reconfiguration activities) crucial and important phase in software development lifecycle. Although, several approaches for software deployment exist in the literature, most of them deal with specific technologies and offer limited models. In this paper, we focus on the formalisation of the most important deployment tasks of software systems using bigraphical reactive systems (BRS). We aim to give a complete semantic framework for AADL specifications, including the installation of software application on execution platform and its dynamic reconfiguration. AADL offers necessary tools to define both software and execution platform characteristics in the same description. For this purpose, our model allows the specification of software architecture configuration by a suitable pair of bigraphs, the first one models software components and their interconnections, and the second one models the execution platform. Thus, software entities installation on hardware ones is achieved by composing the two designed bigraphs. Besides, reconfiguration activity is formalised in terms of BRS reactions rules.

关键词： bigraphs architecture description language ADL architecture analysis and design language AADL formal deployment distributed systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：