Conference Paper

Use-case of an agent-oriented framework for supervision, diagnosis and prognosis applications

Authors:
To read the full-text of this research, you can request a copy directly from the author.

Abstract

The paper describes the continued development of the Java-based ShapeShifter framework, previously described in papers published in the ESREL 2010 and 2011 proceedings, including updated and new base classes, visual components and essential functionality. The framework is based on the Capability-Oriented Agent Theory, advocating a multi-purpose view of socio-technical systems as made of human, organizational and technical agents and their assets. The paper further reports on how the framework is being used in the development of a graphical editor supporting the Multilevel Flow Modeling (MFM) method, to be utilized for Supervision, Diagnosis, and Prognosis (SDP) applications in advanced automation environments. The recently started development of the ShapeShifter-based Process Modeler, which in combination with the MFM Editor and the reasoning capabilities of the MFM Workbench developed by the Technical University of Denmark will constitute the MFM Suite, is also described.

No full-text available

Request Full-text Paper PDF

To read the full-text of this research,
you can request a copy directly from the author.

... The research described in this and earlier papers [1] [2] began by realizing challenges involved in the application of highly developed supervision and control technologies within the nuclear industry. Building advanced automation environments for current and future nuclear reactors indeed requires an understanding of the risks and benefits of the increased complexity for all automation-related activities. ...
... The background and development history of the original ShapeShifter framework was described in [6] . The initial development of an updated version of the framework was described in [1] [2] . This chapter summarizes the development and describes recent updates that have been made to the framework. ...
Conference Paper
The paper summarizes the development of the Java-based ShapeShifter framework, previously described in papers published in the proceedings of the ESREL 2010, 2011 and 2012 conferences. The framework is based on the Capability-Oriented Agent Theory, advocating a multi-purpose view of socio-technical systems as made of human, organizational and technical agents and their assets. The paper provides a brief description of the base classes, visual components and essential functionality, but primarily focuses on how the framework is being used in the development of a graphical editor supporting the Multilevel Flow Modeling (MFM) method, to be utilized for Supervision, Diagnosis, and Prognosis (SDP) applications in advanced automation environments. The paper describes the currently implemented functionality of the MFM Editor, including a ShapeShifter-based Process Modeler module, which in combination with the reasoning capabilities of the MFM Workbench developed by the Technical University of Denmark, will facilitate the analysis of process equipment discrepancies, their root causes, and their possible propagations.
... The MFM Editor contains two essential graphical modelers, the MFM modeler and the process modeler. As both are based on the ShapeShifter framework (Thunem et al, 2011, Thunem, 2012, they share a lot of functionality. ...
Conference Paper
This paper presents the status of a software system, the Multilevel Flow Modeling (MFM) Suite, dedicated to the design and analysis of MFM models related to diagnostic and prognostic analysis of physical processes. New and updated features of the system are described, as well as some examples of its practical use. The paper also briefly describes how the system facilitates the collaboration between control room and field operators via the Android-based MFM Viewer app.
... Limitations inherent in this version necessitated a complete rewrite of the framework in order to fulfil the requirements of a graphical MFM Editor. The initial development of this updated version was described in [1], while some subsequent updates were described in [5], [6] and [7]. This chapter summarizes the development and describes recent updates that have been made to the framework. ...
Technical Report
This report is a continuation of HWR-993, and describes how an agent-oriented framework, ShapeShifter, as a common supporting base for various methodologies and their tools can be used for Supervision, Diagnosis and Prognosis (SDP) applications in advanced automation environments. The framework itself is developed on the basis of a theory assuming that all socio-technical systems are multi-purpose and made of human, organizational and technical agents that together with their assets can fulfill various purposes, depending on their different manners of interrelations and interactions. The report describes the recent additions to and extensions of the ShapeShifter framework, but primarily focuses on the framework’s use as a basis for the continued development of a graphical editor for Multilevel Flow Modelling (MFM), i.e. an MFM Editor and the inclusion of MFM reasoning functionality.
... This paper describes the continued development of the MFM Suite (formerly referred to as the MFM Editor), a tool for the design and analysis of MFM and process models . itis built on the 2nd generation of the Shape Shifter framework (Thunem et al, 2011). The background for and initial development of the tool has been described in Thunem (2012Thunem ( , 2013. in addition, the paper describes how the MFM Suite is used to develop an MFM model of the primary side of a PWR. ...
Conference Paper
This paper reports on the results from the practical application of the ShapeShifter framework on the continued development of a graphical editing suite, the MFM Suite, for MFM and process model design and analysis. The primary use of the MFM Suite is diagnosis and prognosis of anomalies in physical processes. One of the Halden Reactor Project’s advanced NPP simulators based on a PWR is used to demonstrate the applicability of the suite in realistic situations. The paper presents a summary and suggests some plans for future research and development.
Conference Paper
This paper presents the status of a software system, the MFM Suite, dedicated to the design and analysis of MFM models related to diagnostic and prognostic analysis of physical processes. New and updated features of the system are described, as well as some examples of its practical use. The paper also briefly describes how the system facilitates the collaboration between control room and field operators via the Android-based MFM Viewer app.
Conference Paper
This paper summarizes the development to date of the Java-based MFM Editor, a graphical editor supporting the Multilevel Flow Modeling (MFM) method, to be used for Supervision, Diagnosis and Prognosis (SDP) applications in advanced automation environments. The editor builds on the ShapeShifter graphical framework, previously described in the proceedings of the ESREL 2010, 2011 and 2012 conferences. The paper focuses on the editing capabilities and the recently added reasoning functionality (provided by the Technical University of Denmark) required to perform cause and consequence analyses (diagnosis and prognosis) of MFM models. Also, a recently developed process design module is described in some detail.
Article
Full-text available
The purpose of this paper is to describe a modeling methodology called multilevel flow modeling (MFM), which the author has developed for the representation of goals and functions of complex industrial plants. The idea of the methodology is to apply functional concepts to represent a plant at multiple interrelated levels of abstraction. MFM is currently used in supervisory control applications for aiding the operator in diagnosis and planning. It is also used in the conceptual analysis and synthesis of control systems. The paper provides an introduction to the basic concepts of MFM, details two modeling examples, and describes the object-oriented tool Abstractions used for the implementation of MFM models and for diagnosis and planning applications. Finally, the paper presents a review of the use of MFM in previous and ongoing international projects.
Conference Paper
This paper demonstrates how a generic agent-oriented framework can be used in advanced automation environments, for systems analysis in general and supervision, diagnosis and prognosis purposes in particular. The framework’s background and main application areas are briefly described. Next, the function-oriented method Multilevel Flow Modeling (MFM) and its reasoning mechanisms that have proven strength in qualitative planning, modeling and diagnosis activities are introduced. The main enhancements of the framework, as well as an MFM editor based on the framework and towards function-oriented supervision, diagnosis and prognosis purposes are equally explained. Finally, the paper sums up by also addressing plans for further enhancement and in that respect integration with other tailor-made tools for joint treatment of various modeling and analysis activities upon advanced automation environments.
Conference Paper
This paper describes the origin and development of the generic tool TRACE. The basic requirements for the tool come from the generic approach for Dependable Requirements Engineering (DRE), while the author has been the sole developer of the tool. Some current and future applications of the tool are briefly described, and suggestions for continued development are presented.
Conference Paper
This paper is the first publication of the generic application framework ShapeShifter, including its background and preliminary development. The framework provides support for the enhancement of existing and development of new applications where system objects or elements containing various types of information are in some way connected. Some current and potential applications of the framework are briefly described. In that regard, plans for enhancement and new features are also presented.
Conference Paper
Based on experiences from different domains such as telecommunication, transport, energy (including petroleum and nuclear) and health, this paper addresses a variety of challenges that are involved in visualization and verification of dependable (thus also risk-informed) work processes for stakeholder-driven organizations, where the customers constitute one group of stakeholders (often divided into sub-groups). In that respect, the topic and related issues discussed in the paper are a direct contribution to trustworthy solutions for the challenges faced by the petroleum industry in improved implementation and management of Integrated Operations (IO) as well as improved compliance with current and coming generations of IO.
Conference Paper
We present a new theory and claims that it plays the core role in better management of the complexity in knowledge intensive computerised systems. In systems modelling based on capability-oriented agent theory, the concept of multipurpose is regarded as the central and indisputable nature of all systems. The introduction part provides the scientific background and initiating research behind the capability-oriented agent theory. Next, the rationale for its basic elements along with their description is presented. The application of the principle is then explained and illustrated.
Capability-Oriented Agent Theory and its Application in Dependable Systems and Process Engineering, HWR-736
  • Atoosa P-J Thunem
Thunem, Atoosa P-J. Capability-Oriented Agent Theory and its Application in Dependable Systems and Process Engineering, HWR-736, OECD Halden Reactor Project, April 2004.
A Framework for Dependable Development Process of Complex Computerised Systems
  • Thunem
  • P-J Atoosa
Thunem, Atoosa P-J. A Framework for Dependable Development Process of Complex Computerised Systems, Proceedings of ESREL 2004 and PSAM7, pp. 902-907, 2004, Berlin, Germany.
Reasoning about Causes and Consequences in Multilevel Flow Models
  • Morten Lind
Lind, Morten. Reasoning about Causes and Consequences in Multilevel Flow Models, Proceedings of ESREL 2011, ISBN 978-0-415-68379-1, pp. 2359-2367, September 18-22, 2011, Troyes, France.