1,036 Hits in 4.9 sec

Automatically verifying an object-oriented specification of the Steam-Boiler system

Paulo J.F. Carreira, Miguel E.F. Costa
2003 Science of Computer Programming  
To illustrate the concept we develop and verify an object-oriented speciÿcation of a well-known case study-the Steam-Boiler Control System.  ...  This paper presents an experiment of a technique for the automated veriÿcation of a subset of the object-oriented language OBject LOGic (OBLOG).  ...  Related work There have been other attempts to verify the Steam-Boiler System by model-checking but none of them, to the best of our knowledge, used a high-level object-oriented language.  ... 
doi:10.1016/s0167-6423(02)00092-8 fatcat:bczna6vx5jhs3emdlyxudhnfzi

Real-time System Modeling and Verification through Labelled Transition System Analyser

Yilong Yang, Quan Zu, Wei Ke, Miaomiao Zhang, Xiaoshan Li
2019 IEEE Access  
In this paper, we demonstrate the abilities of LTSA shipped with the classic case study of the steam boiler system.  ...  The structure diagram of LTSA can specify the interactions between the controller and the steam boiler, which can be derived from UML requirements model such as system sequence diagram of the steam boiler  ...  LOTOS [25] presents a technique for the automated verification of an object-oriented language OBject LOGic (OBLOG) through the steam boiler case study.  ... 
doi:10.1109/access.2019.2899761 fatcat:f77fqrf3hndepkzaoxbnh4uexm

Applications of Structural Synthesis of Programs [chapter]

Enn Tyugu, Mihhail Matskin, Jaan Penjam
1999 Lecture Notes in Computer Science  
The structural synthesis of programs has been implemented in an object-oriented programming environment NUT and used for development of simulation software, engineering calculations software, implementing  ...  This is an experience report on the automatic and hidden usage of program synthesis in several application domains.  ...  m, z → D D, m → z D, z → m Implementing Steam Boiler Control System In [1] an informal, but quite precise requirements specification of a boiler control system was presented as a benchmark for application  ... 
doi:10.1007/3-540-48119-2_31 fatcat:lf42omv6q5fh7kmlstcyoh2zki


Priya R
2018 Indian Journal of Computer Science and Engineering  
This paper proposes a new efficient methodology for fault detection from the structural modeling of a complex system using the UML class diagram.  ...  The crisp and precise constraints on the attributes and relationships are represented using the formal specification language, Object Constraint Language (OCL).  ...  This may reduce maintenance effort. e-ISSN : 0976-5166 p-ISSN : 2231-3850 Constraint Specifications A constraint is a restriction on one or more values of an object oriented system.  ... 
doi:10.21817/indjcse/2018/v9i4/180904016 fatcat:fbttbp5f4jbjjj3cmuiwb3wmv4

TRIO specification of a steam boiler controller [chapter]

Angelo Gargantini, Angelo Morzenti
1996 Lecture Notes in Computer Science  
We specify a controller for a steam boiler starting from an informal descriptions of its requirements.  ...  The description of the steam boiler at a more detailed level is obviously  ...  The environment includes the definition of TRIO+, an object oriented extension of the language that effectively supports the modularization and the reuse of specifications of highly complex systems.  ... 
doi:10.1007/bfb0027239 fatcat:k22d4w5eefbrtgllvvsd4qcrdm

Specification and Verification of a Steam-Boiler with Signal-Coq [chapter]

Mickaël Kerbœuf, David Nowak, Jean-Pierre Talpin
2000 Lecture Notes in Computer Science  
We investigate the use of a synchronous programming language, Signal, and of a proof assistant, Coq, for the speci cation and the veri cation of co-inductive properties of the well-known steam-boiler problem  ...  Over the last decade, the increasing demand for the validation of safety critical systems has led to the development of domain-speci c programming languages (e.g. synchronous languages) and automatic veri  ...  Behaviour of the Steam-Boiler The program has to control the level of water in the steam-boiler. This quantity should not be too low or too high. Otherwise, the system might be a ected.  ... 
doi:10.1007/3-540-44659-1_22 fatcat:eb3gajnm6rd3rifpgtndqh45re

Declarative reflection tools for agent shells

Enn Tyugu, Mattin Addibpour
1996 Future generations computer systems  
The keywords are planning and inference, i.e. a declarative (nonprocedural) description of self must exist and be used for making inferences about the future activities of the reflective system and about  ...  The NUT system is used as a platform for intelligent agents with reflection. NUT processes running in a network are agent shells filled with knowledge in the form of NUT packages.  ...  A boiler control example One application of reflection is in control of safety-critical systems. An example is a control system of a steam boiler [1] .  ... 
doi:10.1016/0167-739x(96)88793-0 fatcat:d7yfixm3rbebbe5srjzbe4hhqi

Compositional Specification of Controllers for Batch Process Operations [chapter]

K. Lano, P. Kan, A. Sanchez
1998 Lecture Notes in Computer Science  
It extends previous work by providing a non-trivial specification for the top-level polling loop of a control system, and defining composition techniques for controllers.  ...  Common features of these operations enable us to provide a generic method for the formalisation of controllers for a large class of such systems, using B and procedural controller synthesis.  ...  That is, where the components of the system are fixed in their relationships with each other. The steam boiler and pasteurisation plants are examples of such systems.  ... 
doi:10.1007/978-3-540-49676-2_18 fatcat:lffeeoivj5bjxfpd7fldwv4aua

