Log in

Relevant bibliographies by topics / Architecture Analysis and Design Language (AADL) / Journal articles

To see the other types of publications on this topic, follow the link: Architecture Analysis and Design Language (AADL).

Journal articles on the topic 'Architecture Analysis and Design Language (AADL)'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Architecture Analysis and Design Language (AADL).'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Chen, Ya Qin, Dian Fu Ma, Ying Wang, and Xian Qi Zhao. "A Mapping Simulation of Code Generation for Partitioned System." Applied Mechanics and Materials 325-326 (June 2013): 1759–65. http://dx.doi.org/10.4028/www.scientific.net/amm.325-326.1759.

Full text

Abstract:

It is crucial for real-time embedded system to design and verify for a little fault may lead to a catastrophe. Architecture Analysis and Design Language (AADL) is a modeling language used to design and analysis the architecture of real-time embedded system based on Model Driven Architecture (MDA). Code generation of AADL model to codes running on the Real-time Operation System can avoid hand-writing mistakes and improve the efficiency of development. Partitioning is introduced into embedded system to control fault transmission. This paper presents a mapping approach to generate codes from AADL

APA, Harvard, Vancouver, ISO, and other styles

2

Hatcliff, John, Danielle Stewart, Jason Belt, Robby ., and August Schwerdfeger. "An AADL Contract Language Supporting Integrated Model- and Code-Level Verification." ACM SIGAda Ada Letters 42, no. 2 (2023): 45–54. http://dx.doi.org/10.1145/3591335.3591339.

Full text

Abstract:

Model-based systems engineering approaches support the early adoption of a model - a collection of abstractions - of the system under development. The system model can be augmented with key properties of the system including formal specifications of system behavior that codify portions of system and unit-level requirements. There are obvious gaps between the model with formally specified behavior and the deployed system. Previous work on component contract languages has shown how behavior can be specified in models defined using the Architecture Analysis and Design Language (AADL) - a SAE Inte

APA, Harvard, Vancouver, ISO, and other styles

3

Tan, Yu, Yongwang Zhao, Dianfu Ma, and Xuejun Zhang. "A Comprehensive Formalization of AADL with Behavior Annex." Scientific Programming 2022 (January 4, 2022): 1–26. http://dx.doi.org/10.1155/2022/2079880.

Full text

Abstract:

In safety-critical fields, architectural languages such as AADL (Architecture Analysis and Design Language) have been playing an important role, and the analysis of the languages and systems designed by them is a challenging research topic. At present, a formal method has become one of the main practices in software engineering for strict analysis, and it has been applied on the tools of formalization and analysis. The formal method can be used to find and resolve the problems early by describing the system with precise semantics and validating the system model. This article studies the compre

APA, Harvard, Vancouver, ISO, and other styles

4

Singhoff, Frank, Jerome Hugues, Hai Nam Tran, et al. "ADEPT 2022 workshop: a summary of strengths and weaknesses of the AADL ecosystem." ACM SIGAda Ada Letters 43, no. 1 (2023): 37–41. http://dx.doi.org/10.1145/3631483.3631485.

Full text

Abstract:

The Architecture Analysis and Design Language (AADL) is a SAE Standard for the modeling of both the hardware and the software of embedded systems. The AADL standard is now mature and is today employed by numerous stakeholders in the domain of critical embedded real-time systems to address a large set of concerns: performances (latency, schedulability), safety, or security, ... The ADEPT workshop aims to present and report on current projects in the field of design, implementation, and verification of critical systems where AADL is a first-citizen technology. This article is a summary of the AD

APA, Harvard, Vancouver, ISO, and other styles

5

Bardaro, Gianluca, and Matteo Matteucci. "Modelling Robot Architectures with AADL." ACM SIGAda Ada Letters 43, no. 1 (2023): 59–63. http://dx.doi.org/10.1145/3631483.3631491.

Full text

Abstract:

Robots are complex systems composed of many interacting subsystems, each coordinating a multitude of hardware and software components. In the last twenty years, robotic frameworks helped accelerate the development process by providing a reference structure and publicly available software components. However, current practices are not sustainable for modern robotic systems. In this work, we present a modelling approach based on the Architecture Analysis and Design Language (AADL) to define robotic systems and enhance software development practices for robotics. Additionally, we exploit the mode

APA, Harvard, Vancouver, ISO, and other styles

6

YANG, Zhi-Bin, Lei PI, Kai HU, Zong-Hua GU, and Dian-Fu MA. "AADL: An Architecture Design and Analysis Language for Complex Embedded Real-Time Systems." Journal of Software 21, no. 5 (2010): 899–915. http://dx.doi.org/10.3724/sp.j.1001.2010.03700.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Wang, Ying, Jian Yong Wang, and Lei Wang. "A Transformation-Based Integrated Modular Avionics Software Model Construction Approach." Applied Mechanics and Materials 668-669 (October 2014): 343–46. http://dx.doi.org/10.4028/www.scientific.net/amm.668-669.343.

Full text

