Methodology for automatic generation of exhaustive behavioral models in reactive autonomic systems

International Conference on Software Engineering Theory and Practice 2008, SETP 2008

Volumn , Issue , 2008, Pages 95-104

  Quiroz, Javier ^a   Ormandjieva, Olga ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC GENERATION; BEHAVIORAL MODEL; COLLECTIVE BEHAVIOR; LIVENESS; REACTIVE AUTONOMIC SYSTEMS; RUNTIMES; SELF-MONITORING; TIMING CONSTRAINTS;

COMPLIANT MECHANISMS; RESEARCH; SPECIFICATIONS;

SOFTWARE ENGINEERING;

EID: 84878236715     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. IBM Corporation: An RAChitectural blueprint for autonomic computing. White Paper, 4th Edition (2006)
2. E. Vassev, H. Kuang, O. Ormandjieva, and J. Paquet, "Reactive, Distributed and Autonomic Computing Aspects of RASF", 1st International Conference on Software and Data Technologies-ICSOFT2006, Setubal, Portugal, September 11-14, pp.196-202 (2006)
3. O. Ormandjieva, H. Kuang, E. Vassev, "Reliability Self- Assessment in Reactive Autonomic Systems: Autonomic System - Time Reactive Model Approach", International Transactions on Systems Science and Applications, Volume 2 (1), pp.99-104 (2006)
4. Javier Quiroz, "Methodology for Automatic Generation of Behavioral Specification in Reactive Autonomic Systems," Master's Thesis, Computer Science and Software Engineering Department, Concordia University, Montreal, Canada, (2007)
5. L.B. Becker, E. Nett, D. Dchemmer and M. Gergeleit, "Robust Scheduling in Team-Robotics", Journal of Systems and Software 77, pp. 3-26 (2005)
6. P. Richardson, L. Sieh, A. Elkateeb, "Fault-Tolerant Adaptive Scheduling for Embedded Real-Time Systems", IEEE Micro, pp.41-51 (2001)
7. S. Schemmer, E. Nett, M. Mock, "Reliable Real-Time Cooperation of Mobile Autonomous Systems", SRDS, pp.238-246 (2001)
8. Larch behavioral interface specification languages: http://www.sds.lcs. mit.edu/spd/lRACh/index.html
9. V. S. Alagar, M. Chen, O. Ormandjieva, M. Zheng, "Automated Generation of Test Suits from Formal Specifications of Real Time Reactive Systems", Journal of Systems and Software, Elsevier Science, Available online (2007)
10. C. Heitmeyer, D. Mandrioli, Formal Methods for Real- Time Computing, John Wiley & Sons (1996)
11. E. Clarke, "Model Checking", The MIT press, London, (1999)
12. V.S. Alagar, K. Periyasami, Specification of Software Systems, Springer, New York (1998)
13. H. Kuang, RAChitecture for Reactive Autonomic Systems. RASF Approach, Master's thesis, Computer Science and Software Engineering Department, Concordia University, Montreal, Canada (2006)
14. V.S. Alagar, R. Achuthan, M. Haydar, O. Ormandjieva, and M. Zheng, "A Rigorous Approach for Constructing Self-Evolving Real-Time Reactive Systems", Information and Software Technology, Volume 45, Issue 11, pp. 743- 761 (2003)
15. C. Shaffer, A Practical Introduction to Data Structures and Algorithm Analysis, Prentice Hall, London (1998)