Journal articles on the topic 'Architecture Analysis and Design Language (AADL)'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
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.
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 textHatcliff, 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 textTan, 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 textSinghoff, 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 textBardaro, 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 textYANG, 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 textWang, 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 textWei, 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 textYang, 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 textWang, 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 textDenzler, 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 textJiang, 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 textWang, 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 textHuang, 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 textIbrahim, 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 textKushal, 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 textZhang, 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 textDeng, 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 textMeng, 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 textS. 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 textXu, 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 textAlexander, 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 textDenzler, 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 textGuo, 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 textXu, 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 textZadorin, 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 textLucia, 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 textJena, 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 textBaraona, 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 textXU, 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 textJhan, 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 textPADÓ, 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 textKiyanenko, 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 textKopp, 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 textErem, Ö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 textLankhorst, 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 textWang, 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 textEplé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 textA.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 textTauš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 textGrover, 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 textGamino 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 textBuzec, 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 textDAI, 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 textEilouti, 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 textGuo, 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 textSolodka, 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 textKopp, 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 textWang, 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 textKunnappilly, 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