Abstract:

Modern avionic software usually runs on the ARINC653-compatible OS based on the Integrated Modular Avionics (IMA) architecture. Although existing ARINC653 annex of Architecture Analysis & Design Language (AADL) can be used to construct IMA models straightforward, it is still hard and error-prone work for avionics engineers because of the complexity of ARINC653 and manual modeling. Therefore, a hierarchical transformation-based approach is proposed to obtain correct IMA models step by step from general AADL models, rather than its ARINC653 annex. The typical transformation algorithm is give

APA, Harvard, Vancouver, ISO, and other styles

8

Wei, Xiaomin, Yunwei Dong, Pengpeng Sun, and Mingrui Xiao. "Safety Analysis of AADL Models for Grid Cyber-Physical Systems via Model Checking of Stochastic Games." Electronics 8, no. 2 (2019): 212. http://dx.doi.org/10.3390/electronics8020212.

Full text

Abstract:

As safety-critical systems, grid cyber-physical systems (GCPSs) are required to ensure the safety of power-related systems. However, in many cases, GCPSs may be subject to uncertain and nondeterministic environmental hazards, as well as the variable quality of devices. They can cause failures and hazards in the whole system and may jeopardize system safety. Thus, it necessitates safety analysis for system safety assurance. This paper proposes an architecture-level safety analysis approach for GCPSs applying the probabilistic model-checking of stochastic games. GCPSs are modeled using Architect

APA, Harvard, Vancouver, ISO, and other styles

9

Yang, Zhibin, Zhikai Qiu, Yong Zhou, Zhiqiu Huang, Jean-Paul Bodeveix, and Mamoun Filali. "C2AADL_Reverse: A Model-Driven Reverse Engineering Approach for Development and Verification of Safety-Critical Software." ACM SIGAda Ada Letters 43, no. 1 (2023): 50–53. http://dx.doi.org/10.1145/3631483.3631488.

Full text

Abstract:

The safety-critical system communities have been struggling to manage and maintain their legacy software systems because upgrading such systems has been a complex challenge. To overcome or reduce this problem, reverse engineering has been increasingly used in safety-critical systems. This paper proposes C2AADL_Reverse, a model-driven reverse engineering approach for safety-critical software development and verification. C2AADL_Reverse takes multi-task C source code as input, and generates AADL (Architecture Analysis and Design Language) model of the legacy software systems. Compared with the e

APA, Harvard, Vancouver, ISO, and other styles

10

Wang, Ying, and Lei Wang. "Automatic C Code Generation for Avionics Software Based on VxWorks653 Platform." Applied Mechanics and Materials 687-691 (November 2014): 3124–27. http://dx.doi.org/10.4028/www.scientific.net/amm.687-691.3124.

Full text

Abstract:

At present, model-driven development method has been gradually applied in safety-critical avionics software to improve reliability and productivity. Existing ARINC653 annex of the Architecture Analysis & Design Language (AADL) is used to model avionic software based on ARINC653-compatible OS, such as VxWorks653 commercial platform. In this paper, a refined C code generation algorithm is proposed to enable automatically generate VxWorks653-runnable code from the AADL ARINC653 models. Finally, a simplified autopilot system example is as a case study to show the validity of our approch.

APA, Harvard, Vancouver, ISO, and other styles

11

Denzler, P., D. Ramsauer, D. Scheuchenstuhl, and W. Kastner. "Experiences Modeling a OPC UA / DDS Gateway in AADL in the Context of Fog Computing." ACM SIGAda Ada Letters 43, no. 1 (2023): 58. http://dx.doi.org/10.1145/3631483.3631490.

Full text

Abstract:

The legacy protocols still used in industrial automation are an obstacle to interoperability. In the meantime, while newer protocols are slowly replacing gateways, they can provide a bridge between new and legacy protocols. The Architecture Analysis & Design Language (AADL) was used in the Fog Computing for Robotics and Industrial Automation (FORA) project to model a Fog Computing Platform (FCP). Part of the FCP is an OPC Unified Architecture (OPC UA) / Data Distribution Service (DDS) gateway. The main goal was to develop an AADL model that allows the creation of platform-specific instance

APA, Harvard, Vancouver, ISO, and other styles

12

Jiang, Zeyong, Tingdi Zhao, Shihai Wang, and Hongyan Ju. "New Model-Based Analysis Method with Multiple Constraints for Integrated Modular Avionics Dynamic Reconfiguration Process." Processes 8, no. 5 (2020): 574. http://dx.doi.org/10.3390/pr8050574.

Full text

Abstract:

With the development of integrated modular avionics (IMA), the dynamic reconfiguration of IMA not only provides great advantages in resource utilization and aircraft configuration, but also acts as a valid means for resource failure management. It is vital to ensure the correction of the IMA dynamic reconfiguration process. The analysis of the dynamic reconfiguration process is a significant task. The Architecture Analysis & Design Language (AADL) is widely used in complicated real-time embedded systems. The language can describe the system configuration and the execution behaviors, such a

