• N3956 L2/10-411 “Preliminary Proposal to Encode the Xawtaa Dorboljin Script in ISO/IEC 10646” • N4041 L2/11-162 “Preliminary Proposal to Encode the Mongolian Square Script in ISO/IEC 10646” • N4160 L2/11-379 “Revised Preliminary Proposal to Encode the Mongolian Square Script” • N4413 L2/13-068 “Proposal to Encode the Mongolian Square Script in ISO/IEC 10646” • N4471 L2/13-198 “Revised Proposa...

Attached you find an SWG report on a possible new area of standardization activity: Web Collaboration At its June 2013 meeting SWG-P adopted this report, recognizing that it might still be too early to start standardization work right away. Instead we would like to get some feedback from the SC Chairmen on this report. In section 11 of the report SWG on Planning has identified a number of possi...

IEC 61131-3, the world-wide standard for industrial control programming, is increasingly being used in safety-related control applications. Control loops are built from components taken from domain-specific function block libraries. Code inspection and testing are the two predominant quality assurance techniques. For highly dependable control applications, however, these techniques are not suff...

International Electro-technical Commission (IEC) has developed a new global standard, IEC 61850 for communication systems in power substations. This standard provides interoperability among the all communication devices within the substation. This paper presents basic features of communication systems proposed by IEC 61850, such as functional hierarchy, OSI-7 layer based communication, and proc...

We propose a framework for the automatic verification of PLC (Programmable Logic Controllers) programs written in Instruction List, one of the five languages defined in the IEC 61131-3 standard. We propose a formal semantics for a significant fragment of the IL language, and a direct coding of this semantics into a model checking tool. We then automatically verify rich behavioral properties wri...

In this paper we argue that the methods and techniques specified in the annexes in IEC 61508-3 are just sound software engineering principles. Problems when developing safety critical software are not caused by lack of adherence to the standard per se but by ignorance of sound engineering principles related to the specified techniques. Further we argue that IEC 61508-3 should be more flexible r...

According to AS/NZS ISO/IEC 27001:2006 [11], management of an organization should provide evidence of its commitment to the establishment, implementation, operation, monitoring, review, maintenance and improvement of the organization’s information security management system. The objective of this research project was to explore the feasibility of designing an intelligent documentation system to...

Organizations engaged in medical device software are required to demonstrate compliance with a set of medical device standards and regulations before the device can be marketed. One such standard IEC 62304, Medical device software -Software life cycle processes, is a standard that defines the processes that are required to be executed in order to develop safe software. Demonstrating compliance ...