AO4AADL: Aspect oriented extension for AADL
Main Authors: | Loukil Sihem, Kallel Slim, Zalila Bechir, Jmaiel Mohamed |
---|---|
Format: | Article |
Language: | English |
Published: |
De Gruyter
2013-06-01
|
Series: | Open Computer Science |
Subjects: | |
Online Access: | http://www.degruyter.com/view/j/comp.2013.3.issue-2/s13537-013-0105-1/s13537-013-0105-1.xml?format=INT |
Similar Items
-
Ravenscar Computational Model compliant AADL Simulation on LEON2
by: Roberto Varona-Gómez, et al.
Published: (2013-02-01) -
A Modeling Method of Agents and SOA in Advanced Avionics System Based on AADL
by: Pingyu Deng, et al.
Published: (2022-08-01) -
A static approach to estimation of execution time of components in AADL models
by: A. M. Troitskiy, et al.
Published: (2018-10-01) -
Hybrid Modeling and Model Transformation of AADL for Verifying the Properties of CPS Space-Time Compositions
by: Xiaoying Chen, et al.
Published: (2021-01-01) -
Formal Verification of Behavioral AADL Models by Stateful Timed CSP
by: Feng Zhang, et al.
Published: (2017-01-01)