Combining MARTE-UML, SysML and CVL to Build Unmanned Aerial Vehicles

[1]  Hassan Gomaa.  Designing Software Product Lines with UML 2.0: From Use Cases to Pattern-Based Software Architectures , 2006, ICSR.

[2]  Joseph Sifakis.  Embedded Systems - Challenges and Work Directions , 2004, OPODIS.

[3]  Birger Møller-Pedersen,et al.  Developing a Software Product Line for Train Control: A Case Study of CVL , 2010, SPLC.

[4]  Patrick Donohoe,et al.  Feature-Oriented Project Line Engineering , 2002, IEEE Softw..

[5]  Goiuria Sagardui Mendieta,et al.  Model based analysis process for embedded software product lines , 2011, ICSSP '11.

[6]  Charles W. Krueger,et al.  Variation Management for Software Production Lines , 2002, SPLC.

[7]  David M. Weiss,et al.  Software Product-Line Engineering: A Family-Based Software Development Process , 1999 .

[8]  Martin Becker,et al.  The ProLiCES Approach to Develop Product Lines for Safety-Critical Embedded Systems and its Application to the Unmanned Aerial Vehicles Domain , 2012, CLEI Electron. J..

[9]  Klaus Pohl,et al.  Software Product Line Engineering - Foundations, Principles, and Techniques , 2005 .

[10]  Lionel C. Briand,et al.  Environment modeling with UML/MARTE to support black-box system testing for real-time embedded systems: methodology and industrial case studies , 2010, MODELS'10.

[11]  Guillermo Arango,et al.  Domain Analysis and Software Systems Modeling , 1991 .

[12]  Jing Liu,et al.  Safety analysis of software product lines using state-based modeling , 2007, J. Syst. Softw..

[13]  Bernhard Rumpe,et al.  First-class variability modeling in Matlab/Simulink , 2013, VaMoS.

[14]  Krzysztof Czarnecki,et al.  CVL: common variability language , 2012, SPLC '12.

[15]  Rosana T. V. Braga,et al.  A Critical Embedded System Product Line Model-based Approach , 2014, SEKE.

[16]  Frank Weil,et al.  Model-Driven engineering in a large industrial context — motorola case study , 2005, MoDELS'05.

[17]  Mats Per Erik Heimdahl,et al.  Safety and Software Intensive Systems: Challenges Old and New , 2007, Future of Software Engineering (FOSE '07).

[18]  Alberto L. Sangiovanni-Vincentelli,et al.  Using Multiple Levels of Abstractions in Embedded Software Design , 2001, EMSOFT.