APA, Harvard, Vancouver, ISO, and other styles

13

Wang, Peng, Changxiao Zhao, and Fang Yan. "Research on the Reliability Analysis of the Integrated Modular Avionics System Based on the AADL Error Model." International Journal of Aerospace Engineering 2018 (2018): 1–11. http://dx.doi.org/10.1155/2018/9358461.

Full text

Abstract:

In recent years, the integrated modular avionics (IMA) concept has been introduced to replace the traditional federated avionics. Different avionics functions are hosted in a shared IMA platform, and IMA adopts partition technologies to provide a logical isolation among different functions. The IMA architecture can provide more sophisticated and powerful avionics functionality; meanwhile, the failure propagation patterns in IMA are more complex. The feature of resource sharing introduces some unintended interconnections among different functions, which makes the failure propagation modes more

APA, Harvard, Vancouver, ISO, and other styles

14

Huang, Mingyuan, Dawei Cheng, Jia Zhou, and Zhong Lu. "Reliability Evaluation Based on the Colored Petri Net Converted from AADL Models for the Wheel Brake System of Aircraft." Aerospace 10, no. 9 (2023): 739. http://dx.doi.org/10.3390/aerospace10090739.

Full text

Abstract:

Traditional reliability analysis methods such as Reliability Block Diagram, Fault Tree Analysis, and Markov Analysis are all subjective methods whose results significantly depend on the analysts’ skills and experiences. A model-based reliability method is proposed for the wheel brake system by using the architectural analysis and design language (AADL). The wheel brake system is modeled based on the AADL, and the AADL Error Model Annex is applied to describe the fault propagation of the system. An information extraction approach is proposed for the AADL-based model, and rules for transforming

APA, Harvard, Vancouver, ISO, and other styles

15

Ibrahim, Mariam, Ahmad Alsheikh, and Aseel Matar. "Attack Graph Modeling for Implantable Pacemaker." Biosensors 10, no. 2 (2020): 14. http://dx.doi.org/10.3390/bios10020014.

Full text

Abstract:

Remote health monitoring systems are used to audit implantable medical devices or patients’ health in a non-clinical setting. These systems are prone to cyberattacks exploiting their critical vulnerabilities. Thus, threatening patients’ health and confidentiality. In this paper, a pacemaker automatic remote monitoring system (PARMS) is modeled using architecture analysis and design language (AADL), formally characterized, and checked using the JKind model checker tool. The generated attack graph is visualized using the Graphviz tool, and classifies security breaches through the violation of th

APA, Harvard, Vancouver, ISO, and other styles

16

Kushal, K. S., Manju Nanda, and J. Jayanthi. "Architecture Level Safety Analyses for Safety-Critical Systems." International Journal of Aerospace Engineering 2017 (2017): 1–9. http://dx.doi.org/10.1155/2017/6143727.

Full text

Abstract:

The dependency of complex embedded Safety-Critical Systems across Avionics and Aerospace domains on their underlying software and hardware components has gradually increased with progression in time. Such application domain systems are developed based on a complex integrated architecture, which is modular in nature. Engineering practices assured with system safety standards to manage the failure, faulty, and unsafe operational conditions are very much necessary. System safety analyses involve the analysis of complex software architecture of the system, a major aspect in leading to fatal conseq

APA, Harvard, Vancouver, ISO, and other styles

17

Zhang, Hui Nan, Shi Hai Wang, Xiao Xu Diao, and Bin Liu. "Test Case Generating for Integrated Modular Avionics Software Health Monitoring." Applied Mechanics and Materials 494-495 (February 2014): 873–80. http://dx.doi.org/10.4028/www.scientific.net/amm.494-495.873.

Full text

Abstract:

Avionics software is safe-critical embedded system and its architecture is evolving from traditional federated architecture to Integrated Modular Avionics (IMA) to improve resource usability. As an architecture widely employed in the avionics industry, supports partitioning concepts. To insure the development of the avionics software constructed on IMA operating system with high reliability and efficiency Health Monitoring (HM) has been shown to be a key step in reducing the life cycle costs for structural maintenance and inspection. In this paper , we propose a model-driven test methodology u

APA, Harvard, Vancouver, ISO, and other styles

18

Deng, Pingyu, Qing Zhou, Dong An, Shihai Wang, and Kui Li. "A Modeling Method of Agents and SOA in Advanced Avionics System Based on AADL." Applied Sciences 12, no. 16 (2022): 8157. http://dx.doi.org/10.3390/app12168157.

Full text

Abstract:

The modeling method of agents and service-oriented architecture (SOA) in avionics systems describes agents and SOA in avionics systems with models. To our knowledge, however, the current modeling methods cannot describe the behavior of agents and SOA accurately and do not fit well with the existing avionics system models. This paper addresses the above problems by presenting a modeling method based on architecture analysis and design language (AADL). In this method, the working states of agents are described by the mode components, with the working process being triggered by the input of agent

APA, Harvard, Vancouver, ISO, and other styles

