Unified and Generic Model of problems representation and resolution for knowledge reusing. Application to security analysis of automated transport systems
Un modèle générique unifié de représentation et de résolution de problèmes pour la réutilisation des connaissances. Application à l'analyse de sécurité des systèmes de transport automatisés
Résumé
Dynamic problem resolution confronts human operator to many tasks which require a treatment of a great lot of information, a decision making, under temporal constraints. If it requires knowledge and a fundamental know-how, dynamic problem solving necessitates also expertise exploitation, both static and dynamic, frequently few formalized and capitalized aimed at assistance or formation. Our experience in development of aid systems for dynamic problem solving in many domains, such as complex industrial systems supervision, a product design and security analysis (Mejri, 1995 ; Mejri and Houriez, 1998), software viability (Hadj-Mabrouk et al., 132 1998), semantic web (Mejri et al., 2008), Multimodal information (Mejri et Ben fraj, 2008), or software engineering (Kessentini et al., 2009), leads us to specify a generic model of space-temporal expertise formalization of dynamic problem solving labelled: "problem solving scenario" (Mejri et Caulier, 2005). This model permits integrating both the static knowledge of expertise domain and the dynamic knowledge (tactic and strategic) of problem resolution. It also permits to formalize the problem solving point of view. The presentation of this concept model will be done in this paper.
La résolution de problèmes dynamiques confronte l'opérateur humain à de nombreuses tâches à forte composante de prise d'information et de décision, sous contrainte temporelle. Si elle requiert des savoirs et des savoir-faire fondamentaux, la résolution de problèmes dynamiques nécessite aussi l'exploitation d'une expertise, à la fois statique et dynamique, trop peu souvent formalisée et capitalisée à des fins, notamment, d'assistance ou de supervision. Une expérience de développement de systèmes d'aide à la résolution de problèmes dynamiques dans plusieurs domaines, notamment dans les domaines de l'analyse sécuritaire (Mejri, 1995 ; Mejri et Houriez, 1998), de la fiabilité du logiciel (Hadj-Mabrouk et al., 1998), du web sémantique (Mejri et al., 2008), de l'information multimodale (Mejri et Ben fraj, 2008) ou du génie logiciel (Kessentini et al., 2009) nous a amené à spécifier et modéliser un cadre générique de formalisation de l'expertise spatio-temporelle de résolution de problèmes dynamiques baptisé scénario de résolution de problème (Mejri et Caulier, 2005). En effet, le problème de l'analyse de sécurité des systèmes de transport automatisés est un problème typique où les experts du domaine proposent des situations d'insécurité potentielles conjointement par des descriptions statique et dynamique.