A Case Study: Applying Lyra in Modeling S60 Camera Functionality

A Case Study: Applying Lyra in Modeling S60 Camera Functionality

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 applicatio...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Honkola, J., Leppanen, S., Rinne-Rahkola, P., Soderlund, M., Turunen, M., Varpaaniemi, K.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Application software
Cameras
Computer architecture
Formal verification
Hardware
Mobile handsets
Performance analysis
Protocols
Software architecture
Testing
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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
DOI:10.1109/ECBS.2007.5