19

Meng, Baoluo, Daniel Larraz, Kit Siu, et al. "VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System." Systems 9, no. 1 (2021): 18. http://dx.doi.org/10.3390/systems9010018.

Full text

Abstract:

The ever-increasing complexity of cyber-physical systems is driving the need for assurance of critical infrastructure and embedded systems. However, traditional methods to secure cyber-physical systems—e.g., using cyber best practices, adapting mechanisms from information technology systems, and penetration testing followed by patching—are becoming ineffective. This paper describes, in detail, Verification Evidence and Resilient Design In anticipation of Cybersecurity Threats (VERDICT), a language and framework to address cyber resiliency. When we use the term resiliency, we mean hardening a s

APA, Harvard, Vancouver, ISO, and other styles

20

S. Srinivasa Rao, Dr, D. Sowjanya, CH Dileep Chowdary, and M. Harika. "Analyzing the Improved Software Reliability Based on the Markov Model by Considering Error propagation." International Journal of Engineering & Technology 7, no. 2.32 (2018): 91. http://dx.doi.org/10.14419/ijet.v7i2.32.13534.

Full text

Abstract:

In the software reliability analysis we proposed an approach, which is named as Model Driven Development method. This is a modelling and model transformation techniques. The Markov model used in reliability ﬁelds is modiﬁed to adapt to error propagation behaviors of components. The Markov model has been used for results of reliability analysis. Markov model which means that that future or upcoming states depend only on the present state not on the events that occurred before it to ensure high reliability of this software is to estimate reliability accurately in the developing phase. Then a stu

APA, Harvard, Vancouver, ISO, and other styles

21

Xu, Xiong, Shuling Wang, Bohua Zhan, Xiangyu Jin, Naijun Zhan, and Jean-Pierre Talpin. "Unified Graphical Co-modelling, Analysis and Verification of Cyber-physical Systems by Combining AADL and Simulink/Stateflow." ACM SIGAda Ada Letters 43, no. 1 (2023): 46–49. http://dx.doi.org/10.1145/3631483.3631487.

Full text

Abstract:

The design of safety-critical cyber-physical systems (CPSs) involve several dimensions, including physics, hardware rchitecture and software functionality. It is desirable to design CPSs by taking these issues into account uniformly and yet, few existing design workflows support this aim. For instance, AADL is an architecturecentric modelling formalism for CPSs, which focuses on modelling architecture and prototyping real-time hardware platforms, but it delegates physical and software behavioral models to so-called annexes. By contrast, Simulink/Stateflow (S/S) focuses on modelling interacting

APA, Harvard, Vancouver, ISO, and other styles

22

Alexander, Perry. "Task Analysis and Design Plans in Formal Specification Design." International Journal of Software Engineering and Knowledge Engineering 08, no. 02 (1998): 223–52. http://dx.doi.org/10.1142/s0218194098000133.

Full text

Abstract:

This paper presents BENTON, a prototype system demonstrating task analysis and multi-agent reasoning applied to formal specification synthesis. BENTON transforms specifications written as attribute-value pairs into Larch Modula-3 interface language and Larch Shared Language specifications. BENTON decomposes the software specification design task into synthesis, analysis and evaluation subtasks. Each subtask is assigned a specific design method based on problem and domain characteristics. This task analysis is achieved using blackboard knowledge sources and multi-agent reasoning employing desig

APA, Harvard, Vancouver, ISO, and other styles

23

Denzler, Patrick, Daniel Scheuchenstuhl, Daniel Ramsauer, and Wolfgang Kastner. "Modelling protocol gateways for cyber-physical systems using Architecture Analysis & Design Language." Procedia CIRP 104 (2021): 1339–44. http://dx.doi.org/10.1016/j.procir.2021.11.225.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Guo, Yi Zhang. "Analysis on Building Sculpture Art from the Perspective of Deconstructivism." Applied Mechanics and Materials 357-360 (August 2013): 71–74. http://dx.doi.org/10.4028/www.scientific.net/amm.357-360.71.

Full text

Abstract:

In order to make sculpture art into the architecture, based on the development of sculpture and architecture, the inner relations of sculpture and architecture was analyzed and compared. Combining with the practical construction scheme design, sculpture art was entered in the process of the interior space and elevation design, so that the architecture absorbed aesthetic elements of sculpture representation, and building forms breakthrough constraints of various kinds of building ontology factors. The results show that the sculpture language is used in architecture, building is more expressive

APA, Harvard, Vancouver, ISO, and other styles

25

Xu, Shanshan, Yulong Liu, Cheng Li, Zengjian Zhang, and Xinyang Yue. "Design and implementation of marine environment statistical analysis system." IOP Conference Series: Earth and Environmental Science 1171, no. 1 (2023): 012061. http://dx.doi.org/10.1088/1755-1315/1171/1/012061.

Full text

Abstract:

