Hybrid Uml Components for the Design of Complex Self-Optimizing Mechatronic Systems

Burmester, Sven; Giese, Holger; Oberschelp, Oliver

doi:10.1007/1-4020-4543-3_34

Cited by 18 publications

(16 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Braun and Lindemann [17] described how to consider crossdomain product and process interfaces during cost estimation of mechatronic products. Buremester et al [18] proposed the Hybrid UML modeling language so that both the structure and the hybrid dynamic behavior of mechatronic design concepts can be investigated together. A similar approach was presented by Cao et al [19] extending SysML to model and analyze hybrid dynamic behavior of mechatronic systems, in order to aid in the decision making process.…”

Section: State Of the Artmentioning

confidence: 99%

Dependency Modeling and Model Management in Mechatronic Design

Qamar

Paredis

Wikander

et al. 2012

Journal of Computing and Information Science in Engineering

View full text Add to dashboard Cite

Mechatronic design is traditionally supported through domain-specific design activities throughout the product development process. The partitioning into domain-specific problems leads to a situation where product properties influence each other, hence giving rise to dependencies. These dependencies play a key role in prediction of properties and as a result, in the decision making process. The important question is: how to manage the dependencies for an efficient and effective decision making? The aim of this paper is threefold. Firstly, we investigate the nature of dependencies and study how to model them. The paper proposes appropriate language constructs taking into account synthesis and analysis nature of properties and dependencies. The concepts related to the dependency modeling are then illustrated through a simple robot design example, where the creation and importance of a dependency model are explained. Secondly, we study practical approaches for consistency management and model management in the presence of dependencies. Six levels-ofdetail in modeling dependencies are presented; emphasizing that modeling at higher level-of-detail ensures that more inconsistencies are avoided. Available languages such as OMG SysML™ are evaluated for a possible creation of the dependency models leading towards executable dependency networks. However, at present, SysML does not provide sufficiently rich language constructs to model dependencies. Thirdly, we compare our dependency modeling approach to the other state-of-the-art approaches such as dependency modeling with a Design Structure Matrix, and highlight the benefits of the language constructs proposed in this paper. We aim to convince the reader that there is a substantial value in modeling dependencies explicitly, especially to avoid inconsistencies, which is not the current state of the practice. However, an overall value from dependency modeling can only be obtained if the cost of creating the dependency model is reasonable. Issues such as human interaction/effort and model management through PLM are discussed. INTRODUCTIONMechatronic design is a multi-disciplinary activity performed by multi-disciplinary design teams. In managing the design of such complex products, a model-based approach promises better complexity management, improved design quality, better knowledge reuse and improved communication [1]. These advantages are however also accompanied by challenges such as model management, interoperability, and consistency management. The ultimate goal in employing a model-based approach over a document-based approach is to make better decisions as early as possible (effectiveness) while utilizing fewer resources (efficiency).Using formal models enables use of computational power in predicting the outcomes. As complexity increases, the information which is typically part of a design specification becomes large, and computers can handle such large specifications much better than humans do through documents. Typically a model repository enables employm...

show abstract

Section: State Of the Artmentioning

confidence: 99%

Dependency Modeling and Model Management in Mechatronic Design

Qamar

Paredis

Wikander

et al. 2012

Journal of Computing and Information Science in Engineering

View full text Add to dashboard Cite

show abstract

“…We have proven in [6,15] In Figure 4, the part of the monitor behavior and a part of the interface state chart of the embedded BC component (cf. Figures 2(b) and 3 For a specific state of a hybrid reconfiguration chart holds that it can only result in an incompatible reconfiguration, if the composed dependency relation for the related combination of states of the subcomponent contains a cycle.…”

Section: Checking the Embeddingmentioning

confidence: 99%

“…As this refinement is a precongruence for [5,16], we can exclude time-stopping deadlocks etc. by looking only into more abstract behavioral models instead of their refinements.…”

Section: A Prerequisitesmentioning

confidence: 99%

“…It supports a component notion and the specification of required online reconfiguration activities which go across multiple levels of a component hierarchy [5][6][7]. Therefore, onlinereconfiguration can be employed also on the higher levels of the system control but also across the boundaries traditionally given by the involved disciplines.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML

Giese

Hirsch

2006

Satellite Events at the MoDELS 2005 Conference

Self Cite

View full text Add to dashboard Cite

Abstract. While traditionally the environment considered by an autonomous mechatronic systems only consist of the measurable, surrounding physical world, today advanced mechatronic systems also include the context established by the information technology. This trend makes mechatronic systems possible which consist of cooperating agents which optimize the system behavior by adjusting their local behavior and cooperation structure to better serve their current goals depending on the experienced mechanical and information environment. The MECHATRONIC UML approach enables the component-wise development of such self-optimizing mechatronic systems by providing a notion for hybrid components and support for modular verification of the safe online-reconfiguration. In this paper, we present an extension to the formerly presented solution which overcomes the restriction that only purely reactive behavior with restricted time constraints can be verified. We present how model checking can be employed to also verify the safe modular reconfiguration for systems which include components with complex time constraints and proactive behavior.

show abstract

“…The solution to this problem is a reconfiguration of the system, changing from the absolute damping to relative damping with onboard sensors in case of a failed transmission of the reference data. The presented software structure in combination with the hybrid state charts is an excellent means to implement the software in a well-structured and clear way (see also (Burmester et al, 2004)). Figure 11: OCM of the active suspension system Fig.…”

Section: Application Examplementioning

confidence: 99%

Structured Information Processing for Self-Optimizing Mechatronic Systems

Hestermeyer¹,

Oberschelp²,

Giese

2004

Proceedings of the First International Conference on Informatics in Control, Automation and Robotics

View full text Add to dashboard Cite

Abstract:Self-optimizing mechatronic systems are based on intrinsic controller systems whose complexity by far exceeds that of currently available systems. In addition to procedures taken from artificial intelligence, procedures for a reconfiguration by means of appropriate design methods have to be integrated to fully implement self-optimization features. Special importance falls to a networking of such complex controller systems for the support of collaborative and emergent self-optimization. One main challenge lies in the safety-critical nature of the systems that requires the resulting software along with the technical system to show a predictably correct behavior in spite of networking, reconfiguration, and integration of procedures from artificial intelligence. The paper presents a concept for structuring and designing reconfigurable controller systems.

show abstract

Hybrid Uml Components for the Design of Complex Self-Optimizing Mechatronic Systems

Cited by 18 publications

References 19 publications

Dependency Modeling and Model Management in Mechatronic Design

Dependency Modeling and Model Management in Mechatronic Design

Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML

Structured Information Processing for Self-Optimizing Mechatronic Systems

Contact Info

Product

Resources

About