Reliable control has been brought to attention by its con tributionto system design according to the international standard on system safety, IEC 61508. This paper systematizes reliable control by clarifying its essence and meaning in accordance with the policy of IEC 61508. The systematization is indispensable for its further advances as the social environment surrounding system safety hopes.

This paper presents an overview of a pilot implementation of the ISO/IEC 29110 standard, with a group of very small software development companies based in Ireland. This paper may serve as guidance for both researchers and practitioners wishing to understand the issues of process standards adoption by very small companies and ISO/IEC 29110 in particular.

In this paper we propose an approach to verify PLC programs, a common platform to control systems in the industry. Programs written in the languages of the IEC 61131-3 standard are automatically translated to B machines and are then amenable to formal analysis of safety constraints and general structural properties of the application. This approach thus integrates formal methods into existing i...

................................................................................................... XXI Vorwort ................................................................................................. XXIII 1 Einleitung ............................................................................................... 1 1.1 Motivation ..........................................................

The ISO/IEC 29110 standard: Lifecycle profiles for Very Small Entities, provides several Process Reference Models applicable to the vast majority of very small entities (defined by the ISO as “an entity (enterprise, organization, department or project) having up to 25 people”) which do not develop critical software and share typical situational factors. An ISO/IEC 29110 pilot project has been e...

The IEC 61499 standard defines an architecture and software tool requirements for the encapsulation, embedding, deployment and integration of intellectual property (IP) in intelligent devices, machines and systems. A reference framework and engineering methodology is presented for the use of IEC 61499 in the design, development, simulation, testing and implementation of distributed control and ...

this with the integration of distributed generation (dg) to meshed distribution systems, the operating time of the protective system becomes a major concern in order to avoid nuisance dg tripping. this paper proposes a new tripping characteristic for directional overcurrent relays (docrs) that can achieve a higher possible reduction of overall relays operating time in meshed distribution networ...

The emerging standard ISO/IEC 24773, Software Engineering – Certification of Software Engineering Professionals – Comparison Framework, is at its final stage of development. The coming International Standard will establish a framework for comparison of schemes for certifying software engineering professionals. It is expected that ISO/IEC 24773 will facilitate the portability of software enginee...

Function Block Adapters (FBAs) are new modeling elements, responsible for the connection of UML capsules and function blocks of the IEC 61131-3 standard. FBAs contain an interface to capsules as well as to function blocks and a description of the mapping between these interfaces. In this paper we discuss implementation issues of FBAs. While the specification of FBAs is completely platform-indep...