Related papers: A solution for applying IEC 61499 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…
The IEC 61499 reference model provides an international standard developed specifically for supporting the creation of distributed event-based automation systems. Functionality is abstracted into function blocks which can be coded…
This paper presents various solutions for applying the specifications of the IEC 61499 standard in order to modeling and implementing applications of holons control.
In the paper by W. Dai et al. (IEEE Trans. On Industrial Informatics, vol. 11, no. 3, pp. 771-781, June 2015), a formal model is described for the application of SOA in the distributed automation domain in order to achieve flexible…
The IEC 61850 standard is being largely used in the Smart Grid (SG) context mainly due to its ability to address communication, interoperability and migration issues. IEC 61850 currently aims at internal substation communication.…
Cyber-attacks on Industrial Automation and Control Systems (IACS) are rising in numbers and sophistication. Embedded controller devices such as Programmable Logic Controllers (PLCs), which are central to controlling physical processes, must…
IEC 61131 has been widely accepted in the industrial automation domain. However, it is claimed that the standard does not address today the new requirements of complex industrial systems, which include among others, portability,…
Programmable Logic Controllers (PLCs) execute critical control software that drives Industrial Automation and Control Systems (IACS). PLCs can become easy targets for cyber-adversaries as they are resource-constrained and are usually built…
Integrating the design and creation of fault identification and diagnostic capabilities into Model-Driven Development methodologies is one approach to enhancing the resilience of Industrial Cyber-Physical Systems. We present a Fault…
Increasing automation and external connectivity in industrial control systems (ICS) demand a greater emphasis on software-level communication security. In this article, we propose a secure-by-design development method for building ICS…
Present-day developments, in electrical power transmission and distribution, require considerations of the status quo. In other meaning, international regulations enforce increasing of reliability and reducing of environment impact,…
Industrial automation systems (IASs) are traditionally developed using a sequential approach where the automation software, which is commonly based on the IEC 61131 languages, is developed when the design and in many cases the…
Programmable Logic Controllers (PLC) and its programming standard IEC 61131-3 are widely used in embedded systems for the industrial automation domain. We propose a framework for the formal treatment of PLC based on the IEC 61131-3…
The EPICS based control system of the ISAC radioactive beam facility supervises several sub-systems, which are controlled by PLCs. Most of the devices are protected by non-trivial interlocks, which are implemented with ladder-logic…
This paper assesses the resilience of IEC 61850 digital substations under False Data Injection Attacks (FDIAs) targeting the Sampled Values (SV) protocol. The multicast nature of SV, while enabling time-critical automation, exposes…
Substation Automation Systems (SAS) that adhere to the International Electrotechnical Commission (IEC) 61850 standard have already been widely implemented across various on-site local substations. However, the digitalization of substations,…
Smart grids have undergone a profound digitization process, integrating new data-driven control and supervision techniques, resulting in modern digital substations (DS). Attackers are more focused on attacking the supply chain of the DS, as…
In the paper by W. Dai et al. (IEEE Trans. On Industrial Informatics, vol. 11, no. 3, pp. 771-781, June 2015), a formal mapping between IEC 61499 and SOA is presented and a SOA-based execution environment architecture is described. In this…
Over-Current (OC) protection is one of the pervasive protections in solar-based DC microgrids. Fast operation is a key advantage of its popularity. On the other hand, utilizing OC in DC microgrids has some challenges that are not in AC…
A critical step towards certifying safety-critical systems is to check their conformance to hard real-time requirements. A promising way to achieve this is by building the systems from pre-verified components and verifying their correctness…