Enterprise Information Systems. Aug2012, Vol. 6 Issue 3, p267-290. 24p. 1 Color Photograph, 8 Diagrams, 1 Chart, 2 Graphs.
PRODUCT design, INFORMATION storage & retrieval systems, HIGH performance computing, FAULT tolerance (Engineering), CLOUD computing, COMPUTER simulation, and MULTIDISCIPLINARY design optimization
Multidisciplinary design of complex products leads to an increasing demand for high performance simulation (HPS) platforms. One great challenge is how to achieve high efficient utilisation of large-scale simulation resources in distributed and heterogeneous environments. This article reports a virtualisation-based methodology to realise a HPS platform. This research is driven by the issues concerning large-scale simulation resources deployment and complex simulation environment construction, efficient and transparent utilisation of fine-grained simulation resources and high reliable simulation with fault tolerance. A framework of virtualisation-based simulation platform (VSIM) is first proposed. Then the article investigates and discusses key approaches in VSIM, including simulation resources modelling, a method to automatically deploying simulation resources for dynamic construction of system environment, and a live migration mechanism in case of faults in run-time simulation. Furthermore, the proposed methodology is applied to a multidisciplinary design system for aircraft virtual prototyping and some experiments are conducted. The experimental results show that the proposed methodology can (1) significantly improve the utilisation of fine-grained simulation resources, (2) result in a great reduction in deployment time and an increased flexibility for simulation environment construction and (3)achieve fault tolerant simulation. [ABSTRACT FROM AUTHOR]
INFORMATION science, GRAPHIC methods, INFORMATION resources, INFORMATION resources management, UNIFIED modeling language, and MARINE biology
The Unified Modelling Language (UML) is nowadays the de-facto standard method for developing Object-Oriented (OO) information systems (IS). UML is endowed with semi-formal graphical diagrams, allowing a multi-view based modelling. Further decisive UML strengths include advanced supporting tools as well as the readiness to extensions through stereotypes and profiles. Nevertheless, for contemporary critical IS where high-degree of reliability, flexibility and distribution are requested, such early semi-formal and multi-viewed UML-based modelling requires to be leveraged towards more disciplined, verifiable and intrinsically distributed specification. That is, first, the rigorous coherence between structural and behavioural diagrams have to be addressed. Secondly, the formal validation/certification of the application crucial properties should be soundly handled. Thirdly, the targeted UML-driven unified framework has to cater for componentisation, true-concurrency and adaptability. With the aim to preserve all the above UML strengths, we propose to describe early IS requirements using tailored UML diagrams, with mainly class-diagrams, OCL constraints and state-charts. We then smoothly shift these intuitive UML-driven IS multi-views towards a more unified, rigorous and distributed conceptual modelling, where certification and validation are intrinsic. This phase is governed by a rigorous component-based operational and visual framework called CO-NETS. It is based on a formal integration of most OO concepts and mechanisms, enhanced with modularity principles, into a variant of high-level Petri Nets. For rapid-prototyping purposes, CO-NETS behaviour is governed by Meseguer's rewriting logic. This innovative UML-CO-NETS-driven proposal for IS model-driven development is a validated, through a non-trivial case-study, on production systems. [ABSTRACT FROM AUTHOR]