Abstract This paper introduces the design and implementation of marine environment statistical analysis system. From the system architecture design, database design and main functions of the system, the design and main functions of the marine environment statistical analysis system based on the comprehensive database of marine environment are described. Based on the B/S architecture, the system is developed in Java language, which realizes the horizontal coverage of marine environmental hydrological and meteorological elements, and also realizes the exploration of marine environmental hydrolog

APA, Harvard, Vancouver, ISO, and other styles

26

Zadorin, Dimitrij. "The Language of Mass Architectural Postmodernity." City History, Culture, Society, no. 1 (13) (July 19, 2022): 214–32. http://dx.doi.org/10.15407/mics2022.01.214.

Full text

Abstract:

Setting itself off against the architecture of the capitalist West, allegedly tangled in styles, Soviet architecture claimed its origins in the social realm. If one is to trace the intrinsic nature of changes in the architecture of the 1980s in the USSR, it is to be done not through the borrowed concept of postmodernism, but through the analysis of the developments in the design of its most social manifestation—mass housing. So far, Soviet architecture has primarily been whittled down to the evolution of styles. A more advanced reading focuses on the shift from Socialist Realism to the complex

APA, Harvard, Vancouver, ISO, and other styles

27

Lucia, Andrea De, Vincenzo Deufemia, Carmine Gravino, and Michele Risi. "Design pattern recovery through visual language parsing and source code analysis." Journal of Systems and Software 82, no. 7 (2009): 1177–93. http://dx.doi.org/10.1016/j.jss.2009.02.012.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Jena, Swagat Kumar, Satyabrata Das, and Satya Prakash Sahoo. "Design and Development of a Parallel Lexical Analyzer for C Language." International Journal of Knowledge-Based Organizations 8, no. 1 (2018): 68–82. http://dx.doi.org/10.4018/ijkbo.2018010105.

Full text

Abstract:

Future of computing is rapidly moving towards massively multi-core architecture because of its power and cost advantages. Almost everywhere Multi-core processors are being used now-a-days and number of cores per chip is also relatively increasing. To exploit full potential offered by multi-core architecture, the system software like compilers should be designed for parallelized execution. In the past, various significant works have been made to change the design of traditional compiler to take advantages of the future multi-core platform. This paper focuses on adapting parallelism in the lexic

APA, Harvard, Vancouver, ISO, and other styles

29

Baraona, Phillip, and Perry Alexander. "Abstract Architecture Representation Using VSPEC." VLSI Design 9, no. 2 (1999): 181–201. http://dx.doi.org/10.1155/1999/95465.

Full text

Abstract:

Complex digital systems are often decomposed into architectures very early in the design process. Unfortunately, traditional simulation based languages such as VHDL do not allow the impact of these architectural decisions to be evaluated until a complete, simulatable design of the system is available. After a complete design is available, architectural errors are time-consuming and expensive to correct. However, there is an alternative to simulation based techniques: formal analysis of abstract architectures at the requirements level. This paper describes VSBEC'S approach for defining and anal

APA, Harvard, Vancouver, ISO, and other styles

30

XU, KUANG, and JEFFREY J. P. TSAI. "SPECIFICATION OF MULTIMEDIA SOFTWARE SYSTEMS USING AN OBJECT ORIENTED ARCHITECTURE DESCRIPTION LANGUAGE." International Journal of Software Engineering and Knowledge Engineering 09, no. 06 (1999): 767–800. http://dx.doi.org/10.1142/s0218194099000401.

Full text

Abstract:

Despite the growing importance of multimedia applications, we still know relatively little about how to specify, design, and maintain this class of complex applications in a systematic manner. The concept of software architecture has recently emerged as a way to improve our ability to effectively construct and maintain large-scale complex software systems. Under this new paradigm, software engineers are able to do evolutionary design of complex systems through architecture specification, design rationale capture, architecture validation and verification, and architecture transformation. Severa

APA, Harvard, Vancouver, ISO, and other styles

31

Jhan, Syun Sheng, Chung An Teng, and Shao Hsuan Yeh. "Analysis and Design of Semantic Web Services Using MDA and SBC Structure." Applied Mechanics and Materials 284-287 (January 2013): 3340–44. http://dx.doi.org/10.4028/www.scientific.net/amm.284-287.3340.

Full text

Abstract:

The software analysis and design could be executed by Object Oriented architecture, but it might be unsuitable for Web Services due to their interoperability and transmission. Oppositely, the Service-Oriented and Resource-Oriented Architectures should allow of them. The software builds up a bridge between two Internet services or resources. This study has proposed what software analysis and design of Web Services can adopt the Structure-Behavior Coalescence Diagram and UML-like state and class diagrams as domain description language with Model-Driven Architecture development cycle. The case st

APA, Harvard, Vancouver, ISO, and other styles

32

PADÓ, SEBASTIAN, TAE-GIL NOH, ASHER STERN, RUI WANG, and ROBERTO ZANOLI. "Design and realization of a modular architecture for textual entailment." Natural Language Engineering 21, no. 2 (2013): 167–200. http://dx.doi.org/10.1017/s1351324913000351.

Full text

