This technical report (TR) is an optional part of the International Standard for Prolog, ISO/IEC 13211. Prolog manufacturers wishing to implement Definite Clause Grammar rules in a portable way should do so in compliance with this technical report. Grammar rules provide convenient functionality for parsing and processing text in a variety of languages. They have been implemented in many Prolog ...

Many industrial control systems use programmable logic controllers (PLCs) since they provide a highly reliable, off-the-shelf hardware platform. On the programming side, function blocks (FBs) are reusable components provided by the PLC supplier that can be combined to implement the required system behaviour. A higher quality system may be realized if the FBs are pre-certified to be compliant wi...

A new concept for distributed control systems based on the new IEC 61499 standard is tested in this work in cooperation with LAE Engineering GmbH, a medium-sized company. Based on a catalogue of requirements, a customer-related testbed is developed. In the following this testbed is used as a reference to realise an IEC 61499 compliant-distributed control system based on PC technics. By doing th...

The ISO/IEC 29110 standard has at its core a Management and Engineering Guide [1] which are targeted at very small entities (enterprises, organizations, departments or projects) having up to 25 people [2], to assist them unlock the potential benefits of using standards which are specifically designed to address their needs. This paper discusses the role and structure of Project Management in th...

Quality models are needed to evaluate and set goals for the quality of a software product. The international ISO/IEC standard 9126 defines a general quality model for software products. Software is developed in different domains and the usage of the ISO/IEC quality model requires an instantiation for each concrete domain. One special domain is the development and maintenance of test specificati...

The so called Smart Grid is said to be distributed in nature with an accompanying control architecture which is made up of a heterogeneous network of controllers communicating in a peer-to-peer manner. The paper proposes a novel computer-aided model-based system engineering process for the design of a Smart Grid applications from the initial design specification through to the validation of the...

This paper introduces describes how to integrate standard editing and code generation functionalities offered by most tools supporting the IEC standard 1131-3 with capabilities for modelling and simulating the plant and its interactions with the digital controller. The 1131-3 notations (in particular Functional Block Diagrams) are complemented with differential equations that describe the behav...

Cyclin Y is a highly conserved cyclin among eumetazoans, yet its function and regulation are poorly understood. To search for Cyclin Y-interacting proteins, we screened a yeast two-hybrid library using human Cyclin Y (CCNY) as a bait and identified the following interactors: CDK14 and four members of the 14-3-3 family (ε, β, η, τ). The interaction between CCNY and 14-3-3 proteins was confirmed ...

In this study, two types of direct interface capacitive sensors, self- and mutual-capacitance, were developed and compared experimentally. Electromagnetic Compatibility (EMC) tests-International Electrotechnical Commission (IEC) 61000-4-3, IEC 61000-4-4, IEC 61000-4-6-were applied in an accredited laboratory to measure the immunity of the sensors against radiated and conducted interference. The...