Atelier sur les assurances pour des systèmes auto-adaptables à Szeged, en Hongrie
Jusqu'à récemment, la réparation des erreurs et la mise à niveau des systèmes de logiciels étaient des activités exécutées par l'homme. Mais la complexité croissante des systèmes et l'incertitude dans leurs environnements opérationnels a créé un besoin urgent de développer des systèmes capables d'actualiser leur fonctionnement, s'adapter aux changements, et réparer leurs erreurs de manière autonome.
Cette situation a mené à de récents progrès dans les systèmes auto-adaptables capables de reconfigurer leur structure et modifier leur comportement en fonctionnement pour s'adapter aux changements environnementaux. Malgré ces progrès, un aspect important de ces systèmes devant encore être approfondi est les assurances; c'est-à-dire apporter la preuve que ces systèmes assurent leurs ensembles de propriétés fonctionnels et extra-fonctionnels au cours du fonctionnement.
Le développement des systèmes auto-adaptables et sûrs est complexe car ils s'appuient fortement sur le contexte, ce qui introduit un degré élevé d'incertitude.
L'évènement rassemblera des chercheurs pour discuter des aspects du génie logiciel, des systèmes auto-adaptables, dont les méthodes, architectures, langages, algorithmes, techniques et outils pouvant être utilisés pour soutenir les assurances dans le développement des systèmes auto-adaptables.Pour de plus amples informations, consulter: http://asas.dei.uc.pt/(s’ouvre dans une nouvelle fenêtre)