Author:
Mkaouar Hana,Zalila Bechir,Hugues Jérôme,Jmaiel Mohamed
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference61 articles.
1. AS5506A: SAE Architecture Analysis and Design Language (AADL) Version 2.0 (2009)
2. AS5506/2: SAE Architecture Analysis and Design Language (AADL) Annex Volume 2 (2011)
3. Abdoul, T., Champeau, J., Dhaussy, P., Pillain, P.Y., Roger, J.: AADL execution semantics transformation for formal verification. In: 13th IEEE International Conference on Engineering of Complex Computer Systems, pp. 263–268. IEEE (2008)
4. Bae, K., Ölveczky, P.C., Al-Nayeem, A., Meseguer, J.: Synchronous AADL and its formal analysis in Real-Time Maude. In: Qin, S., Qiu, Z. (eds.) Formal Methods and Software Engineering, pp. 651–667. Springer, Berlin (2011)
5. Bae, K., Ölveczky, P.C., Meseguer, J.: Definition, semantics, and analysis of multirate synchronous AADL. In: Jones, C., Pihlajasaari, P., Sun, J. (eds.) FM 2014: Formal Methods, pp. 94–109. Springer, Cham (2014)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Verifying contracts among software components: An ontology-based approach;Information and Software Technology;2023-11
2. Evaluating virtualization for fog monitoring of real-time applications in mixed-criticality systems;Real-Time Systems;2023-11-01
3. Automaton Model Updating Based on the L* Algorithm;Proceedings of the 2023 7th International Conference on Computing and Data Analysis;2023-09-15
4. Automated Compositional Verification for Robotic State Machines using Isabelle/HOL;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14
5. Model Based Test Framework for verification of Flight Control Software;2023 International Conference on Computer, Electrical & Communication Engineering (ICCECE);2023-01-20