Integrating viewpoints in the development of mechatronic products

ISO. Software and systems engineering – architecture description (ISO/IEC/IEEE 42010). Tech. rep., ISO; 2011. Estefan JA. Survey of model-based systems engineering (MBSE) methodologies, Revision B. Tech. rep., Jet Propulsion Laboratory, California Institute of Technology; 2008. Törngren M, Tripakis S, Derler P, Lee EA. Design contracts for cyber-physical systems: making timing assumptions explicit. Tech. rep. UCB/EECS-2012-191, EECS Department, University of California, Berkeley; 2012. <http://www.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-191.html>. Derler P, Lee EA, Torngren M, Tripakis S. Cyber-physical system design contracts. In: ICCPS ’13: ACM/IEEE 4th international conference on cyber-physical systems; 2013. <http://chess.eecs.berkeley.edu/pubs/959.html>. Qamar A. Model and dependency management in mechatronic design. Ph.D. thesis, KTH – Royal Institute of Technology; 2013. Biehl, 2012, On the modeling and generation of service-oriented tool chains, J Softw Syst Model, 0275 Sussman JM. Collected views on complexity in systems. Tech. rep. ESD-WP-2003-01.06, Royal Institute of Technology (KTH); 2003. <http://esd.mit.edu/WPS/internal-symposium/esd-wp-2003-01.06.pd>. Brooks, 1987, No silver bullet essence and accidents of software engineering, Computer, 20, 10, 10.1109/MC.1987.1663532 Torry-Smith, 2013, Challenges in designing mechatronic systems, J Mech Des, 135, 011005, 10.1115/1.4007929 Leveson, 2012 Adamsson N. Interdisciplinary integration in complex product development: mnagerial implications of embedding software in manufactured goods. Ph.D. thesis, KTH – Royal Institute of Technology; 2007. Malvius D. Integrated information management in complex product development. Ph.D. thesis, KTH – Royal Institute of Technology; 2009. Hehenberger P. Proceedings 1st workshop onmechatronic design. Johannes Kepler University, Linz, 2012. <http://mechatronic-design.jku.at>. van Amerongen, 2003, Mechatronic design, Mechatronics, 13, 1045, 10.1016/S0957-4158(03)00042-4 Frey, 2009, Multi-domain product modelling: from requirements to CAD and simulation tools, 477 Oliver, 1997 Tjalve E. Systematic design of industrial products. Institute of Product Development, The Technical University of Denmark; 2003. ISBN: 9788798136019. Siemens PLM Software. Solid edge; 2011. <http://www.plm.automation.siemens. com/en_us/products/velocity/solidedge/index.shtml>. Mathworks. Matlab/Simulink; 2013. <http://www.mathworks.com/products/simulink>. IBM. Rational rhapsody developer; 2013. <http://www-142.ibm.com/software/products/us/en/ratirhap>. Tomiyama, 2007, Complexity of multi-disciplinary design, CIRP Ann – Manuf Technol, 56, 185, 10.1016/j.cirp.2007.05.044 Buur, 1989, Design models in mechatronic product development, Des Stud, 10, 155, 10.1016/0142-694X(89)90033-1 Qamar, 2012, Dependency modeling and model management in mechatronic design, J Comput Inform Sci Eng, 12, 041009, 10.1115/1.4007986 Finkelstein, 2000, A foolish consistency: technical challenges in consistency management, 1 Pratt, 2001, Introduction to ISO 10303—the STEP standard for product data exchange, J Comput Inform Sci Eng, 1, 102, 10.1115/1.1354995 Shaw, 1996 Tratt, 2005, Model transformations and tool integration, Softw Syst Model, 4, 112, 10.1007/s10270-004-0070-1 Christie A, Levine L, Morris EJ, Riddle B, Zubrow D. Software process automation: interviews, survey, and workshop results. Tech. rep., SEI; 1997. <http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.9896>. Derler, 2012, Modeling cyber-physical systems, Proc IEEE, 100, 13, 10.1109/JPROC.2011.2160929 Frost, 2007, Jazz and the Eclipse way of collaboration, IEEE Softw, 24, 114, 10.1109/MS.2007.170 Hein C, Ritter T, Wagner M. Model-driven tool integration with ModelBus. In: Workshop future trends of model-driven development; 2009. Atkinson, 2008, Reducing accidental complexity in domain models, Softw Syst Model, 7, 345, 10.1007/s10270-007-0061-0 Object Management Group. OMG systems modeling language specification V1.3; 2012a. <http://www.omg.org/spec/SysML/1.3/>. Shah, 2010, Multi-view modeling to support embedded systems engineering in SysML, vol. 5765, 580, 10.1007/978-3-642-17322-6_25 Cao, 2011, System-level model integration of design and simulation for mechatronic systems based on SysML, Mechatronics, 21, 1063, 10.1016/j.mechatronics.2011.05.003 Brooks, 1987, No silver bullet – essence and accident in software engineering, IEEE Comput, 20, 10, 10.1109/MC.1987.1663532 Vallecillo A. On the combination of domain specific modeling languages. In: Modeling foundations and applications. Lecture notes in computer science, vol. 6138; 2010. p. 305–20. doi:10.1007/978-3-642-13595-8_24. Mosterman, 2004, Computer automated multi-paradigm modeling: an introduction, Simul: Trans Soc Model Simul Int, 80, 433, 10.1177/0037549704050532 Bini, 2008, Delay-aware period assignment in control systems, 291, 10.1109/RTSS.2008.45 Hazelrigg, 1998, A framework for decision based engineering design, J Mech Des, 120, 653, 10.1115/1.2829328 Biehl M. Semantic anchoring of TIL. Tech. rep. ISRN/KTH/MMK/R-12/19-SE, Royal Institute of Technology; 2012. <http://www1.md.kth.se/biehl/files/papers/semantics.pdf>. Takai, 2011, An approach toward integrating top-down and bottom-up product concept and design selection, J Mech Des, 133, 071007, 10.1115/1.4004233 Nuseibeh, 1992, ViewPoints: a vehicle for method and tool integration, 50, 10.1109/CASE.1992.200130 Persson, 2013, A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems Medvidovic, 2000, A classification and comparison framework for software architecture description language, IEEE Trans Softw Eng, 26, 70, 10.1109/32.825767 Borches, 2011, A3 architecture overviews – harvesting architectural knowledge to enhance evolvability of embedded systems, 121 de Alfaro, 2001, Interface theories for component-based design, vol. 2211 de Alfaro, 2002, Timed interfaces, 108 Alur R, Weiss G. Regular specifications of resource requirements for embedded control software. In: IEEE real-time and embedded technology and applications symposium; 2008. p. 159–68. Benveniste, 2009, Multi-viewpoint state machines for rich component models Sun, 2009, Contract-based system-level composition of analog circuits, 605 Sangiovanni-Vincentelli A, Damm W, Passerone R. Taming Dr. Frankenstein: contract-based design for cyber-physical systems. Eur J Control 2012;18(3):217–238. Thramboulidis, 2010, The 3+1 SysML view-model in model integrated mechatronics, J Softw Eng Appl, 3, 109, 10.4236/jsea.2010.32014 Eppinger, 2012 Object Management Group. SysML – modelica transformation (SyM) V1.0; 2012b. <http://www.omg.org/spec/SyM/1.0/>. Bhave, 2011, View consistency in architectures for cyber-physical systems, 151, 10.1109/ICCPS.2011.17 Gausemeier, 2010 Albers, 2011, System architecture modeling in a software tool based on the contact and channel approach (C&C-A), J Mech Des, 133, 101006, 10.1115/1.4004971 Association of German Engineers, 2004 Asplund F. Tool integration and safety – a foundation for analysing the impact of tool integration on non-functional properties licentiate thesis, October 2012, Stockholm, Sweden. Ph.D. thesis, KTH – Royal Institute of Technology; 2012. Siegers R. The abcs of afs: understanding architecture frameworks. In: Proceedings of INCOSE international symposium, Rochester, NY, July 10–15; 2005. Mark, 2004 Biehl M. Literature study on model transformations. Tech. rep. ISRN/KTH/MMK/R-10/07-SE, Royal Institute of Technology; 2010. Levi L, Mustafiz S, Denil J, Vangheluwe H, Jukss M. FTG + PM: an integrated framework for investigating model transformation chains. SDL 2013: model-driven dependability engineering. Lecture notes in computer science; 2013. p. 7916:182–202. doi:10.1007/978-3-642-38911-5_11. Reyer, 2002, Combined optimal design and control with application to an electric DC motor, J Mech Des, 124, 183, 10.1115/1.1460904 Albers, 2010, Integrated structural and controller optimization in dynamic mechatronic systems, J Mech Des, 132, 41008, 10.1115/1.4001380 Kawahara R, Dotan D, Sakairi T, Kirshin A. Verification of embedded system’s specification using collaborative simulation of SysML and simulink models. In: International conference on model-based systems engineering; 2009. p. 21–28. <http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber= 5031716>. doi:10.1109/MBSE.2009.5031716. Brisolara LB, Oliveira MFS, Nascemento FAM, Carro L, Wagner FR. Using UML as a front-end for an efficient simulink-based multithread code generation targeting MPSoCs. In: 4th international UML DAC workshop. California, USA; 2007. p. 11–6. Reichmann C, Gebauer D, Müller-Glaser KD. Model level coupling of hetergeneous embedded systems. In: 2nd RTAS workshop on model-driven embedded systems; 2004. Kerzhner AA. Using logic-based approaches to explore system architectures for systems engineering. Ph.D. thesis, Georgia Institute of Technology, Atlanta, GA, USA; 2012. <https://smartech.gatech.edu/handle/1853/44748>. Ravichandran, 2006, Simultaneous plant – controller design optimization of a two-link planar manipulator, Mechatronics, 16, 233, 10.1016/j.mechatronics.2005.09.008 da Silva, 2009, Integrated structure and control design for mechatronic systems with configuration-dependent dynamics, Mechatronics, 19, 1016, 10.1016/j.mechatronics.2009.06.006 Yan, 2009, Integrated control and mechanism design for the variable input-speed servo four-bar linkages, Mechatronics, 19, 274, 10.1016/j.mechatronics.2008.07.008 Shell, 2003, The synthesis of optimal systems design solutions, Syst Eng, 6, 92, 10.1002/sys.10037 Klein, 1989, Conflict resolution in cooperative design, Artif Intell Eng, 4, 168, 10.1016/0954-1810(89)90013-7 Ostrosi, 2011, Fuzzy modelling of consensus during design conflict resolution, Res Eng Des, 23, 53, 10.1007/s00163-011-0114-9 Wasserman, 1989, Tool integration in software engineering environments, 137 Brown, 1994 Broy, 2010, Seamless model-based development: from isolated tools to integrated model engineering environments, Proc IEEE, 98, 526, 10.1109/JPROC.2009.2037771 Wicks, 2007, A new research agenda for tool integration, J Syst Softw, 80, 1569, 10.1016/j.jss.2007.03.089 Yang, 1996, Classification of and experimentation on tool interfacing in software development environments, 10.1109/APSEC.1996.566740 Dijkman R. Multi-viewpoint architectural design: consistency in multi-viewpoint architectural design. Ph.D. thesis, University of Twente, Netherlands; 2006. Engels, 1994, A combined reference model- and view-based approach to system specification, Int J Softw Eng Knowl Eng Schätz, 2003, Consistency in model-based development, 10.1109/ECBS.2003.1194810 Simmonds J, Van Der Straeten R, Jonckers V, Mens T. Maintaining consistency between UML models with description logic. In: Jérôme E, Bernard C, editors. L’OBJET, vol. 10; 2004. p. 231–44. Straeten R.V.D, Mens T, Simmonds J, Jonckers V. Using description logic to maintain consistency between UML models. UML 2003, the unified modeling language modeling languages and applications. Lecture notes in computer science; 2003. p. 2863:326–40. doi:10.1007/978-3-540-45221-8_28. Mens, 2006, Detecting and resolving model inconsistencies using transformation dependency analysis, vol. 4199, 200, 10.1007/11880240_15 Van Der Straeten, 2006, Model refactorings through rule-based inconsistency resolution, 1210, 10.1145/1141277.1141564 Törngren, 2008 Qamar A, Herzig SJI, Paredis CJJ. A domain-specific language for dependency management in model-based systems engineering. In: 7th workshop on multi-paradigm modeling, proceedings of international conference on modeling foundations and applications. FL, USA: Miami; 2013.