We report on a transformation from Sequential Function Charts of the IEC 61131–3 standard to bip. Our presentation features a description of formal syntax and semantics representation of the involved languages and transformation rules. Furthermore, we present a formalism for describing invariants of IEC 61131–3 systems and establish a notion of invariant preservation between the two languages. ...

The 14-3-3ζ is a member of the family of 14-3-3 proteins and participates in many aspects of cellular processes, but its regulation and involvement in gut mucosal homeostasis remain unknown. Here, we report that 14-3-3ζ expression is tightly regulated at the posttranscription level by RNA-binding protein HuR and plays an important role in early intestinal epithelial restitution after wounding. ...

The contribution gives a short description of the software engineering tool SPaS, particularly considering the graphical flow chart design. SPaS is characterized by its technology-oriented engineering manner and by the in-built verification of its control layout. The graphical flow charts are compiled to a control program written in either of the languages: Instruction List, Structured Text, C ...

Main part OOP integrated seamlessly into IEC 61131-3 The growing demand for the integration of modern programming paradigms has led to the fact that, today, objectoriented programming in IEC 61131-3 programming systems is about to be standardized by the IEC committee. CODESYS V3 already fully implements the new programming paradigms, so that the user can create interfaces, methods and classes i...

Timestamping services are used to prove that a data item existed at given point in time. This proof is represented by timestamp token created timestamping authority. ISO/ IEC 18014 specifies and requires them hold the following two properties: (1) The being timestamped not disclosed authority; hash values of provided authority instead. (2) A can be renewed; as result, validity duration restrict...

The ISO/IEC 27799 standard for information security management in health was released in 2008. The standard contains a substantial section (Section 6) covering information security management systems in the healthcare context. This raises the question whether the ISO/IEC 27799 purports a difference between the generic standard for information security management systems (as embodied in the ISO/...

Colorectal cancer is one of the most common cancers worldwide. Butyrate (BT) plays a key role in colonic epithelium homeostasis. The aim of this work was to investigate the possibility of BT being transported by P-glycoprotein (MDR1), multidrug resistance proteins (MRPs), or breast cancer resistance protein (BCRP). Uptake and efflux of (14)C-BT and (3)H-folic acid were measured in Caco-2, IEC-6...