, Ra2dl: New flexible solution for adaptive aadl-based control components. 5th international conference on Pervasive and embedded computing and communication systems, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01126501
Specifying and analyzing dynamic software architectures, 1998. ,
Design models for reusable and reconfigurable state machines, Proc. of EUC 2005, vol.3824, pp.152-163, 2005. ,
Automatic test case optimization using a bacteriological adaptation model: application to .net components, Proceedings. ASE 2002. 17th IEEE International Conference on, pp.253-256, 2002. ,
Uppaal;a tool suite for automatic verification of real-time systems, pp.232-243, 1996. ,
The runes middleware: a reconfigurable component-based approach to networked embedded systems, Personal, Indoor and Mobile Radio Communications, 2005. PIMRC 2005. IEEE 16th International Symposium on, vol.2, pp.806-810, 2005. ,
Data-type checking of iec61131-3 st and il applications, Emerging Technologies Factory Automation (ETFA), 2012 IEEE 17th Conference on, pp.1-8, 2012. ,
Nces-based modelling and ctl-based verification of reconfigurable embedded control systems, Comput. Ind, vol.61, issue.3, pp.198-212, 2010. ,
Distributed reconfigurations of autonomous iec61499 systems, ACM Trans. Embed. Comput. Syst, vol.12, issue.1, p.23, 2013. ,
Aesop: Expressing concurrency in high-performance system software, NAS, pp.303-312, 2012. ,
A methodology for developing component-based software with generation and assembly processes, The 6th International Conference on, vol.2, pp.696-699, 2004. ,
Evaluating the scalability of enterprise javabeans technology, Software Engineering Conference, pp.74-83, 2002. ,
Adopting a software component model in real-time systems development, Software Engineering Workshop, 2003. Proceedings. 28th Annual NASA Goddard, pp.114-119, 2003. ,
Dynamic structure in software architectures, Proceedings of the 4th ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT '96, pp.3-14, 1996. ,
A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00444077
Extending the rapide adl to specify aspect oriented software architectures, SEDE, pp.170-167, 2006. ,
Aadl modeling of m2m terminal, Microelectronics Proceedings (MIEL), 2010 27th International Conference on, pp.373-376, 2010. ,
Zero downtime reconfiguration of distributed automation systems: The εcedac approach, Proceedings of the 3rd International Conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing, HoloMAS '07, pp.326-337, 2007. ,
Architecture analysis & design language (standard sae as5506), 2004. ,
Acme-based connector interface considering component important factor, SKG International Conference on Semantics, Knowledge and Grid (SKG 2005), p.54, 2005. ,
Performance analysis of AADL models using real-time calculus, Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop, pp.227-249, 2008. ,
Architecture analysis and design language amp; harmony system engineering process, Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st, pp.7-9, 2012. ,
Using the aadl to describe distributed applications from middleware to software components, Proceedings of the 10th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe'05, pp.67-78, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-01493416
An aadl-based modeling method for arinc653-based avionics software, Computer Software and Applications Conference (COMPSAC), pp.224-229, 2011. ,
Research on component-based approach load modeling based on energy management system and load control system, Innovative Smart Grid Technologies -Asia (ISGT Asia), pp.1-6, 2012. ,