×

Model-based dependable composition of self-adaptive systems. (English) Zbl 1238.68049

Summary: Building mobile and pervasive systems as a selection, composition, adaptation and evolution of pre-existing software entities may arise dynamically and continuously different issues related to inconsistencies, changes or faults. We propose an approach to detect and handle these issues with the appropriate methodology in every case. This is performed by tackling three great challenges in software engineering related to self-adaptive systems: (i) their formalisation, by using modei-based SOA, which bridge the business and software processes; (ii) then development and maintenance, by performing adaptation and/or evolution when inconsistencies or changes occur, and (iii) their monitoring to handle faults, by using error recovery techniques. We use an example based on an intelligent transportation system to validate our proposal.

MSC:

68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68T05 Learning and adaptive systems in artificial intelligence

Software:

WSAT
PDFBibTeX XMLCite