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
Ladda ner artikel
Ingår i: Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools;
Zurich; Switzerland; September 5; 2011
Linköping Electronic Conference Proceedings 56:2, s. 9-18
Publicerad: 2011-11-03
ISBN: 978-91-7519-825-5
ISSN: 1650-3686 (tryckt), 1650-3740 (online)
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.
Model Driven Requirements Engineering; Industrial Automation Systems; SysML; Modelica
[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.
