International Journal of Computer Applications in Technology (IJCAT)

International Journal of Computer Applications in Technology

2011 Vol.42 No.2/3

Special Issue on Development of Embedded Systems: Modelling, Verification, Scheduling, Implementation and Reconfiguration

Guest Editors: Dr. Mohamed Khalgui and Prof. Hans-Michael Hanisch


Pages Title and author(s)
84-107Formal approach for the development of intelligent industrial control components
Mohamed Khalgui; Olfa Mosbahi
DOI: 10.1504/IJCAT.2011.045400
108-126Virtual start-up of plants using formal methods
Sebastian Preuße; Christian Gerber; Hans-Michael Hanisch
DOI: 10.1504/IJCAT.2011.045401
127-149Combining formal methods for the development of reactive systems
Olfa Mosbahi; Mohamed Khalgui
DOI: 10.1504/IJCAT.2011.045402
150-158Evaluation of meta-heuristic approaches for scheduling optimisation of flexible manufacturing systems
M. Saravanan; A. Noorul Haq
DOI: 10.1504/IJCAT.2011.045403
159-176Incremental verification of component-based timed systems
J. Julliand; H. Mountassir; E. Oudot
DOI: 10.1504/IJCAT.2011.045404
177-190Real-time reconfigurable SoC for process control
Ahmed Karim Ben Salem; Slim Ben Othman; Slim Ben Saoud
DOI: 10.1504/IJCAT.2011.045405
191-203A multi-level design methodology of multistage interconnection network for MPSOCs
Yassine Aydi; Mouna Baklouti; Mohamed Abid; Jean-Luc Dekeyser
DOI: 10.1504/IJCAT.2011.045406
204-212Nominal decomposition of colour space transformation for the computer system for the reconfigurable computing and SA-C programming
Jian-Long Kuo
DOI: 10.1504/IJCAT.2011.045411

Additional Papers

213-224Using ontology to generate test cases for GUI testing
Han Li; He Guo; Feng Chen; Hongji Yang; Yuansheng Yang
DOI: 10.1504/IJCAT.2011.045407
225-232Evaluation of mechanical behaviour of bone, implant and bone-implant interface by numerical simulation of two surgical fixation procedures using finite element analysis
D. Devika; G. Arumaikkannu
DOI: 10.1504/IJCAT.2011.045408
233-238A dynamic state estimation method for power systems
Qing-quan Jia; Ning Wang; Chun-xia Dou; Zhi-qian Bo
DOI: 10.1504/IJCAT.2011.045409
239-251Feasibility study of software reengineering towards role-based access control
Han Li; Hongji Yang; Feng Chen; He Guo; Yuansheng Yang
DOI: 10.1504/IJCAT.2011.045410