Abstract
Today, the expectations placed on the mobile environment is getting high to the point that users want access to the internet at any time and in any place, exceeding functionality of simple voice chat and SMS to include search, service, and blogging. Amidst this kind of change, big companies such as Microsoft, Symbian, Google, and Apple are jumping into the mobile platform market, and open platforms and open APIs are being introduced left and right. In step with this, countless applications are being developed using open APIs. Open APIs allow developers to develop services closely tied to the device more easily. However, generally there are many difficulties when constraints from application requirements are considered in the design stage when developing applications using open APIs. In this paper, constraints when using open APIs in the modeling stage are defined, and code generation technique for which reliability verification through an appropriate model is possible is proposed. By verifying the reliability by applying the proposed methodology to existing applications developed using open APIs, the proposed methodology was validated.
This work was supported by the Korea Science and Engineering Foundation(KOSEF) grant funded by the Korea government(MEST) (No. 2009-0077453).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Mobile Platform/OS Open Trend. Korean Electronics Technology Institute (2008)
Jiang, M., Zhang, J., Raymer, D., Strassner, J.: A Modeling Framework for Self-Healing Software Systems. Models@Run.time (2007)
Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. on Dependable and Secure Computing 1(1), 11–33 (2004)
Mariani, L.: A fault taxonomy for component-based software. In: International Workshop on Test and Analysis of Component-Based Systems (TACoS), ENTCS, vol. 82(6) (2003)
James, G.: Applying test driven development to embedded software. Instrumentation & Measurement Magazine 10(6), 20–25 (2007)
Kim, S.-K., Choi, J., Lee, D., Noh, S.H., Min, S.L.: Virtual Framework for Testing the Reliability of System Software on Embedded Systems. In: The 2007 ACM symposium on Applied computing, pp. 1192–1196 (2007)
Bernardi, S., Merseguer, J.: A UML Profile for Dependability Analysis of RealTime Embedded Systems. In: The 6th international workshop on software and performance, pp. 115–124 (2007)
Jurjens, J., Wagner, S.: Component-Based Development of Dependable Systems with UML. In: Atkinson, C., Bunse, C., Gross, H.-G., Peper, C. (eds.) Component-Based Software Development for Embedded Systems. LNCS, vol. 3778, pp. 320–344. Springer, Heidelberg (2005)
Hsiung, P.-A., Lin, S.-W., Tseng, C.-H., Lee, T.-Y., Fu, J.-M.: Win-Bin See: VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software. IEEE Trans. on Software Engineering 30(10), 656–674 (2004)
http://www.omg.org/technology/documents/formal/test_profile.html
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jang, S., Lee, E. (2009). Reliable Mobile Application Modeling Based on Open API. In: Ślęzak, D., Kim, Th., Kiumi, A., Jiang, T., Verner, J., Abrahão, S. (eds) Advances in Software Engineering. ASEA 2009. Communications in Computer and Information Science, vol 59. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10619-4_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-10619-4_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10618-7
Online ISBN: 978-3-642-10619-4
eBook Packages: Computer ScienceComputer Science (R0)