Applying Lyra in Modeling S60 Camera Functionality

Reference:

Jukka Honkola, Sari Leppänen, Pasi Rinne-Rahkola, Martti Söderlund, Markku Turunen, and Kimmo Varpaaniemi. Applying Lyra in modeling S60 camera functionality. In John Leaney, Jerzy W. Rozenblit, and Jianfeng Peng, editors, Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007, Raising Expectations of Computer-Based Systems, pages 25–36. IEEE Computer Society Press, 2007.

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:

modeling of distributed systems,UML2 state machines, mobile phone camera functionality

Suggested BibTeX entry:

@inproceedings{kva:HLRSTV07,
    author = {Jukka Honkola and Sari Lepp{\"{a}}nen and Pasi Rinne-Rahkola and Martti S{\"{o}}derlund and Markku Turunen and Kimmo Varpaaniemi},
    booktitle = {Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007, Raising Expectations of Computer-Based Systems},
    editor = {John Leaney and Jerzy W. Rozenblit and Jianfeng Peng},
    pages = {25--36},
    publisher = {IEEE Computer Society Press},
    title = {{A}pplying {L}yra in Modeling {S}60 Camera Functionality},
    year = {2007},
}