A framework architecture for supervision and control systems

Capobianchi, Riccardo; Coen‐Porisini, Alberto; Mandrioli, Dino; Morzenti, Angelo

doi:10.1145/351936.351962

Cited by 7 publications

(5 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In particular, we mention the function block concept [36], the Attitude and Orbit Control Systems (AOCS) framework for satellite systems [37], the real-time framework for robotics and automation [13], NEXUS for robotics [38] and OSACA for automation [39]. Other approaches include the work reported in [40,41] on context aware applications, [42,43] on supervision and control, [44] for Web-based environments, [45] for extensible middleware platforms and [46] for real-time data collection and analysis. Our work differs from these previous works in the types of applications that are targeted in each case or in the fact that some of them do not adhere to component-based principles and thus do not offer the reusability found in our framework.…”

Section: Related Work and Discussionmentioning

confidence: 99%

Implementing a generic component‐based framework for telecontrol applications

Chimaris

Papadopoulos

2007

Softw Pract Exp

View full text Add to dashboard Cite

The rapid growth of telecontrol systems is one of the major trends in today's network-oriented community. The implementation of generic frameworks, consisting of reusable components that can form the basis for the development of such systems, is a necessity. There is a plethora of associated applications that can be developed in a distributed environment, such as audio/video teleconferencing, groupware and collaborative computing environments, remote controlled services, etc. In this paper we design and implement a generic framework of components that can be used for the realization of telecontrol applications. This category of applications focuses primarily on the issues of managing distributed units on remote end-systems. Such applications contain remote units and administrators that are connected and exchange data and control messages. We analyse the outlined architecture of our framework and the most important system operations. We also describe the communication protocol used in message exchanges between the constituent components. Finally, we illustrate the usefulness of our framework by presenting two applications that were created by extending the basic software infrastructure.the extent that dependencies between system components cannot be neglected. This necessitates the presence of frameworks to provide a methodology for integrating different components and assisting in the rapid development of so-called telecontrol applications. Although it is impossible in general to implement a generic framework for all types of applications, we would like to have available more focused frameworks for specific domains of distributed applications, comprising reusable components, which can then be used to 'instantiate' specific applications. In this paper we analyse the basic concepts of telecontrol systems; most of the applications in this domain focus on the notion of 'controlling and monitoring units'.A typical telecontrol system provides complete and remote automatic control of the devices comprising it. It collects data, manages alarms and signals from the involved devices and, often, reconfigures remotely the latter. Such systems are very useful in areas which are difficult to access or in cases where it is not possible or desirable to have local staff. The architecture of a telecontrol system is simpler than that of a general purpose distributed control system (DCS) and can be seen as comprising a set of administrator units managing a set of remote devices. Typical telecontrol environments can be seen in holiday homes, caravans, boats, private homes and real estates. Typical telecontrol functionality includes the monitoring of various machines, passage control, tele-measuring, reading of gas, electricity and water consumption, etc. Currently, these applications are becoming increasingly popular, covering a range of domains beyond the house automation installations. In agriculture, for example, telecontrol applications are used for handling temperature and humidity alarms in corn fields, feeding machines in fish...

show abstract

Section: Related Work and Discussionmentioning

confidence: 99%

Implementing a generic component‐based framework for telecontrol applications

Chimaris

Papadopoulos

2007

Softw Pract Exp

View full text Add to dashboard Cite

show abstract

“…Throughout our past research, we have dealt heavily with temporal logic specifications and their application to industrial, criti-cal real-time systems [31,28,8,7]. In particular, our experience has been based on the TRIO language [19].…”

Section: Introductionmentioning

confidence: 99%

The symmetry of the past and of the future

Pradella

Morzenti

Pietro

2007

Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the F

Self Cite

View full text Add to dashboard Cite

Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over ω-words, i.e., infinite in the future but finite in the past. However, time with also an infinite past is a useful abstraction in specification. It allows one to ignore the complexity of system initialization in much the same way as system termination may be abstracted away by allowing an infinite future. One can then write specifications that are simpler and more easily understandable, because they do not include the description of the operations (such as configuration or installation) typically performed at system deployment time. The present paper is centered on the problem of satisfiability checking of linear temporal logic (LTL) formulae with past operators. We show that bounded model checking techniques can be adapted to deal with bi-infinite time in temporal logic, without incurring in any performance loss. Our claims are supported by a tool, whose application to a case study shows that satisfiability checking may be feasible also on nontrivial examples of temporal logic specifications.

show abstract

“…Thus, the designer has to define (and implement) the Application Objects that will communicate among each other and with Services, Domains, and Facilities, through the ORB. In this paper we exploit mainly CORBAServices, while a description of the frameworks identified for SCS can be found in [12].…”

Section: Introductionmentioning

confidence: 99%

Using TRIO for designing a CORBA-based application

Coen‐Porisini

Mandrioli

2000

Concurrency: Pract. Exper.

Self Cite

View full text Add to dashboard Cite

SUMMARYWe report on our experience in the Esprit OpenDREAMS project that targets the domain of Supervision and Control Systems (SCS). During this project we studied how a CORBA-based application can be designed starting from a typical SCS requirement document by integrating a formal approach with some CORBA concepts. We present a case study that shows how an existing object-oriented methodology based on the formal specification language TRIO can be tailored towards supporting CORBA-based applications. The application taken into account is in the field of the Energy Management Systems, namely a diagnostic system for the steam condenser of a thermoelectric power plant. The paper describes how to obtain the architectural design of a CORBA-based application starting from the formal specification of its requirements expressed in TRIO by means of a sequence of transformation steps. At the end of such sequence of steps a complete structure of the application classes, with their mutual relations and their IDL interfaces, is built. Finally, the paper discusses how TRIO can be used to validate the architectural choices made with respect to the application critical requirements.

show abstract

A framework architecture for supervision and control systems

Cited by 7 publications

References 4 publications

Implementing a generic component‐based framework for telecontrol applications

Implementing a generic component‐based framework for telecontrol applications

The symmetry of the past and of the future

Using TRIO for designing a CORBA-based application

Contact Info

Product

Resources

About