The one-shot task model for robust real-time embedded control systems, Industrial Informatics, vol.4, issue.3, pp.164-174, 2008. ,
A low-cost embedded controller for complex control systems, Embedded and Ubiquitous Computing, 2008. EUC '08. IEEE/IFIP International Conference on, vol.1, pp.23-29, 2008. ,
Design models for reusable and reconfigurable state machines, Proc. of EUC 2005, vol.3824, pp.152-163, 2005. ,
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, ser. HoloMAS '07, pp.326-337, 2007. ,
Nces-based modelling and ctl-based verification of reconfigurable embedded control systems, Comput. Ind, vol.61, issue.3, pp.198-212, 2010. ,
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. ,
A methodology for developing component-based software with generation and assembly processes, The 6th International Conference on, vol.2, pp.696-699, 2004. ,
Automatic test case optimization using a bacteriological adaptation model: application to .net components, Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on, pp.253-256, 2002. ,
Adopting a software component model in real-time systems development, Proceedings. 28th Annual NASA Goddard, pp.114-119, 2003. ,
Evaluating the scalability of enterprise javabeans technology, Software Engineering Conference, pp.74-83, 2002. ,
Data-type checking of iec61131-3 st and il applications, Emerging Technologies Factory Automation (ETFA), 2012 IEEE 17th Conference on, pp.1-8, 2012. ,
Distributed reconfigurations of autonomous iec61499 systems, ACM Trans. Embed ,
, Comput. Syst, vol.12, issue.1, pp.1-18, 2013.
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
Acme-based connector interface considering component important factor, SKG International Conference on Semantics, Knowledge and Grid (SKG 2005), p.54, 2005. ,
Extending the rapide adl to specify aspect oriented software architectures, pp.170-167, 2006. ,
Specifying and analyzing dynamic software architectures, 1998. ,
Aesop: Expressing concurrency in high-performance system software, NAS, pp.303-312, 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, ser. 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. ,
Architecture analysis and design language amp; harmony system engineering process, Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st, pp.7-9, 2012. ,
Aadl modeling of m2m terminal, Microelectronics Proceedings (MIEL), 2010 27th International Conference on, pp.373-376, 2010. ,
Architecture analysis & design language (standard sae as5506), 2004. ,
Uppaal;a tool suite for automatic verification of real-time systems, pp.232-243, 1996. ,
Formal semantics of aadl models with machinereadable csp, Computer and Information Science, vol.0, pp.565-571, 2012. ,
The sae architecture analysis & design language (aadl) a standard for engineering performance critical systems, IEEE International Conference on Control Applications, pp.1206-1211, 2006. ,
An implementation of the behavior annex in the aadl-toolset osate2, Engineering of Complex Computer Systems (ICECCS), pp.332-337, 2011. ,
An efficient modeling and execution framework for complex systems development, Engineering of Complex Computer Systems (ICECCS), pp.317-331, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-02288369
What do the asserts in a unit test tell us about code quality? a study on open source and industrial projects, Software Maintenance and Reengineering (CSMR), 2013 17th European Conference on, pp.111-120, 2013. ,
Enforcing software engineering tools interoperability: An example with aadl subsets, Rapid System Prototyping (RSP), 2013 International Symposium on, pp.59-65, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01121242
Comparison of six ways to extend the scope of cheddar to aadl v2 with osate, Engineering of Complex Computer Systems (ICECCS), pp.367-372, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00502111
Topcased combining formal methods with model-driven engineering, Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on, pp.359-360, 2006. ,
Architecture Description Languages, ser. IFIP The International Federation for Information Processing, vol.176, pp.197-207, 2005. ,
Towards automatic middleware generation, Object Oriented Real-Time Distributed Computing (ISORC), pp.221-228, 2008. ,
Formal verification of aadl behavior models: A feasibility investigation, Proceedings of the 47th Annual Southeast Regional Conference, ser. ACM-SE 47, vol.36, pp.1-36, 2009. ,
The embedded control system through real-time task, Modeling, Simulation and Applied Optimization (ICM-SAO), pp.1-8, 2013. ,
Using the aadl for mission critical software development, EMBEDDED REAL TIME SOFTWARE, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-02270507
Développement de systèmes à l'aide d'aadl-ocarina/cheddar, Tutoriel présenté à l'école d'été temps réel, 2009. ,