Abstract:

AbstractA key challenge at the core of many Natural Language Processing (NLP) tasks is the ability to determine which conclusions can be inferred from a given natural language text. This problem, called theRecognition of Textual Entailment (RTE), has initiated the development of a range of algorithms, methods, and technologies. Unfortunately, research on Textual Entailment (TE), like semantics research more generally, is fragmented into studies focussing on various aspects of semantics such as world knowledge, lexical and syntactic relations, or more specialized kinds of inference. This fragme

APA, Harvard, Vancouver, ISO, and other styles

33

Kiyanenko, Konstantin. "Environmental design research in Russian architecture." Archnet-IJAR: International Journal of Architectural Research 13, no. 2 (2019): 260–75. http://dx.doi.org/10.1108/arch-03-2019-0048.

Full text

Abstract:

Purpose The topics “environment,” “environmental design” and “environment and behavior studies” are important and promising in architectural discourse. The academic culture of the global west plays a unique role in the development of the knowledge within the field of environmental design research (EDR), from which these concepts originate. This paper examines the western names, works and ideas related to EDR that have spread into Russian architectural discourse. The purpose of this paper is to consider the status quo of Russian knowledge of EDR and its connection with the western EDR tradition

APA, Harvard, Vancouver, ISO, and other styles

34

Kopp, Andrii, Dmytro Orlovskyi, and Dorukhan Ersoyleyen. "AN APPROACH TO APPLICATIONS ARCHITECTURE MODELS ANALYSIS." Computer systems and information technologies, no. 2 (June 30, 2022): 23–32. http://dx.doi.org/10.31891/csit-2022-2-3.

Full text

Abstract:

A relevant problem of applications architecture model analysis was considered in this paper. Its significance is defined by the fact that designed blueprints of software systems should be thoroughly checked for all potential inefficiencies in order to avoid additional effort and costs for defect correction in later project stages. As a result, the research goal was defined as detecting strong and weak points in software design solutions via applications architecture model analysis. The research objective was set at the process of analyzing applications architecture models, and the research sub

APA, Harvard, Vancouver, ISO, and other styles

35

Erem, Ömer, and Selen Abbasoğlu Ermiyagil. "Adapted Design Language for Anatolian Vernacular Housing." Open House International 41, no. 1 (2016): 51–58. http://dx.doi.org/10.1108/ohi-01-2016-b0007.

Full text

Abstract:

This paper aims to define an adapted contemporary design language for housing built next to vernacular residential buildings of Anatolian villages. The case has been selected from Balıkesir province in the North-western part of Anatolia within a corpus of 104 houses from selected 81 villages of the region. Originally, vernacular house plans consist of allocation of rooms around a hall: sofa. Each room is a core living space with everyday living needs for a family. House is formed with various spatial relations between sofa and rooms around it. This relation is the determinative feature in form

APA, Harvard, Vancouver, ISO, and other styles

36

Lankhorst, M. M., H. A. Proper, and H. Jonkers. "The Anatomy of the ArchiMate Language." International Journal of Information System Modeling and Design 1, no. 1 (2010): 1–32. http://dx.doi.org/10.4018/jismd.2010092301.

Full text

Abstract:

In current business practice, an integrated approach to business and IT is indispensable. In many enterprises, however, such an integrated view of the entire enterprise is still far from reality. To deal with these challenges, an integrated view of the enterprise is needed, enabling impact/change analysis covering all relevant aspects. This need sparked the development of the ArchiMate language, which was developed with the explicit intention of becoming an open standard, and as such has been designed such that it is extendable while still maintaining a clear and orthogonal structure. This art

APA, Harvard, Vancouver, ISO, and other styles

37

Wang, Jiuhe, Xiaodong Ma, Xiaofu He, and Lifeng Hu. "Research on Architecture Modeling of Aviation-guided Munitions System Based on MBSE." Journal of Physics: Conference Series 2478, no. 12 (2023): 122007. http://dx.doi.org/10.1088/1742-6596/2478/12/122007.

Full text

Abstract:

Abstract In order to explore the forward R & D mode of aviation-guided munitions, an architecture modeling method of aviation-guided munitions weapon system based on MBSE(Model Based System Engineering) is proposed. Based on MBSE typical methodology and SysML language, taking a certain type of aviation-guided munition as an example, the system architecture model is constructed, and the design process including the requirements analysis, functional logic analysis, architecture balance and analysis, and scheme detailed design of aviation-guided munitions is described. The simulation analysis

APA, Harvard, Vancouver, ISO, and other styles

38

Eplényi, Anna, and Brigitta Oláh-Christian. "Postmodern landscape architecture: theoretical, compositional characteristics and design elements with the analysis of 25 projects." Acta Universitatis Sapientiae, Agriculture and Environment 7, no. 1 (2015): 71–81. http://dx.doi.org/10.1515/ausae-2015-0006.

Full text

Abstract:

Abstract This paper endeavours to highlight three aspects of postmodern landscape design: theoretical basis, composition and design elements. Postmodern theories, philosophy influenced the language of the postmodern landscape architecture and got materialized in the use of narratives, eclecticism, the Rhizome-principle. Postmodern landscape composition can be associated with anti-hierarchy, unusual structures, landforms, and playful moods. Postmodern design elements consist of the strong graphical use of colour and pavements, bizarre water features, unusual structures and buildings, postmodern

APA, Harvard, Vancouver, ISO, and other styles

39

A.M. Alias, M. N., S. N. Mohyar, M. N. Isa, A. Harun, A. B. Jambek, and S. A. Z. Murad. "Design and analysis of dedicated real-time clock for customized microcontroller unit." Indonesian Journal of Electrical Engineering and Computer Science 14, no. 2 (2019): 796. http://dx.doi.org/10.11591/ijeecs.v14.i2.pp796-801.

Full text

Abstract:

<span>In this paper, a Real Time Clock (RTC) system for a dedicated microcontroller is proposed to provide the customized microcontroller its own time and date system. The RTC is developed using Verilog Hardware Description Language (HDL) and simulated using Synopsys software. This RTC is developed with standard Advance Peripheral Bus (APB) to be interfacing with the microcontroller through Advanced Microcontroller Bus Architecture (AMBA). This RTC will be used as an on-chip RTC in the microcontroller system to provide precise time and date which can be used for various applications. The

APA, Harvard, Vancouver, ISO, and other styles

40

Taušan, Nebojša, Jouni Markkula, Pasi Kuvaja, and Markku Oivo. "Embedded Systems Specific Requirements for Choreography Modelling Language Design." International Journal of Information System Modeling and Design 7, no. 3 (2016): 115–36. http://dx.doi.org/10.4018/ijismd.2016070106.

Full text

Abstract:

Software companies that develop embedded systems following the principles of service-oriented architecture can anticipate various benefits from choreography modelling. Current choreography modelling languages, however, have a limited applicability in embedded systems development since they are not expressive enough to capture all the choreography-relevant aspects that are typical in this domain. This problem is addressed in this study with the analysis of the needs in embedded systems domain for choreography modelling language. The analysis was guided by design science and relied on expert int

APA, Harvard, Vancouver, ISO, and other styles

41

Grover, Robert, Stephen Emmitt, and Alex Copping. "The language of typology." Architectural Research Quarterly 23, no. 2 (2019): 149–56. http://dx.doi.org/10.1017/s1359135519000198.

Full text

Abstract:

The concept of typology has recurred in architectural discourse since the term’s conception in the early nineteenth century. To describe an architectural object usually involves an act of typifying; a generalisation of built form to common characteristics. Both the analysis of architecture and its creation require this abstraction, which offers the potential to form types and expose initially unapparent relationships. Typology’s Enlightenment origins sought to link architecture to a natural order, but its terminology has subsequently been adopted in modernist rejections of mass culture and Neo

APA, Harvard, Vancouver, ISO, and other styles

42

Gamino del Río, Iván, Agustín Martínez Hellín, Óscar R. Polo, et al. "A RISC-V Processor Design for Transparent Tracing." Electronics 9, no. 11 (2020): 1873. http://dx.doi.org/10.3390/electronics9111873.

Full text

Abstract:

Code instrumentation enables the observability of an embedded software system during its execution. A usage example of code instrumentation is the estimation of “worst-case execution time” using hybrid analysis. This analysis combines static code analysis with measurements of the execution time on the deployment platform. Static analysis of source code determines where to insert the tracing instructions, so that later, the execution time can be captured using a logic analyser. The main drawback of this technique is the overhead introduced by the execution of trace instructions. This paper prop

APA, Harvard, Vancouver, ISO, and other styles

43

Buzec, Mihaela. "Exploring Framework Bias: The Case of Minimalism vs. Parallel Architecture in Studies on Language Evolution." Studia Universitatis Babeș-Bolyai Philologia 69, no. 1 (2024): 253–64. http://dx.doi.org/10.24193/subbphilo.2024.1.13.

Full text

Abstract:

Exploring Framework Bias: The Case of Minimalism Vs Parallel Architecture in Studies on Language Evolution. The present paper explores the issue of framework bias through the analysis of two lines of study concerning language evolution, one framed by the Minimalist program and one by the proposal of Parallel Architecture of language. Framework bias, as proposed in this study, raises the question of the degree to which the theoretical framework chosen for a certain line of research will influence the design of an experiment, the selection of data, and therefore the analysis and final results. T

APA, Harvard, Vancouver, ISO, and other styles

44

DAI, LIRONG, KENDRA COOPER, and W. ERIC WONG. "MODELING AND ANALYSIS OF PERFORMANCE ASPECTS FOR SOFTWARE ARCHITECTURE: A UML-BASED APPROACH." International Journal of Software Engineering and Knowledge Engineering 16, no. 03 (2006): 347–78. http://dx.doi.org/10.1142/s0218194006002835.

Full text

Abstract:

