Software development in a small development team is a challenge, as people have to fulfill several roles, which in larger groups would have separate, dedicated people for the work. To help small development teams to organize their activities, ISO/IEC standardization body has developed the standard ISO/IEC 29110, Lifecycle profiles for Very Small Entities. Our study focuses on the application of...

The demand for medical device software continues to grow and there is an associated increase in its importance and complexity. This paper discusses medical device software process assessment and improvement. It outlines Medi SPICE, a software process assessment and improvement model which is being developed to meet the specific safety-critical and regulatory requirements of the medical device d...

The IEC 61131-3 standard defines a model and a set of programming languages for the development of industrial automation software. It is widely accepted by industry and most of the commercial tool vendors advertise compliance with it. On the other side, Model Driven Development (MDD) has been proved as a quite successful paradigm in general-purpose computing. This was the motivation for exploit...

While the quality of products is a competitive advantage for very small software development organizations, the usage of Software and Systems Engineering standards amongst such very small organizations is extremely low. A key factor in the literature explaining this lack of quality standards adoption is the perception by small and very small organizations that such standards have been developed...

This article aims to acquaint readers with a designed test bench for direct acting differential pressure control valves. These valves are used in district heating systems. The conformity of the construction international standard IEC 60534-2-3:2015 is evaluate and results an experimental study valve AVPB DN20 Kvs 6.3 PN16 present.

In 2000, there was a workshop [1] that should foster the definition of a standard transfer format for Petri nets as a satellite event of the annual ‘Petri Net Conference’ in Aarhus. As a result of this first workshop, after many other discussions and meetings, the Petri Net Markup Language (PNML) is about to be finally adopted as ISO/IEC 15909-2. Over the years, PNML has evolved and, unfortunat...

The paper presents a Behavioral Interface Specification Language for control programs written in ST language of IEC 61131-3 standard. The specification annotations are stored as special comments in ST code. The code and comments are then converted into ANSI C form for further transformation with Caduceus and Why tools. Verification of compliance between specification and code is performed in Coq.

This paper is focused on an IEC 61499 based solution for modeling and implementing some dynamic interactions between holons within a manufacturing control system. The reconfiguration capabilities of the standard are considered for managing the dynamic behavior of the holons. Key-Words: holonic manufacturing systems, IEC 61499, reconfiguration, management commands

Max Felser Bern University of Applied Sciences . Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . - . Structure of the IEC Standardization . . . . . . . . . . . . . . . . . - . Real-Time Requirements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . - User-Application Requirements ● Performance Indicators of the IEC Standar...