Special issue: Development of embedded systems: modelling, verification, scheduling, implementation and reconfiguration

International Journal of Computer Applications in Technology 42 (2/3) 2011

• Formal approach for the development of intelligent industrial control components
• Virtual start-up of plants using formal methods
• Combining formal methods for the development of reactive systems
• Evaluation of meta-heuristic approaches for scheduling optimisation of flexible manufacturing systems
• Incremental verification of component-based timed systems
• Real-time reconfigurable SoC for process control
• A multi-level design methodology of multistage interconnection network for MPSOCs
• Nominal decomposition of colour space transformation for the computer system for the reconfigurable computing and SA-C programming

Additional Papers

• Using ontology to generate test cases for GUI testing
• Evaluation of mechanical behaviour of bone, implant and bone-implant interface by numerical simulation of two surgical fixation procedures using finite element analysis
• A dynamic state estimation method for power systems
• Feasibility study of software reengineering towards role-based access control