Software applications are continuing to grow at a rapid pace and became more and more complex. Thus, the use of software architectures in the development process is the ideal solution to deal with this issue. In this ...
详细信息
ISBN:
(纸本)9780769548456
Software applications are continuing to grow at a rapid pace and became more and more complex. Thus, the use of software architectures in the development process is the ideal solution to deal with this issue. In this context, many architecture Description languages (ADLs) have been introduced to define the software architecture and its elements. Most of these ADLs do not address the dynamic behavior of the software architecture. This dynamic behavior is most commonly known as architectural reconfiguration. In our work, we use the architecture analysis and design language (AADL) due to its capacity to represent the architectural reconfiguration. However, AADL suffers from the absence of a concrete model to define its formal semantics. This paper presents a formal approach based on Bigraphical Reactive Systems (BRS) to model the dynamic architectural reconfiguration of embedded real-time systems expressed in AADL.
The paper presents a case study of building solution for automation of Integrated Modular Avionics system design and system integration processes within existing industrial environment on base of model driven approach...
详细信息
ISBN:
(纸本)9780769543819
The paper presents a case study of building solution for automation of Integrated Modular Avionics system design and system integration processes within existing industrial environment on base of model driven approaches. Features of modern architecture description language are discussed and experience of building a tool chain on top of one of them is described.
As computer-based systems have become more complex and we continue to exploit the benefits of code generation for those systems" components or subsystems, we"re finding significant integration problems due t...
详细信息
As computer-based systems have become more complex and we continue to exploit the benefits of code generation for those systems" components or subsystems, we"re finding significant integration problems due to unanticipated behavior. It isn"t enough to have correct code for software components and subsystems, they must be properly integrated and correctly executed to create a fully functional system that meets its nonfunctional requirements, such as real-time performance, reliability, security, or safety. A single-source system model annotated with analysis-specific information can reflect architectural changes with little additional effort. The architecture analysis and design language (AADL) provides a platform for multidimensional model analysis and verification.
作者：
Zhao, YueMa, DianfuBeihang Univ
Inst Adv Comp Technol Sch Comp Sci & Engn Natl Lab Software Dev Environm Beijing Peoples R China
Embedded real-time system has requirements for nonfunctional features such as schedulability, dependability and safety. With traditional design and development methodology these nonfunctional features could only be an...
详细信息
ISBN:
(纸本)9781424475797;9781424475780
Embedded real-time system has requirements for nonfunctional features such as schedulability, dependability and safety. With traditional design and development methodology these nonfunctional features could only be analyzed after the system is fully implemented. architecture analysis and design language (AADL) is a modeling language that supports early and repeated analyses of a system's architecture with respect to performance-critical properties through an extendable notation, a tool framework, and precisely defined semantics. AADL can be used in the analysis of partially defined architectural patterns with limited architectural detail, it is suitable for team work in large-scale system design and development. Avionic Air Data System is used as the AADL modeling and analysis study case. A basic model with software, hardware components is created. Software components are allocated to hardware components. Resource budget analysis, resource allocation analysis and end to end flow latency analysis are performed on Air Data system. Part of system model is redesigned depends on the analysis results. All these analyses are performed in the early phase of system design and development. It helps to find out issues early to save costs and reduce potential errors.
This article focuses on the essence and distinctive features of the AADL behavioral aspects, for which we use the code generation infrastructure of the synchronous modeling environment SME. It introduces an effective ...
详细信息
暂无评论