Article | Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Zurich; Switzerland; September 5; 2011 | A Model Driven Approach for Requirements Engineering of Industrial Automation Systems

Title:
A Model Driven Approach for Requirements Engineering of Industrial Automation Systems
Author:
Hongchao Ji: Bosch Rexroth AG, Germany Oliver Lenord: Bosch Rexroth AG, Germany Dieter Schramm: Institute for Mechatronics and System Dynamics , University of Duisburg-Essen, Germany
Download:
Full text (pdf)
Year:
2011
Conference:
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Zurich; Switzerland; September 5; 2011
Issue:
056
Article no.:
002
Pages:
9-18
No. of pages:
10
Publication type:
Abstract and Fulltext
Published:
2011-11-03
ISBN:
978-91-7519-825-5
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


Model driven requirements engineering (MDRE) is proposed to deal with the ever-increasing complexity of technical systems in the sense of providing requirement specifications as formal models that are correct; complete; consistent; unambiguous and easy to read and easy to maintain. A critical issue in this area is the lack of a universal and standardized modeling language which covers the whole requirements engineering process from requirement specification; allocation to verification. SysML is being proposed to meet these requirements. In this paper a model driven requirements engineering process for industrial applications in the field of automation systems is described in order to reveal shortcomings in recent modeling tools and modeling languages. Special focus is layed on the requirements definition and the automated verification of the design against the requirements using executable models. Based on the analysis a new profile of the Unified Modeling Language (UML) called Model Driven Requirements Engineering for Bosch Rexroth (MDRE4BR) is presented which aims to contribute to latest investigations in this field. An application example of a hydrostatic press system is given to illustrate the approach.

Keywords: Model Driven Requirements Engineering; Industrial Automation Systems; SysML; Modelica

Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Zurich; Switzerland; September 5; 2011

Author:
Hongchao Ji, Oliver Lenord, Dieter Schramm
Title:
A Model Driven Approach for Requirements Engineering of Industrial Automation Systems
References:

[1] Bosch Rexroth AG. D&C Scheme Editor Manual. Technical report; Bosch Rexroth AG; 2010.


[2] Hubert Dubois; Marie-Agnès Peraldi-Frati; and Fadoi Lakhal. A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems. In 15th IEEE International Conference on Engineering of Complex Computer Systems; ICECCS 2010; Oxford; United Kingdom; 22-26 March 2010; pages 233–242; 2010.


[3] Martin Glinz. On Non-Functional Requirements. In 15th IEEE International Requirements Engineering Conference; RE 2007; October 15-19th; 2007; New Delhi; India; pages m21–26; 2007.


[4] Eric Herzog and Asmus Pandikow. SysML - an Assessment.In Proceedings of the 15th INCOSE International Symposium; 2005.


[5] Marcos Vinicius Linhares; Alexandre Jose da Silva; and Romulo Silva de Oliveira. Empirical Evaluation of SysML through the Modeling of an Industrial Automation Unit. In Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation; 2006.


[6] Jürgen Lüttin. Bosch Requirements Engineering Framework - Overview. Technical report; Robert Bosch GmbH; 2010.


[7] http://www.modelica.org.


[8] http://www.omg.org.


[9] http://www.eplan.de.


[10] Christiaan J.J. Paredis; Yves Bernard; Roger M. Burkhart; Hans-Peter de Koning; Sanford Friedenthal; Peter Fritzson; Nicolas F. Rouquette; and Wladimir Schamai. An Overview of the SysML-Modelica Transformation Specification. In 2010 INCOSE International Symposium; July 2010.


[11] Adrian Pop; David Akhvlediani; and Peter Fritzson. Towards Unified System Modeling with the ModelicaML UML Profile. In Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT’07); pages 13–24; 2007.


[12] Wladimir Schamai. Modelica Modeling Language (ModelicaML). Technical report; EADS Innovation Works; Germany; 2009.


[13] Wladimir Schamai; Peter Fritzson; Chris Paredis; and Adrian Pop. Towards Unified System Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical Notations. In Proceedings of the 7th International Modelica Conference; Como; Italy; 20-22 September 2009; number 43 in Linköping Electronic Conference Proceedings; pages 612–621. Linköping University Electronic Press; Linköpings universitet; December 2009.


[14] Wladimir Schamai; Philipp Helle; Peter Fritzson; and Christiaan J. J. Paredis. Virtual Verification of System Designs against System Requirements. In Models in Software Engineering - Workshops and Symposia at MODELS 2010; Oslo; Norway; October 2-8; 2010; Reports and Revised Selected Papers; pages 75–89; 2010.


[15] http://www.omgsysml.org.


[16] VDI. Design Methodology for Mechatronic Systems (VDI 2206). Technical report; VDI; 2004.

Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Zurich; Switzerland; September 5; 2011

Author:
Hongchao Ji, Oliver Lenord, Dieter Schramm
Title:
A Model Driven Approach for Requirements Engineering of Industrial Automation Systems
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment