Agent-technologies have been used for higher-level decision making in addition to carrying out lower-level automation and control functions in industrial systems. Recent research has identified a number of architectural patterns for the use of agents in industrial automation systems but these practices vary in several ways, including how closely agents are coupled with physical systems and their control functions. Such practices may play a pivotal role in the Cyber-Physical System integration and interaction. Hence, there is a clear need for a common set of criteria for assessing available practices and identifying a best-fit practice for a given industrial use case. Unfortunately, no such common criteria exist currently. This work proposes an assessment criteria approach as well as a methodology to enable the use case based selection of a best practice for integrating agents and industrial systems. The software product quality model proposed by the ISO/IEC 25010 family of standards is used as starting point and is put in the industrial automation context. Subsequently, the proposed methodology is applied, and a survey of experts in the domain is carried out, in order to reveal some insights on the key characteristics of the subject matter.
On the Formal Model for IEC 61499 Composite Function Blocks
The applications for IEC 61499 that is standard architecture for developing the applications of distributed control and measurement in factory automation, have the connected structure of the graphical elements called BFB(basic function block), SIFB(service interface function block) and CFB(composite function block). The research on the composite function block has been regarded as important issues in implementing hierarchy, multi-functionality and simplicity of software. Nowadays many researchers have been investigated IEC61499 in the fields of the software modeling composed of basic function …
Operationalising Information Security Management: A Procedural Framework Analysis of ISO/IEC 27001:2022 Implementation in a Financial-Technology Organisation
Independent Co-Assurance using the Safety-Security Assurance Framework (SSAF): A Bayesian Belief Network Implementation for IEC 61508 and Common Criteria
On Implementation of a Safer C Library, ISO/IEC TR 24731
作为ISO C 1999的一部分标准化的函数及其附录对以前可用的库的安全选项的改进非常小。最大的缺陷仍然是，没有函数要求任何函数复制数据到用户提供的缓冲区的目的地缓冲区的缓冲区大小。根据我们之前的研究，我们知道错误条件处理是安全漏洞的第一个解决方案，其次是前提条件验证。标准C函数通常执行很少的前提条件验证和错误处理，允许在使用中引入广泛的安全问题。ISO/IEC TR 24731，标题为“TR 24731：更安全的C库函数”，定义了41个新的库函数，用于内存复制，字符串处理（包括正常和宽字符串），时间打印，排序，搜索等。它还指定了通过其函数操作的所有字符串的空终止，并引入了一个新的无符号整型类型，有助于防止整数溢出和下溢。它目前由Microsoft作为其Visual Studio 2005及更高版本的一部分实现。我们研究我们的ISO/IEC TR 24731的实施架构。在介绍西门子四视图模型之前，我们首先介绍我们的架构哲学，这是一种用于大型软件系统概念的架构方法。然后，我们检查为我们的库构建的每个视图。最后，我们总结了其他软件工程问题，这些问题在我们的实现开发中非常重要。
