![](bg8.png)
5 CONCLUSIONS
To meet the current and future challenges in the de-
velopment of large-scale industrial software systems,
novel design approaches with high-degree of automa-
tion are needed. This paper presents a system design
automation approach developed in industrial settings.
The approach is based on an enhanced version of
the Lyra method, a systematic domain-specific design
method, which applies the ideas of model-based de-
velopment and MDA in the mobile communications
industry. The automation approach has been realised
with a hierarchy of wizards and model generators fol-
lowing the phases and definitions of Lyra. The Tele-
logic Tau modeling tool and the UML 2.0 language
have been used for implementation of the approach. It
has been illustrated with an example on specifying the
telephony functionality of a mobile device. The first
user experiences are positive and indicate significant
speed-up factors. In the future work, the automation
frameworkand its realisation will be further improved
and enhanced with automated checking of model con-
sistency in full scale. Also, automated generation of
behavioral parts related to e.g. fault tolerance of the
system should be built into system design automation.
REFERENCES
Alanen, M., Porres, I., Koskimies, K., and Kuzniarz, L.
(2004). The Coral modelling framework. In Pro-
ceedings of the 2nd Nordic Workshop on the Unified
Modeling Language NWUML’2004.
Eclipse Foundation (2007). Eclipse modeling
project. Retrieved October 9, 2007, from
www.eclipse.org/modeling/.
Honkola, J., Lepp¨anen, S., Rinne-Rahkola, P., S¨oderlund,
M., Turunen, M., and Varpaaniemi, K. (2007). A case
study: Applying Lyra in modeling S60 camera func-
tionality. In 14th Annual IEEE Internat. Conf. and
Workshops on the Engineering of Computer-Based
Systems (ECBS’07).
Ilic, D., Troubitsyna, E., Laibinis, L., and Lepp¨anen,
S. (2006). Formal verification of consistency in
model-driven development of distributed communi-
cating systems and communication protocols. In Pro-
ceedings of the IEEE 2nd Internat. Symposium on
Leveraging Applications of Formal Methods, Verifica-
tion and Validation (ISoLA 2006).
Laibinis, L., Troubitsyna, E., Lepp¨anen, S., Lilius, J., and
Malik, Q. (2005a). Formal model-driven development
of communicating systems. In Lau, K. and Banach,
R., editors, Proceedings of ICFEM - The 7th Internat.
Conf. on Formal Engineering Methods, volume 3785
of Lecture Notes on Computer Science. Springer.
Laibinis, L., Troubitsyna, E., Lepp¨anen, S., Lilius, J., and
Malik, Q. (2005b). Formal service-oriented devel-
opment of fault tolerant communicating systems. In
Proceedings of REFT 2005 - Workshop on Rigorous
Engineering of Fault Tolerant Systems. University of
Newcastle Upon Tyne, School of Computing Science.
Laibinis, L., Troubitsyna, E., Lepp¨anen, S., Lilius, J., and
Malik, Q. (2006). Formal service-oriented develop-
ment of fault tolerant communicating systems. In Rig-
orous Development of Complex Fault-Tolerant Sys-
tems, volume 4157 of Lecture Notes in Computer Sci-
ence. Springer.
Lepp¨anen, K., Lepp¨anen, S., and Turunen, M. (2007). A
modelling method for rigorous and automated design
of large-scale industrial systems. In ACM/IEEE 10th
Internat. Conf. on Model Driven Engineering Lan-
guages and Systems (MODELS 2007).
Lepp¨anen, S. (2005). The Lyra Design Method. Technical
report, Technical University of Tampere. ISBN 952-
15-1464-7, ISSN 1459-417X.
Lepp¨anen, S., Ilic, D., Malik, Q., Syst¨a, T., and Troubit-
syna, E. (2005). Specifying UML profile for dis-
tributed communicating systems and communication
protocols. In Proceedings of the Workshop on Consis-
tency in Model Driven Engineering.
OMG (2005a). Model Driven Architecture. Retrieved May
15, 2007, from www.omg.org/mda/.
OMG (2005b). Unified Modeling Language. Retrieved
May 15, 2007, from www.uml.org.
Schulz, S., Honkola, J., and Huima, A. (2007). Towards
model-based testing with architecture models. In 14th
Annual IEEE Internat. Conf. and Workshops on the
Engineering of Computer-Based Systems (ECBS’07).
Selic, B., Gullekson, G., McGee, J., and Engelberg, I.
(1992). ROOM: an object-oriented methodology for
developing real-time systems. In Fifth International
Workshop on Computer-Aided Software Engineering.
Telelogic (2007). Tau generation2.
Retrieved May 15, 2007, from
http://www.telelogic.com/products/tau/g2/index.cfm.
ENASE 2008 - International Conference on Evaluation of Novel Approaches to Software Engineering
46