Much attention has been focused on the problem of effectively designing software architecture to meet non-functional requirements (NFRs). The significant benefits of such work include detecting and removing defects earlier, which reduces development time and cost while improving the quality of the design; in turn the improved quality of the design makes it easier to maintain as the system evolves. The Formal Design Analysis Framework (FDAF) is an aspect-oriented approach proposed to support the design and analysis of multiple NFRs for distributed, concurrent, and real-time systems. In FDAF, no

APA, Harvard, Vancouver, ISO, and other styles

45

Eilouti, Buthayna. "A language-driven reverse-engineering tool for the analysis of architectural precedents: A Palladian case study." Spatium, no. 45 (2021): 21–33. http://dx.doi.org/10.2298/spat2145021e.

Full text

Abstract:

The analysis of precedents represents a significant point of departure for design processing. By applying a language/ design analogy, this research introduces a reverse-engineering tool that helps guide the systematic analysis of architectural precedents. The visual tool consists of four main layers: the morphological, the semantic, the semiotic, and the pragmatic. To test the tool?s applicability, a prominent precedent from the Palladian designs is analyzed as a case study. By developing the tool and demonstrating its applicability for the analysis of the underlying regulatory and formative p

APA, Harvard, Vancouver, ISO, and other styles

46

Guo, Yuqiang, Yingxu Li, Jun Zhao, Hui Zhao, and Junxian Guo. "A Unified SoS and System Architecture Modeling Approach Based on Language Transformation and Extension Mechanisms." Journal of Physics: Conference Series 2755, no. 1 (2024): 012007. http://dx.doi.org/10.1088/1742-6596/2755/1/012007.

Full text

Abstract:

Abstract UAFML or UPDM is the language for modeling System of System(SoS) architecture. While SysML is used to model system architecture with solid connections with requirements, multidisciplinary analysis, software development, verification, etc. Many companies export the SoS architecture model into an XMI file or even a Word document to the system-architecture-level design team to perform further development. It will cost more time and may cause information inconsistency in practice. To bridge the gap, studying a more economical way to perform the modeling information exchange is necessary.

APA, Harvard, Vancouver, ISO, and other styles

47

Solodka, Anzhelika, Oksana Filatova, Oksana Hinkevych, and Oleksandr Spanatiy. "Cross-cultural Language Learning: Interpretative Engagement." Arab World English Journal 12, no. 3 (2021): 82–96. http://dx.doi.org/10.24093/awej/vol12no3.6.

Full text

Abstract:

Conceptualization of foreign language teaching as a cross-cultural interaction means engaging learners in various cultural mediations. Language use becomes a form of interpretative architecture of a target language. Understanding language use from a discursive perspective develops meta-pragmatic awareness and interpretative capacities of learners. The study answers the question of how to design the architecture of context analysis. This research aims to determine the effective ways of interpretative engagement of learners with aspects of pragmatics in the Ukrainian university setting. The stud

APA, Harvard, Vancouver, ISO, and other styles

48

Kopp, Andrii, Dmytro Orlovskyi, and Dorukhan Ersoyleyen. "AN APPROACH TO ANALYSIS OF ARCHIMATE APPLICATION ARCHITECTURE MODELS USING THE SOFTWARE COUPLING METRIC." Bulletin of National Technical University "KhPI". Series: System Analysis, Control and Information Technologies, no. 2 (6) (December 28, 2021): 67–72. http://dx.doi.org/10.20998/2079-0023.2021.02.11.

Full text

Abstract:

Applications architecture is the baseline of any organizational activity, which main goal is to provide the executional environment for businessprocesses in order to deliver products or services to satisfy customer needs and generate revenue. Nowadays, large software engineering projectsalways begin with the architecture design phase, despite the waterfall or agile methodology is used by a software development team. Applicationsarchitecture design is the most important and, at the same time, error-prone stage of the whole software engineering project. It is well-known thatdesign shortcomings m

APA, Harvard, Vancouver, ISO, and other styles

49

Wang, Yung-Hsin, Shih-Chih Chen, and An-Jung Tseng. "Service-Oriented Analysis and Design for Constructing the Online Sales Process Integration." Australian Journal of Business and Management Research 02, no. 05 (2012): 58–68. http://dx.doi.org/10.52283/nswrca.ajbmr.20120205a08.

Full text

Abstract:

In recent years, enterprises try to develop the online sales systems in order to reach various customers in different places and expect to bring better profit or company exposure via the internet and mobile device channels. However, different platforms, technologies, transaction rules, policies and processes have resulted in data dispersion and business logic inconsistency that is hard for the company to audit and manage. This study presented a service-oriented analysis and design of the online sales process integration for our case company. We analyzed and modeled the processes using the serv

APA, Harvard, Vancouver, ISO, and other styles

50

Kunnappilly, Ashalatha, Raluca Marinescu, and Cristina Seceleanu. "A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions." Sensors 19, no. 22 (2019): 5057. http://dx.doi.org/10.3390/s19225057.

Full text

Abstract:

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,

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!