As an ISO/IEC international standard, Camellia has been used various cryptographic applications. In this paper, we improve previous attacks on Camellia-192/256 with key-dependent layers FL/FL−1 by using the intrinsic weakness of keyed functions. Specifically, we present the first impossible differential attack on 13-round Camellia with 2121.6 chosen ciphertexts and 2189.9 13-round encryptions, ...

The paper deal with a deep analysis and application of object-oriented methodologies for the design process of industrial machine controllers. The process pass thought the phases of (1) conceptual model development of the software artifacts, and (2) model code deployment for the automation system target, which is in general a Programmable Logic Controller (PLC) compliant with the international ...

The development of a generic international standard on achieving safety of systems based on programmable electronics has been in train for several years. A draft, published in 1995 and referred to as 'IEC 1508', presented the principles embodied in the document, with the result that they began to be influential in sector-specific standards and on the way of thinking about safety. Now IEC 61508,...

This work proposes a methodology for source code quality and static behaviour evaluation of a software system, based on the standard ISO/IEC-9126. It uses elements automatically derived from source code enhanced with expert knowledge in the form of quality characteristic rankings, allowing software engineers to assign weights to source code attributes. It is flexible in terms of the set of metr...

The IEC standard 62670-3 covering the power rating of CPV modules has been published in 2017. However, this procedure already applied for first time at Fraunhofer ISE Germany year 2014. Since then it used many times Freiburg several different from various manufacturers. Amongst them are with cell types (3J, 4J, 5J), lens sizes (1x1 cm2 to 15x15 cm2), and (PMMA, full glass, silicone on glass). I...

In this thesis, we propose a method to model, verify, and generate IEC standard PLC code using Timed-MPSG. The objective of this research work is to reduce the development time of programmable logic controller, by automating the task of PLC code generation. Furthermore, we propose to use formal verification technique to reduce the error rate. For this purpose, we applied the TimedMPSG (Message ...

This is an annotated bibliography of papers, reports and books pertaining to ANSI/IEEE Std 1471 (now also published as international standard ISO/IEC 42010). It was originally prepared for ISO/IEC JTC 1/SC 7 WG 42, the Architecture working group of the Systems and Software Engineering Subcommittee of ISO. WG 42 is the body performing the joint ISO and IEEE revision of IEEE 1471 as ISO/IEC 42010...