Skip to main content
SpringerLink
Log in

i2MAP: An Incremental and Iterative Modeling and Analysis Process

  • Conference paper
Model Driven Engineering Languages and Systems (MODELS 2007)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4735))

Abstract

Detecting errors early within the development process for an embedded system assists a developer in avoiding excessive error correction costs and minimizing catastrophic losses resulting from failures in deployed systems. Towards that end, this paper presents i 2 MAP, an iterative and incremental goal-driven process for constructing an analysis-level UML model of an embedded system. The UML model is formally analyzed for adherence to the behavioral properties captured in a companion goal model. The process uses goal modeling to capture the requirements of the system, and uses UML to capture analysis-level structural and behavioral information. Both types of i 2 MAP models can be used to drive a rigorous approach to model-driven development of embedded systems. In this paper, we illustrate the i 2 MAP process and the accompanying tool suite in the development of an embedded system model for an adaptive light control system.

This work has been supported in part by NSF grants EIA-0000433, CDA-9700732, CCR-9901017, CNS-0551622, CCF-0541131, Department of the Navy, Office of Naval Research under Grant No. N00014-01-1-0744, Eaton Corporation, Siemens Corporate Research, and a grant from Michigan State University’s Quality Fund.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Boehm, B.W., Papaccio, P.N.: Understanding and controlling software costs. IEEE Transactions on Software Engineering 14(10), 1462–1477 (1988)

    Article  Google Scholar 

  2. Object Management Group (2007), http://www.omg.org

  3. Lutz, R.R.: Targeting safety-related errors during software requirements analysis. In: SIGSOFT 1993 Symposium on the Foundations of Software Engineering (1993)

    Google Scholar 

  4. Cheng, B.H., Atlee, J.M.: Research directions in requirements engineering. In: Briand, L., Wolf, A. (eds.) Future of Software Engineering 2007, IEEE Computer Society, Los Alamitos (2007)

    Google Scholar 

  5. Boehm, B.: A spiral model of software development and enhancement. SIGSOFT Software Engineering Notes 11(4), 14–24 (1986)

    Article  Google Scholar 

  6. IBM Rational: Rational Unified Process (RUP) (2006), http://www-306.ibm.com/software/awdtools/rmc/features/index.html

  7. Pressman, R.S.: Software engineering: a practitioner’s approach, 5th edn. McGraw-Hill, Inc., New York (2001)

    Google Scholar 

  8. Suhaib, S., Mathaikutty, D., Berner, D., Shukla, S.: XFM: An incremental methodology for developing formal models. ACM Transactions on Design Automation of Electronic Systems (TODAES) 10(4), 589–609 (2005)

    Article  Google Scholar 

  9. Boger, M., Baier, T., Wienberg, F., Lamersdorf, W.: Extreme modeling. In: Extreme Programming and Flexible Processes in Software Engineering - XP 2000, pp. 175–189. Addison-Wesley Longman Publishing Co., Inc, Boston, MA (2000)

    Google Scholar 

  10. Gargantini, A., Heitmeyer, C.: Using model checking to generate tests from requirements specifications. In: Proceedings of the 7th European Software Engineering Conference, London, pp. 146–162. Springer, Heidelberg (1999)

    Google Scholar 

  11. Fletcher, J., Cleland-Huang, J.: Softgoal traceability patterns. In: 17th International Symposium on Software Reliability Engineering, pp. 363–374. IEEE Computer Society, Los Alamitos, CA (2006)

    Chapter  Google Scholar 

  12. Goldsby, H.J., Konrad, S., Cheng, B.H.C.: Goal-oriented patterns for UML-based modeling of embedded systems requirements. Technical Report MSU-CSE-07-19, Computer Science and Engineering, Michigan State University, East Lansing, Michigan (March 2007), (Submitted for publication) Available at: http://www.cse.msu.edu/~hjg/goldsby07Goal.pdf

  13. McUmber, W.E., Cheng, B.H.C.: A general framework for formalizing UML with formal languages. In: ICSE 2001. Proceedings of the IEEE International Conference on Software Engineering, Toronto, Canada (May 2001)

    Google Scholar 

  14. Konrad, S., Cheng, B.H.C.: Facilitating the construction of specification pattern-based properties. In: RE 2005. Proceedings of the IEEE International Requirements Engineering Conference, Paris, France (August 2005)

    Google Scholar 

  15. van Lamsweerde, A.: Goal-oriented requirements engineering: A guided tour. In: RE 2001. Proceedings of the 5th IEEE International Symposium on Requirements Engineering, p. 249. IEEE Computer Society, Washington, DC (2001)

    Google Scholar 

  16. Chung, L., Nixon, B., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic, Dordrecht (2000)

    MATH  Google Scholar 

  17. Konrad, S.: Model-driven Development and Analysis of High Assurance Systems. PhD thesis, Michigan State University (2006)

    Google Scholar 

  18. Ponsard, C., Massonet, P., Rifaut, A., Molderez, J.F., van Lamsweerde, A., Van Tran, H.: Early verification and validation of mission critical systems. Electr. Notes Theor. Comput. Sci. 133, 237–254 (2005)

    Article  Google Scholar 

  19. Darimont, R.: Process Support for Requirements Elaboration. PhD thesis, Louvain-la-Neuve, Belgium (1995)

    Google Scholar 

  20. IBM: Rational Rose XDE Developer (2005), http://www-306.ibm.com/software/awdtools/developer/rosexde/

  21. Konrad, S., Cheng, B.H.C.: Automated analysis of natural language properties for UML models. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 48–57. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  22. Holzmann, G.: The Spin Model Checker, Primer and Reference Manual. Addison-Wesley, Reading, Massachusetts (2004)

    Google Scholar 

  23. Goldsby, H., Cheng, B.H.C., Konrad, S., Kamdoum, S.: Enabling a roundtrip engineering process for the modeling and analysis of embedded systems. In: Proceedings of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Genova, Italy (October 2006)

    Google Scholar 

  24. Ambler, S.W.: Unified – and agile (January 2006), http://www.sdmagazine.com/documents/s=9947/sdm0601g/0601g.html

  25. Ambler, S.W.: Agile model driven devlopment (AMDD) (2006), http://www.agilemodeling.com/essays/amdd.html

  26. Mellor, S.J.: Agile MDA (2005), http://www.omg.org/mda/mda_files/Agile_MDA.pdf

  27. Beck, K.: Extreme programming explained: Embrace change. Addison-Wesley Longman Publishing Co., Inc, Boston, MA (1999)

    Google Scholar 

  28. Herranz-Nieva, Á., Moreno-Navarro, J.J.: Formal extreme (and extremely formal) programming. In: Marchesi, M., Succi, G. (eds.) XP 2003. LNCS, vol. 2675, pp. 88–96. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  29. Henzinger, T.A., Jhala, R., Majumdar, R., Sanvido, M.A.A.: Extreme model checking. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol. 2772, pp. 332–358. Springer, Heidelberg (2004)

    Google Scholar 

  30. Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: An Eclipse plug-in for model checking. In: IWPC 2004. Proceedings of the 12th IEEE International Workshop on Program Comprehension, pp. 251–255. IEEE Computer Society Press, Los Alamitos (CA) (2004)

    Google Scholar 

  31. Hayashi, S., YiBing, P., Sato, M., Mori, K., Sejeon, S., Haruna, S.: Test driven development of UML models with smart modeling system. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 395–409. Springer, Heidelberg (2004)

    Google Scholar 

  32. Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: Inverardi, P., Jazayeri, M. (eds.) ICSE 2005. LNCS, vol. 4309, Springer, Heidelberg (2006)

    Google Scholar 

  33. Konrad, S., Campbell, L.A., Cheng, B.H.C.: Automated analysis of timing information in UML diagrams. In: ASE 2004. Proceedings of the Nineteenth IEEE International Conference on Automated Software Engineering, Linz, Austria, pp. 350–353 (September 2004) (poster summary)

    Google Scholar 

  34. Bozga, M., Daws, C., Maler, O., Olivero, A., Tripakis, S., Yovine, S.: Kronos: A model-checking tool for real-time systems. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol. 1427, pp. 546–550. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  35. Pettersson, P., Larsen, K.G.: Uppaal2k. Bulletin of the European Association for Theoretical Computer Science 70, 40–44 (2000)

    Google Scholar 

  36. Henzinger, T.A., Ho, P.H., Wong-Toi, H.: HYTECH: A model checker for hybrid systems. International Journal on Software Tools for Technology Transfer 1(1-2), 110–122 (1997)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Siemens Corporate Research, Inc., 755 College Road East, Princeton, NJ 08540, USA

    Sascha Konrad

  2. Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, 3115 Engineering Building, East Lansing, Michigan 48824, USA

    Heather J. Goldsby & Betty H. C. Cheng

Authors
  1. Sascha Konrad
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Heather J. Goldsby
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Betty H. C. Cheng
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gregor Engels Bill Opdyke Douglas C. Schmidt Frank Weil

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Konrad, S., Goldsby, H.J., Cheng, B.H.C. (2007). i2MAP: An Incremental and Iterative Modeling and Analysis Process. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds) Model Driven Engineering Languages and Systems. MODELS 2007. Lecture Notes in Computer Science, vol 4735. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75209-7_31

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-75209-7_31

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-75208-0

  • Online ISBN: 978-3-540-75209-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation