Multidomain modeling has become more and more important, especially since integrated design strategies have imposed themselves for reaching higher standards in system efficiency and precision. This research deals with electromechanical systems with large multibody structure and tight interaction between electrical and mechanical parts. In the first part of this work, the author present an in depth confrontation of existing unified modeling theories: Bond Graphs, Linear Graphs and Virtual Work Principle. A simple example is used to illustrate the use of these theories and their application on multibody systems is discussed. A new modeling strategy is proposed in the second part of this text. On the basis of a symbolic implementation of dedicated formalisms, the author proposes to generate the symbolic submodels for the mechanical and the electrical parts separately and to couple the obtained equations into one global symbolic model, provided to the numerical integrator. This modeling strategy is then applied to several applications. Firstly, simple electrical circuits and electromechanical systems are considered in order to validate the tools which were developed during this work. The validation was achieved by comparison with existing modeling tools and also with experimental measurements. Secondly, more complex industrial applications are presented : 1. a parking gate system, consisting in a flexible barrier mounted on a six-bar mechanism driven by a three phase induction motor, 2. an articulated railway bogie actuated by two induction motors.

Modeling software with object-oriented technique and unified modeling language have become the new paradigm of modern information systems analysis and design. In addition, many approaches and CASE tools have been introduced to facilitate the transformation from class diagram to object-relational database and application template and thereby enhance the efficiency of system development. Model-driven architecture (MDA) and Rational Rose is such an approach and CASE tool, respectively. This research presents a systematic methodology which integrated the MDA concept to transform the class diagram into object-relational database and application template during the system development process. A real-world case using the integrated techniques is presented and the Rational Rose is used to illustrate the concepts, application, and the advantages of using the proposed methodology. With this approach, the system developer can transform class diagram into object-relational database and application template automatically and thereby enhance the efficiency of system development.

The Unified Modeling Language (UML) is now a standard means of expressing object-oriented analysis and design (OOAD) for the Object Management Group since 1997. The UML is called a modeling language, not a method. That is, the modeling language is the graphic notation that methods use to express design. However, the principles or guidelines for each UML notation modeling are lacking and those are crucial for the UML modeling. To address this important issue, this study utilizes research and development method to investigate the guidelines for each UML notation modeling. An example of war game is used to illustrate the guideline and application. With these guidelines, analysts can more easily use the UML notations to express OOAD and thereby improve the efficiency and effectiveness of UML modeling.

ITC/USA 2005 Conference Proceedings / The Forty-First Annual International Telemetering Conference and Technical Exhibition / October 24-27, 2005 / Riviera Hotel & Convention Center, Las Vegas, Nevada / This paper presents an approach to development of generic ground systems to be used for spacecraft testing and operations. This method makes use of a standard modeling method, which enables virtualization of spacecraft. By virtualizing spacecraft, development of generic systems that are applicable to different spacecraft becomes possible even if spacecraft themselves are not standardized. This is because systems can utilize (1) a standard database that can store information on any virtual spacecraft and (2) standard software tools that can be used for any virtual spacecraft. This paper explains the concept of virtualization of spacecraft, introduces the standard model used for virtualization of spacecraft, shows how to manipulate virtual spacecraft with software tools, and presents the core elements of generic ground systems.

Tese de Mestrado Integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2013

<p>We use a system model expressed in a subset of the Unified Modeling Language to perform fault isolation in large object oriented control systems. Due to the severity of the failures considered and the safety critical nature of the system we cannot perform fault isolation online. Thus, we perform post mortem fault isolation which has implications in terms of the information available; the temporal order in the error log can not be trusted. In our previous work we have used a structural model for fault isolation. In this thesis we provide a formal framework and a prototype implementation of an approach taking benefit of a behavioral model. This gives opportunities to perform more sophisticated reasoning at the cost of a more detailed system model. We use a model-checker to reason about causal dependencies among the events of the modeled system. The model-checker performs reasoning about temporal dependencies among the events in the system model and the scenario at hand, allowing for conclusions about the causal relation between the events of the scenario. This knowledge can then be transferred to the corresponding fault in the system, allowing us to pinpoint the cause of a system failure among a set of potential causes.</p> / Report code: LiU-Tek-Lic-2000:59.

User interface (UI) has become the key element of modern information systems (ISs) and is commonly viewed as one of the decisive factors for the success of an IS project. Many component-based development tools have been introduced by software vendors to meet the needs of designing a variety of UIs. Such modern design tools offer system developer vehicles to create sophisticated UIs with a few codes. However, the modeling methodology from the stages of user requirement modeling to UI modeling based on the modern design tools is virtually lacking. This study presents an integrated modeling methodology, which integrates the unified modeling language with interface drawing and interface glossary to provide a seamless and graphical approach and specifications for component-based UI modeling from user requirement modeling. A real-world case using the integrated approach is presented and a prototype system is developed to illustrate the concepts, application, and the advantages of using the proposed methodology.

Modeling software with unified modeling language (UML) and model driven architechutre (MDA) concept have become the new paradigm of modern systems analysis and design. Several CASE tools have been introduced to facilitate the transformation from platform independent model (i.e., class diagram) to platform specific model, and thereby enhance the efficiency of system development. This research presents a systematic methodology which integrated the UML and MDA concept with CASE tool to transform the class diagram into web-based user interface during the system development process. A real-world case using the integrated techniques is presented and the Rational Rose is used to illustrate the concepts, application, and the advantages of using the proposed methodology. With this approach, the system developer can transform class diagram into web-based user interface automatically and thereby enhance the efficiency of system development.

Modeling software with the model driven architecture (MDA) concept and unified modeling language (UML) has become a new trend for the objected-oriented systems analysis and design. Several CASE tools which embed MDA concept and UML have been introduced to facilitate the transformation from platform independent model (PIM, i.e., class diagram) to platform specific model (PSM) in order to enhance the efficiency of software development. In this work, we present a systematic methodology which integrates the concept of MDA and UML with CASE tool to refine the process of UML transformation. A personnel leave prototype system is implemented to illustrate the concepts, application, and advantages of the proposed methodology. With this approach, software developers can construct the PIM efficiently and thereby enhance the efficiency of system development.

Traditionally software testing is performed at the coding stage and is costly. Prior research indicated that if the errors can be found prior to the coding stage, the cost for fixing the errors can be reduced. Today, Unified Modeling Language (UML) has become a standard modeling language in object-oriented systems analysis and design. Over the past few years a considerable effort has been made in synthesizing UML, MDA (Model-Driven Architecture), and CASE tool to increase the productivity of the system development. Specifying the business logic constraints with Object Constraint Language (OCL) has become a main trend in this area. This study presents a methodology to specify the business logic constraint with OCL on the platform independent model during the systems analysis and design stage, then transform the OCL expressions into the code model and do the model testing simultaneously with a CASE tool. Three real-world cases and a CASE tool are used to test the usability (including the concepts, application, and advantages) of the proposed methodology. With this approach, software bugs related to business logic constraints can be found at the systems analysis and design stage and thereby reduce the cost of software testing and enhance the efficiency of system development.