![](bg8.png)
Product Lines. In Proc. of the International Workshop
on Model-Driven Approaches in Product Line
Engineering, San Francisco, 2009, p. 51-57.
Branco, K. R. L. J. C.; Pelizzoni, J. M.; Oliveira Neris, L.;
Trindade, O.; Osorio, F. S.; Wolf, D. F. Tiriba - a new
approach of UAV based on model driven development
and multiprocessors. In: IEEE International
Conference on Robotics and Automation (ICRA 2011),
Shanghai, 2011, p. 1-4.
Burch, J., Passerone, R., and Sangiovanni-Vicentelli, A. L.
Using Multiple Levels of Abstractions in Embedded
Software Design. In: Proc. of the International
Workshop on Embedded Software (EMSOFT 2001),
Berlin, 2001, p. 324-343.
Buschmann, F.; Schwanninger, C. Successful Product
Line Engineering: Experiences from the Real World.
Proc. of 15
th
International Software Product Line
Conference (SPLC 2011), Munich, 2011, p. 349.
Czarnecki, K., Helsen, S., and Eisenecker, U. Staged
Configuration Through Specialization and Multi-Level
Configuration of Feature Models. Software Process
Improvement and Practice, v.10, n. 2, p. 143-169,
2005.
Douglass, B. P. Real-Time UML: Developing Efficient
Objects for Embedded Systems. 3rd ed. Reading, MA:
Addison-Wesley, 752 p. 2004.
Farkas, T., Meiseki, E., Neumann, C., Okano, K.,
Hinnerichs, A., and Kamiya, S. Integration of UML
with Simulink into Embedded Software Engineering.
In: Proc. of the ICROS-SICE International Joint
Conference, Fukuoka, Japan, 2009, p. 474-479.
INCOSE. International Council on Systems Engineering.
Object Oriented System Engineering Method. OOSEM
Descriptive Outline for INCOSE SE Handbook
Version 3, Annotated Update, Sect. 6.4.2, p. 6-1 a 6-6,
2006.
INCT-SEC, Sistemas Embarcados Críticos: aplicações em
segurança e agricultura, CNPq 2008, Available in:
<http://www.inct-sec.org>. Accessed in: Sep. 18,
2012.
Linden, F., Schmif, K., and Rommes, E. Software Product
Lines in Action: The Best Industrial Practice in
Product Line Engineering. Secaucus: Springer, 2007,
353 p.
Lykins, F. M., and Friedenthal, S. Adapting UML for an
Object-Oriented Systems Engineering Method
(OOSEM). In: Proc. of the INCOSE International
Symposium, Minneapolis, 2000, 91-98.
Marwedel, P. Embedded System Design. Springer,
Dortmund, 2006, 241 p.
Moreira, T. G., Wehrmeister, M. A., Pereira, C. E., Pétin,
J., and Levrat, E. Automatic Code Generation for
Embedded Systems: From UML Specifications to
VHDL Code. In: Proc. of the 8
th
IEEE International
Conference on Industrial Informatics, Osaka, Japan,
2010, p. 1085-1090.
Murray, C. RUP SE: The Rational Unified Process for
Systems Engineering. The Rational Edge, Rational
Software, 2003.
Oliveira Junior, E. A., Gimenes, I. M. S., and Maldonado,
J. C. Systematic Management of Variability in UML-
based Software Product Lines, Journal of Universal
Computer Science, v.16, p. 2374-2393, 2010.
OMG. Model-Driven Architecture. Object Management
Group. 2004.
OMG. MARTE UML Profile Specification. Object
Management Group. 2009.
OMG. Systems Modeling Language (SysML), 2012.
Version 1.3. Object Management Group.
Perseil, I., and Pautet, L. High-Level Abstraction
Modeling for Detailed Analysis of Avionic Real-time
Systems. In Proc. of the 17th IEEE International
Conference and Workshops on Engineering of
Computer-Based Systems, 2010, p. 418-424.
Polzer, A., Kowalewski, S., and Botterweck, G. Applying
Software Product Line Techniques in Model-based
Embedded Systems Engineering. In: Proc. of the 6th
International Workshop on Model-based
Methodologies for Pervasive and Embedded Software,
Vancouver, CA, 2009, p. 2-10.
Pure-Systems. pure::variants. Available in:
<http://www.pure-systems.com/pure_variants.49.0.ht
ml>. Accessed in: Dec. 10, 2011.
Sabetzadeh, M.; Nejati, S.; Briand, L.; Mills, A. E. Using
SysML for Modeling of Safety-Critical Software-
Hardware Interfaces: Guidelines and Industry
Experience. In Proc. of the IEEE 13
th
International
Symposium on High-Assurance Systems Engineering
(HASE), 2011, p. 193-201.
Shimabukuro, J.; Ohara, T.; Okamoto, C.; Atarashi, Y.;
Koizumi, S.; Watanabe, S.; Funakoshi, K. Key
Activities for Introducing Software Product Lines into
Multiple Divisions: Experience at Hitachi. In: Proc. of
15
th
International Software Product Line Conference
(SPLC 2011), Munich, 2011, p. 261-266.
Sjostedt, C., Shi, J., Torngren, M., and Servat, D. Mapping
Simulink to UML in the design of embedded systems:
Investigating scenarios and transformations. In: Proc.
of the 4
th
Workshop on Object-oriented Modeling of
Embedded Real-Time Systems, Paderborn, Germany,
2008, p. 36-43.
Weilkiens, T. Systems Engineering with SysML/UML.
Morgan Kaufmann Publishers. 2007, 320 p.
Zaki, M. Z. M., and Jawawi, D. N. A. Model-Based
Methodology for Implementing MARTE in Embedded
Real-Time Software. In Proc. of the IEEE Symposium
on Computers & Informatics, 2011, p. 536-541.
ICEIS2013-15thInternationalConferenceonEnterpriseInformationSystems
264