Investigation of repeated economiser tube failures of a 135 tph cold cyclone CFB boiler – a case study

Chittatosh Bhattacharya
2021 Indian journal of power and river valley development  
This paper presents details of the process of inspection, maintenance, operation and failure investigation carried out for the economiser tubes of the boiler.  ...  Advance inspection and failure analysis, change in operational practices were used to get the boiler running at full load at the earliest possible time.  ...  The main component of a modern water tube boiler consists of tubes and pipes of various specifications and orientations to suit the design requirements contingent upon the flow and heat transfer characteristics  ... 
doi:10.18311/ijprvd/2021/28066 fatcat:vxxh2rgi5nbhhah6vosanj4eya

Fossil Fuel Power Plant Simulators for Operator Training [chapter]

Jos Tavira-Mondragn, Guillermo Romero-Jimnez, Luis Jimnez-Fraustro
2012 Fossil Fuel and the Environment  
In the Object-Oriented Programming, an object is the mathematical model of a power plant component and the integration of these objects reflects the physical plant layout.  ...  a way of verifying if the simulator meets with its specification and scope.  ...  The research and vision defines much of the range of our scientific knowledge on the subject and is a driving force for the future.  ... 
doi:10.5772/36229 fatcat:ljkxgx2vrnbrtifjd6472ovfki

Integration of different models in the design of chemical processes: Application to the design of a power plant

José A. Caballero, Miguel A. Navarro, Rubén Ruiz-Femenia, Ignacio E. Grossmann
2014 Applied Energy  
The capabilities of the proposed approach are discussed with a case study: the design of a utility system power plant that has been decomposed into its constitutive elements, each treated differently numerically  ...  With advances in the synthesis and design of chemical processes there is an increasing need for more complex mathematical models with which to screen the alternatives that constitute accurate and reliable  ...  The authors wish to acknowledge support from the Spanish Ministry of Science and Innovation (CTQ2012-37039-C02-02).  ... 
doi:10.1016/j.apenergy.2014.03.018 fatcat:ylzt4cc4u5cz7n6xitn3nt2yg4

Eco-Investments - Life Cycle Assessment of Different Scenarios of Biomass Combustion

Tomasz Nitkiewicz, Agnieszka Ociepa-Kubicka
2018 Ecological Chemistry and Engineering S-Chemia I Inzynieria Ekologiczna S  
One of its recent investments is a biomass fired steam boiler that uses agricultural and woody biomass to produce energy. Previously, biomass was sold to power plant and co-fired with coal.  ...  The company is one of the leaders of using the environmental criteria in its strategic decision-making. Its goal is to avoid any waste and to form its own circular business system.  ...  Due to technical specification of steam boiler, the fuel mix for scenario 2 needs to be composed of woody and agricultural biomass.  ... 
doi:10.1515/eces-2018-0021 fatcat:gbi4gwiitrcelcxbiq2gd4tmv4

An Educational Simulation Tool for Power System Control and Stability

C.D. Vournas, E.G. Potamianakis, C. Moors, T. VanCutsem
2004 IEEE Transactions on Power Systems  
After a brief description of the corresponding curricula, the paper describes the simulation tool and gives examples of problems and assignments given to the students.  ...  This paper presents a Simulink-based educational tool developed for the purpose of illustrating power system control and stability notions as well as introducing students to realistic, though tractable  ...  Note that the steam flow rate response is quite fast and the boiler pressure is disturbed only slightly, signifying an acceptable design. E.  ... 
doi:10.1109/tpwrs.2003.821016 fatcat:ydqspbwezbcjlin4ezycu2qxni

Development of a Software System for Selecting Steam Power Plant to Convert Municipal Solid Waste to Energy

Rotimi A. Ibikunle, Isaac F. Titiladunayo, Basil O. Akinnuli
2021 Sustainability  
The capacities of the steam power plant components that were predicted include 100.35 MW of boiler power, 40.54 MW of turbine power, and 59.80 MW of condenser power.  ...  An algorithm based on models used to determine the energy potential, the power potential of MSW, the capacities of the components of the steam power plant, were translated into computer soft code using  ...  Conflicts of Interest: The authors declare no conflict of interest of any kind.  ... 
doi:10.3390/su132111665 fatcat:gvvgmkzrdrdutjwcvcipbq7dvu

An enhanced flow analysis technique for detecting unreachability faults in concurrent systems

Tsong Yueh Chen, Peifeng Hu, Hao Li, T.H. Tse
2012 Information Sciences  
We present a flow analysis technique for detecting unreachable states and actions in concurrent systems. It is an enhancement of the approach by Cheung and Kramer.  ...  The algorithm is easy to manage and its complexity is still polynomial to the system size. Case studies on two commonly used communication protocols show that the technique is effective.  ...  Acknowledgments We are grateful to Shing-Chi Cheung of the Hong Kong University of Science and Technology, Robert G.  ... 
doi:10.1016/j.ins.2011.11.034 fatcat:vnmh3yvshrfc5ldajpdll3nlqe
« Previous Showing results 1 — 15 out of 1,036 results