Automatically generating behavioral models of adaptive systems to address uncertainty

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5301 LNCS, Issue , 2008, Pages 568-583

  Goldsby, Heather J ^a   Cheng, Betty H C ^a  

^a Michigan State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE SYSTEMS; COMMERCE; ELECTRONIC WARFARE; EMBEDDED SYSTEMS; INTELLIGENT VEHICLE HIGHWAY SYSTEMS; LINGUISTICS; MILITARY ELECTRONIC COUNTERMEASURES; MILITARY OPERATIONS; TARGETS; UNIFIED MODELING LANGUAGE;

BEHAVIORAL MODELS; CHANGING ENVIRONMENTS; CRITICAL INFRASTRUCTURE PROTECTIONS; DIGITAL EVOLUTIONS; ENVIRONMENTAL CHANGES; ENVIRONMENTAL CONDITIONS; EXECUTION ENVIRONMENTS; FUNCTIONAL REQUIREMENTS; LIVING ORGANISMS; TARGET SYSTEMS; TRANSPORTATION SYSTEMS; TWO SOURCES; UML MODELS;

MODELS;

EID: 56649089469     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87875-9_40     Document Type: Conference Paper

References (22)

1. Schmidt, D.C.: Model-Driven Engineering. IEEE Computer 39(2) (2006)
2. McKinley, P., Cheng, B.H., Ofria, C., Knoester, D., Beckmann, B., Goldsby, H.: Harnessing digital evolution. IEEE Computer 41(1), 54-63 (2008)
3. Goldsby, H.J., Cheng, B.H.C.: An automated approach to detecting unwanted latent behavior in models of high assurance systems. Technical report, Michigan State University (May 2008) (submitted for publication)
4. Garlan, D., Cheng, S.W., Huang, A.C., Schmerl, B., Steenkiste, P.: Rainbow: Architecture-based self-adaptation with reusable infrastructure. Computer 37(10), 46-54 (2004)
5. Gorlick, M.M., Razouk, R.R.: Using weaves for software construction and analysis. In: ICSE 1991: Proceedings of the 13th International Conference on Software Engineering, pp. 23-34. IEEE Computer Society Press, Los Alamitos (1991)
6. Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying Distributed Software Architectures. In: Schafer, W., Botella, P. (eds.) ESEC 1995. LNCS, vol. 989, pp. 137-153. Springer, Heidelberg (1995)
7. Noppen, J., van den Broek, P., Aksit, M.: Software development with imperfect information. Soft Computing 12, 3-28 (2008)
8. Yen, J., Lee, J.: Fuzzy log basis for specifying imprecise requirements. In: Second IEEE International Conference on Fuzzy Systems (1993)
9. Whittle, J., Jayaraman, P.K.: Generating hierarchical state machines from use case charts. In: 14th IEEE International Requirements Engineering Conference (RE 2006), Washington, DC, USA, pp. 16-25 (2006)
10. Harel, D., Kugler, H., Pnueli, A.: Synthesis revisited: Generating statechart models from scenario-based requirements. In: Formal Methods in Software and Systems Modeling (2005)
11. Uchitel, S., Brunet, G., Chechik, M.: Behaviour model synthesis from properties and scenarios. In: ICSE 2007: Proceedings of the 29th International Conference on Software Engineering, pp. 34-43 (2007)
12. Jobstmann, B., Bloem, R.: Optimizations for LTL synthesis. In: FMCAD 2006: Proceedings of the Formal Methods in Computer Aided Design (2006)
13. Ofria, C. Wilke, CO.: Avida: A software platform for research in computational evolutionary biology. Journal of Artificial Life 10, 191-229, International Society of Artificial Life (ISAL) (2004)
14. Hughes, D., Greenwood, P., Coulson, G., Blair, G., Pappenberger, F., Smith, P., Beven, K.: An intelligent and adaptable flood monitoring and warning system. In: Proceedings of the 5th UK E-Science All Hands Meeting (AHM) (2006)
15. Zhang, J., Cheng, B.H.C.: Model-based development of dynamically adaptive software. In: ICSE 2006: Proceeding of the 28th International Conference on Software Engineering, pp. 371-380 (2006) (Best Paper Award)
16. Goldsby, H.J., Cheng, B.H.C., McKinley, P.K., Knoester, D.B., Ofria, C.A.: Digital evolution of behavioral models for autonomic systems. In: Proceedings of the 5th International Conference on Autonomic Computing (ICAC 2008), Chicago, Illinois (June 2008) (Best Paper Award)
17. Konrad, S., Cheng, B.H.C.: Facilitating the construction of specification pattern-based properties. In: Proceedings of the IEEE International Requirements Engineering Conference (RE 2005), Paris, France (August 2005)
18. Cheng, S.W., Garlan, D., Schmerl, B.: Architecture-based self-adaptation in the presence of multiple objectives. In: ICSE 2006 Workshop on Software Engineering for Adaptive and Self-Managing Systems, Shanghai, China (May 2006)
19. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering, pp. 411-420 (1999)
20. McUmber, W.E., Cheng, B.H.C.: A general framework for formalizing UML with formal languages. In: Proceedings of the IEEE International Conference on Software Engineering (ICSE 2001), Toronto, Canada (May 2001)
21. Holzmann, G.: The Spin Model Checker, Primer and Reference Manual. Addison-Wesley, Reading (2004)
22. Zhang, J., Yang, Z., Cheng, B.H., McKinley, P.K.: Adding safeness to dynamic adaptation techniques. In: Proceedings of ICSE 2004 Workshop on Architecting Dependable Systems, Edinburgh, Scotland, UK (May 2004)