Ravenscar Computational Model compliant AADL Simulation on LEON2 by Roberto Varona-Gómez, Eugenio Villar, Ana-Isabel Rodríguez-Rodríguez

Subjects: Get full text

LETTER TO THE EDITOR REGARDING: EVOLVING BUSINESS MODELS IN ORTHOTICS BY SCHNEIDER, N. by Connor Pardy, Steve Scott, Jenna Barnert, Carla Reimer

Subjects: Get full text

AO4AADL: Aspect oriented extension for AADL by Loukil Sihem, Kallel Slim, Zalila Bechir, Jmaiel Mohamed

Subjects: Get full text

Hybrid Modeling and Model Transformation of AADL for Verifying the Properties of CPS Space-Time Compositions by Xiaoying Chen, Yi Zhu, Yu Zhao, Jinyong Wang, Anarbekov Altynbek

Subjects: “…AADL…”
Get full text

Tools for System Design of Integrated Modular Avionics by D. V. Buzdalov, S. V. Zelenov, E. V. Kornykhin, A. K. Petrenko, A. V. Strakh, A. A. Ugnenko, A. V. Khoroshilov

Subjects: Get full text

A static approach to estimation of execution time of components in AADL models by A. M. Troitskiy, D. V. Buzdalov

Subjects: Get full text

A Cloud-Based Platform for Big Data-Driven CPS Modeling of Robots by Naiheng Zhang

Subjects: Get full text

Reliability Evaluation Based on the Colored Petri Net Converted from AADL Models for the Wheel Brake System of Aircraft by Mingyuan Huang, Dawei Cheng, Jia Zhou, Zhong Lu

Subjects: “…AADL…”
Get full text

Mission Reliability Modeling and Analysis Methods for Reconfigurable Ship Electronic Information Systems by Xiaotong Fang, Xuan Wang, Lingling Feng, Jiapeng Zuo, Shulin Liu

Subjects: Get full text

Python-based constraint language for architecture models by E. . Kornykhin, A. . Khoroshilov

Subjects: “…язык программирования python, язык моделирования aadl…”
Get full text

Reliability analysis of flight control system based on AADL2SPN by LUO Wenbin, LU Zhong, CHENG Dawei, MIAO Weirun

Subjects: Get full text

AADL architecture model construction based on FACE mode by LYU Guangzhe, YU Chunhai, KANG Kai, MA Chunyan, LIN Wei

Subjects: Get full text

Formal Verification of Behavioral AADL Models by Stateful Timed CSP by Feng Zhang, Yongwang Zhao, Dianfu Ma, Wensheng Niu

Subjects: Get full text

An integrated modeling, verification, and code generation for uncrewed aerial systems: less cost and more efficiency by Jianyu Zhang, Long Zhang, Yixuan Wu, Linru Ma, Feng Yang

Subjects: “…Architecture analysis and design language (AADL)…”
Get full text

Trusted Composition of Internet of Medical Things over Imperfect Networks by Ehsan Ahmad, Brian Larson, Abdulbasid Banga

Subjects: Get full text

A Modeling Method of Agents and SOA in Advanced Avionics System Based on AADL by Pingyu Deng, Qing Zhou, Dong An, Shihai Wang, Kui Li

Subjects: “…architecture analysis and design language (AADL)…”
Get full text