{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T16:38:25Z","timestamp":1781109505469,"version":"3.54.1"},"reference-count":22,"publisher":"IGI Global Scientific Publishing","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,1,1]]},"abstract":"<p>The paper examines UML-based design and validation of reconfigurable embedded control systems which can have multiple software architectural configurations such that each one is designed by a set of inter-connected software components. To handle dynamic reconfiguration scenarios, the authors define a software agent which interacts with users and applies several forms of reconfiguration at different granularity levels of the system\u2019s architecture. The agent has the ability of monitoring the system\u2019s environment and to apply appropriate and valid reconfiguration scenarios under well-defined constraints. Three architectural levels are defined in order to consider all possible reconfiguration forms of embedded systems. The authors define a set of UML-compliant metamodels to describe the knowledge about the reconfiguration agent, the system architecture, the reconfiguration scenarios, and the reconfiguration events. Validity of reconfigurations scenarios are checked using an UML-based environment which allows evaluating architectural and reconfiguration constraints. The proposed reconfiguration approach is applied to the FESTO production system.<\/p>","DOI":"10.4018\/ijsda.2012010102","type":"journal-article","created":{"date-parts":[[2012,1,13]],"date-time":"2012-01-13T08:47:42Z","timestamp":1326444462000},"page":"17-38","source":"Crossref","is-referenced-by-count":4,"title":["UML-Based Design and Validation of Intelligent Agents-Based Reconfigurable Embedded Control Systems"],"prefix":"10.4018","volume":"1","author":[{"given":"Amen Ben Hadj","family":"Ali","sequence":"first","affiliation":[{"name":"Tunis El Manar University, Tunisia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohamed","family":"Khalgui","sequence":"additional","affiliation":[{"name":"Xidian University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Samir","family":"Ben Ahmed","sequence":"additional","affiliation":[{"name":"Tunis El Manar University, Tunisia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"ijsda.2012010102-0","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2009.12.001"},{"key":"ijsda.2012010102-1","author":"J. G.Bollinger","year":"1998","journal-title":"Visionary Manufacturing Challenges for 2020: Committee on Visionary Manufacturing Challenges, Board on Manufacturing and Engineering Design, Commission on Engineering and Technical Systems"},{"key":"ijsda.2012010102-2","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.802211"},{"key":"ijsda.2012010102-3","doi-asserted-by":"crossref","unstructured":"Cengarle, M., & Knapp, A. (2002). Towards OCL\/RT. In Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right (pp. 390-409).","DOI":"10.1007\/3-540-45614-7_22"},{"key":"ijsda.2012010102-4","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.013"},{"key":"ijsda.2012010102-5","year":"2000","journal-title":"IEC61508: Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems"},{"key":"ijsda.2012010102-6","year":"2005","journal-title":"Function blocks. Part 1. Architecture"},{"key":"ijsda.2012010102-7","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2010.2050697"},{"key":"ijsda.2012010102-8","doi-asserted-by":"crossref","unstructured":"Kramer, J., & Magee, J. (1988). A model for change management. In Proceedings of the Workshop on the Future Trends of Distributed Computing Systems in the 1990s, Hong Kong.","DOI":"10.1109\/FTDCS.1988.26709"},{"key":"ijsda.2012010102-9","unstructured":"Martin Luther University. (2008). FESTO: Modular production system. Retrieved from http:\/\/aut.informatik.uni-halle.de\/forschung\/testbed\/"},{"key":"ijsda.2012010102-10","unstructured":"Object Management Group. (2010). Object constraint language specification v2.2 (OMG Document No. formal\/2010-02-01). Retrieved from http:\/\/www.omg.org\/spec\/OCL\/2.0\/PDF"},{"key":"ijsda.2012010102-11","unstructured":"Object Management Group. (2010). Unified modelling Language: Superstructure Specification v2.3 (OMG Document No. formal\/2010-05-05). Retrieved from http:\/\/www.omg.org\/spec\/UML\/2.3"},{"key":"ijsda.2012010102-12","doi-asserted-by":"publisher","DOI":"10.1145\/356725.356729"},{"key":"ijsda.2012010102-13","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2006.874022"},{"key":"ijsda.2012010102-14","author":"G.Spanoudakis","year":"2001","journal-title":"Handbook of software engineering and knowledge engineering"},{"key":"ijsda.2012010102-15","doi-asserted-by":"crossref","unstructured":"Strasser, T., Muller, I., Sunder, C., Hummer, O., & Uhrmann, H. (2006). Modeling of reconfiguration control applications based on the IEC 61499 reference model for industrial process measurement and control systems. In Proceedings of the IEEE Workshop on Distributed Intelligent Systems (pp. 127-132).","DOI":"10.1109\/DIS.2006.49"},{"key":"ijsda.2012010102-16","doi-asserted-by":"crossref","unstructured":"Sunder, C., Zoitl, A., Christensen, J. H., Vyatkin, V., Brennan, R. W., Valentini, A., et al. (2006). Usability and interoperability of IEC 61499 based distributed automation systems. In Proceedings of the 4th IEEE International Conference on Industrial Informatics.","DOI":"10.1109\/INDIN.2006.275713"},{"key":"ijsda.2012010102-17","doi-asserted-by":"crossref","unstructured":"Terzic, I., Zoitl, A., Rooker, M. N., Strasser, T., Vrba, P., & Mar\u00edk, V. (2009). Usability of multi-agent based control systems in industrial automation. In Proceedings of the 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems for Manufacturing, Linz, Austria.","DOI":"10.1007\/978-3-642-03668-2_3"},{"key":"ijsda.2012010102-18","doi-asserted-by":"crossref","unstructured":"Thramboulidis, K. (2004). Using UML in control and automation: A model driven approach. In Proceedings of the 2nd IEEE International Conference on Industrial Informatics, Berlin, Germany.","DOI":"10.1109\/INDIN.2004.1417414"},{"key":"ijsda.2012010102-19","doi-asserted-by":"crossref","unstructured":"Thramboulidis, K., Doukas, G., & Frantzis, A. (2004). Towards an implementation model for FB-based reconfigurable distributed control applications. In Proceedings of the 7th International Symposium on Object-oriented Real-time Distributed Computing, Vienna, Austria.","DOI":"10.1109\/ISORC.2004.1300345"},{"key":"ijsda.2012010102-20","doi-asserted-by":"crossref","unstructured":"Zoitl, A., Lepuschitz, W., Merdan, M., & Vallee, M. (2010). A real-time reconfiguration infrastructure for distributed embedded control systems. In Proceedings of the IEEE Emerging Technologies and Factory Automation.","DOI":"10.1109\/ETFA.2010.5641259"},{"key":"ijsda.2012010102-21","doi-asserted-by":"crossref","unstructured":"Zoitl, A., S\u00fcnder, C., & Terzic, I. (2006). Dynamic reconfiguration of distributed control applications with reconfiguration services based on IEC 61499. In Proceedings of the IEEE Workshop on Distributed Intelligent Systems.","DOI":"10.1109\/DIS.2006.28"}],"container-title":["International Journal of System Dynamics Applications"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=62868","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T17:19:57Z","timestamp":1654103997000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/ijsda.2012010102"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,1]]}},"URL":"https:\/\/doi.org\/10.4018\/ijsda.2012010102","relation":{},"ISSN":["2160-9772","2160-9799"],"issn-type":[{"value":"2160-9772","type":"print"},{"value":"2160-9799","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}