Model Generation for the Verification of Automatically Generated Mechatronic Control Software

Foeken, M.J.; Voskuijl, Mark; Cabrera, Alicia Triviño; Tooren, Michel van

doi:10.1109/mesa.2008.4735662

Cited by 6 publications

(5 citation statements)

References 12 publications

(9 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To support the development of control software and to cope with the multidisciplinary nature of mechatronic systems, an automatic control software generation framework has been proposed previously [14,15]. Depicted in Figure 2, the framework contains a combination of to-be-developed and existing commercial tools, supported by a high-level model description providing both a functional view on the system, as well as an integration platform.…”

Section: Control Software Generation Frameworkmentioning

confidence: 99%

“…In the current framework, the analysis data is directly tied to the system components it is related to. For the initial implementation, the Systems Modelling Language (SysML) has been proposed [14]. SysML is an extension of UML, with a focus on systems engineering applications, providing means to model and analyse (non-software) systems [17].…”

Section: Control Software Generation Frameworkmentioning

confidence: 99%

“…The data used for this example is based on the quadrotor design used in Ref. [14]. The composition of the rotor actuator assembly is given in Figure 6.…”

Section: Modelling Of Quadrotor Uavmentioning

confidence: 99%

See 2 more Smart Citations

Knowledge-based simulation model generation for control law design applied to a quadrotor UAV

Foeken

Voskuijl

2010

Mathematical and Computer Modelling of Dynamical Systems

View full text Add to dashboard Cite

Like for all mechatronic systems, the role of control software in unmanned aerial vehicle (UAV) design is becoming more important. As part of an automated control software development framework, this article discusses the development of a simulation model generation method. As a basis, the application of knowledge-based engineering (KBE) is suggested, requiring the definition of an ontology to capture the various domain concepts and relationships. The initial knowledge base represents concepts and relations to create models with Modelica, the object-oriented modelling language used to construct the simulation model. The need for physics-based, high-fidelity simulation models using the latest design parameters is illustrated by investigating the model of a quadrotor UAV. The results show that the obtained model can form the basis for control design and that the approach provides means to integrate the dynamics analysis and control design into a modelling framework using a combination of object-oriented component modelling and KBE principles.

show abstract

Section: Control Software Generation Frameworkmentioning

confidence: 99%

Section: Control Software Generation Frameworkmentioning

confidence: 99%

See 1 more Smart Citation

Knowledge-based simulation model generation for control law design applied to a quadrotor UAV

Foeken

Voskuijl

2010

Mathematical and Computer Modelling of Dynamical Systems

View full text Add to dashboard Cite

show abstract

“…In the generation of modular classes the mechatronic idea is also applied. With a consistent integration of electrical, mechanical, technological elements in mechatronic modules, all elements can be integrated in one singular module [7] . Due to the autonomy of such a module the number and complexity of interfaces can be minimized.…”

Section: Ew Definition Of Modular Boundariesmentioning

confidence: 99%

Achieving Flexible Reconfiguration via Mechatronic Modules

Jin¹,

Zhao²

2010

AMM

View full text Add to dashboard Cite

With shortening product life cycle, modern production facilities require rapid adaptation to new requirements. In addition, easier maintainability is called for in order to achieve a higher availability. This can be accomplished by means of modular and reconfigurable machines and facilities. For this purpose, machine modules with new system boundaries have to be designed as mechatronic and self-sustaining units to achieve reconfigurable machining systems. Thus new generations of machine configurations must be created. In this article, the analysis of interfaces for new mechatronic autonomous modules is developed, which will result in new modular machine concepts which are firstly applied on a transfer line where the machines represent the modules and secondly on machining centre where machine components are defined as modules. Thereby it is proven that by integration of functions and by setting new system boundaries, mechatronic autonomous modules are developable.

show abstract

“…In these papers, the other authors focus on the mechatronic design applications of the Architecture Modeling Framework, whereas I focus on the consistency, integration and reuse of design processes, and the definition of the framework itself , 2010, 2009Foeken and Tooren, 2009;Woestenenk et al, 2011Woestenenk et al, , 2010. Other project papers where the author did not contribute Alirezaei and van den Boom, T. J. J. Babuska, 2012;Foeken et al, 2008;, and a dissertation by [Alvarez Cabrera, 2011] complement the practicality of the framework in software control design. Also, to get a response to the validity of the main re- search deliverable, the architecture modeling framework, three workshops were conducted (appendix C).…”

Section: Industry As a Labmentioning

confidence: 99%

Consistency, integration, and reuse in multi-disciplinary design processes: through an architecture modeling framework

Woestenenk¹

View full text Add to dashboard Cite

This work has been published using L A T E X 2 ε and the Twentethesis documentclass.Duurt even, maar dan heb je ook wat... SummaryThe development of modern (mechatronic) systems demands close cooperation between experts from multiple engineering disciplines. These disciplines each speak their own engineering language and can even have conflicting views of what the system is. This leads to a complex situation that impedes the communication between these experts, as well as the integration of design and analysis tools.The main 'pressures' in improving multi disciplinary design are the improvement of system performance, time-to-market and cost. This can be improved by facilitating communication between stakeholders, modeling architectural concerns and other important design information, and facilitating capturing and reusing design knowledge across disciplines. These pressures, however, cannot be subject to direct scientific research, as experiments cannot be easily realized: We cannot let multiple companies perform multiple design processes to compare methods that aim to improve the pressures. Instead, the pressures are 'transformed' in the issues of consistency, integration and reuse, which can be evaluated through case studies. As such, the hypothesis for this thesis is: The consistency, integration and reusability of multi-disciplinary design processes can be improved by facilitating communication between stakeholders, modeling architectural concerns and other important design information, and facilitating capturing and reusing design knowledge across disciplines.To help this communication, multiple stakeholders need to have a shared model to: share design decisions, create common understanding of the design process, share deliverables (workflow), and keep this shared information consistent. In such a model, stakeholders can make their own views to create models for their aspects of the system. The information in these views can be connected to other views, and even reused by copying or referencing. This facilitates the stakeholder gathering the information from multiple sources to do his job, or allow exposing his concerns so he can influence activities performed by experts of other disciplines.The argument of this thesis is: there is a lack of a common language that can describe both the system architecture and information flows in the design process. Such a language should enable us to model the shared information between the designers and their models and the tools that they use. There is no unifying modeling language to exchange information across disciplines, across design process phases and across levels of granularity. This means we lack the means to make a model of all design aspects, especially the ones that cut across the design disciplines. We lack the means to model how information from the mono disciplinary design tasks is handed over to subsequent design tasks. And we lack the means VIII to provide a big picture of how mono disciplinary design information is connected to the abstract system wide ...

show abstract

Model Generation for the Verification of Automatically Generated Mechatronic Control Software

Cited by 6 publications

References 12 publications

Knowledge-based simulation model generation for control law design applied to a quadrotor UAV

Knowledge-based simulation model generation for control law design applied to a quadrotor UAV

Achieving Flexible Reconfiguration via Mechatronic Modules

Consistency, integration, and reuse in multi-disciplinary design processes: through an architecture modeling framework

Contact Info

Product

Resources

About