DocumentCode
2300852
Title
A Case Study: Applying Lyra in Modeling S60 Camera Functionality
Author
Honkola, Jukka ; Leppänen, Sari ; Rinne-Rahkola, Pasi ; Söderlund, Martti ; Turunen, Markku ; Varpaaniemi, Kimmo
Author_Institution
Nokia Res. Center
fYear
2007
fDate
26-29 March 2007
Firstpage
25
Lastpage
36
Abstract
We present an application of a modeling method for distributed systems to a case study of mobile phone camera functionality based on an existing implementation. The modeling method, Lyra, utilizes formal definitions, in this case UML2 state machines, for behavior We observe the industrial application of the models, for instance modeling conventions and tool support needed to enable it, and the application cases of model based testing and illustration of system properties
Keywords
Unified Modeling Language; formal specification; mobile computing; mobile handsets; Lyra; S60 camera functionality; UML2 state machines; distributed systems; formal definitions; mobile phone camera; systems modeling; Application software; Cameras; Computer architecture; Formal verification; Hardware; Mobile handsets; Performance analysis; Protocols; Software architecture; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Computer-Based Systems, 2007. ECBS '07. 14th Annual IEEE International Conference and Workshops on the
Conference_Location
Tucson, AZ
Print_ISBN
0-7695-2772-8
Type
conf
DOI
10.1109/ECBS.2007.5
Filename
4148916
Link To Document