Implementing Syntax Evolution of Embedded Systems

Safety critical systems such as nuclear recator systems cannot be shutdown as restrating is a huge process and incurs heavy cost. The embedded systems which are used for monitoring and controlling the safety critival systems cannot be shut down as well. ES systems which drives safety critical systems must be communicated from remote locations generally through a HOST connected on to Internet. Communication between the HOST and ES system is done using commnd lanaguage which has to be evolved from time to time. The chnage to the commnd lanauage must be undertaken while the embedded system is up and running, the evolution thus must be dynamic. Many architetcuers have been propsoed in the lieteratuer for evolving synatx of command lanaguage.The implemntaion of effcient architetcuer as such has not been found in the literatuer without which existing architetcuer as such has no menaing.The paper presntes a set of methods using which the syntax evolution of embedded systems as such can be achived. The synatx evolution methods have been applied to a safety critical system that monitors and controls tempartuers within a Nuclear recator system.

Download Full-text

Providing Network Resilience for Safety Critical Systems

2014 Joint Rail Conference ◽

10.1115/jrc2014-3815 ◽

2014 ◽

Author(s):

Arash Aziminejad ◽

Andrew W. Lee

Keyword(s):

Information Age ◽

Simulation Models ◽

Cost Effective ◽

Design Parameters ◽

Critical Systems ◽

Critical System ◽

Safety Critical ◽

Safety Critical System ◽

Safety Critical Systems ◽

Selection Of

Ethernet was commercially introduced in 1980 and standardized in 1985 as IEEE 802.3. Due to the instability and unreliability of the initial introduction, safety critical systems have been slow to adapt Ethernet technologies. It is only until the Information Age brought on by the globalization of Internet in the 1990s that network gears become more cost effective, reliable, and technically suitable. With many Ethernet technologies to pick from, selection of a suitable network topology can be challenging. This paper offers insight on the problem of the optimum choice of an Ethernet technology for the purpose of safety critical system. Example of a typical CBTC system will be given along with the key design parameters and several Ethernet technologies analyzed. Simulation models are built on the basis of the two most common Ethernet technologies to provide means of comparison, and numerical results are presented in the paper.

Download Full-text

Automatic Fuzzy Parameter Selection in Dynamic Fuzzy Voter for Safety Critical Systems

International Journal of Fuzzy System Applications ◽

10.4018/ijfsa.2012040104 ◽

2012 ◽

Vol 2 (2) ◽

pp. 68-90 ◽

Cited By ~ 4

Author(s):

PhaniKumar Singamsetty ◽

SeethaRamaiah Panchumarthy

Keyword(s):

Parameter Selection ◽

Safety Performance ◽

Critical Systems ◽

Statistical Parameters ◽

Critical System ◽

Safety Critical ◽

Safety Critical System ◽

Safety Critical Systems ◽

Fuzzy Parameter ◽

Free Dynamic

The main objective of this research paper is designing automatic fuzzy parameter selection based dynamic fuzzy voter for safety critical systems with limited system knowledge. Existing fuzzy voters for controlling safety critical systems and sensor fusion are surveyed and safety performance is empirically evaluated. The major limitation identified in the existing fuzzy voters is the static fuzzy parameter selection. Optimally selected static fuzzy parameters work only for a particular set of data with the known data ranges. In this paper, a dynamic or automatic fuzzy parameter selection method for fuzzy voters is proposed based on the statistical parameters of the local set of data in each voting cycle. Safety performance is empirically evaluated by running the static and dynamic fuzzy voters on a simulated triple modular redundant (TMR) system for 10000 voting cycles. Experimental results show that proposed Dynamic fuzzy voter is giving almost 100% safety if two of the three modules of the TMR System are error free. Dynamic voter is designed in such a way that it can be plugged in and used in any safety critical system without having any knowledge regarding the data produced and their ranges.

Download Full-text

Task Scheduler Based Design of Software Architecture for Distributed Timed Automata in Safety Critical Systems

Advanced Materials Research ◽

10.4028/www.scientific.net/amr.403-408.3430 ◽

2011 ◽

Vol 403-408 ◽

pp. 3430-3437

Author(s):

Yogendra Namjoshi

Keyword(s):

Software Architecture ◽

Real Time ◽

Timed Automata ◽

Critical Systems ◽

Critical System ◽

Signaling Systems ◽

Safety Critical ◽

Safety Critical System ◽

System A ◽

Safety Critical Systems

The paper revisits the approach of distributed timed automata in order to improve and optimize the methodology used in order to increase the availability of a safety critical system and implements using embedded real time task scheduler. A double wheel counter or digital axle counter system, a typical safety critical system that is used in solid state based railway signaling systems, is considered for achieving higher availability under certain failures. The improvement in the software architecture is influenced by the theory of task scheduler of real time operating system.

Download Full-text

Compare of Formal Analysis and Testing for Verification of Safety-Critical Systems: A Case Study

Advanced Materials Research ◽

10.4028/www.scientific.net/amr.765-767.1227 ◽

2013 ◽

Vol 765-767 ◽

pp. 1227-1230

Author(s):

Juan Zhang ◽

Guo Qi Li ◽

Xiao Liu

Keyword(s):

Formal Analysis ◽

Critical Systems ◽

Critical System ◽

Safety Critical ◽

Safety Critical System ◽

Safety Critical Systems

Safety-critical system attracts more attention in recent years. During the development of safety-critical systems, verification plays the most important role and includes many high cost activities. Testing and formal analysis are two mainstream ways for verification. This paper describes new tools and procedures for testing and formal analysis for verification of safety-critical systems. Compare them in detail in a case study. Conclusion and future works are given finally.

Download Full-text

Characteristics for Performance Optimization of Safety-Critical System Development (SCSD)

Journal of Advanced Computational Intelligence and Intelligent Informatics ◽

10.20965/jaciii.2020.p0232 ◽

2020 ◽

Vol 24 (2) ◽

pp. 232-242

Author(s):

Abdulaziz Ahmed Thawaba ◽

Azizul Azhar Ramli ◽

Mohd. Farhan Md. Fudzee ◽

Junzo Wadata ◽

◽

...

Keyword(s):

Flight Control ◽

Performance Optimization ◽

System Development ◽

Critical Systems ◽

Critical System ◽

Safety Critical ◽

Railway Systems ◽

Safety Critical System ◽

Nuclear Systems ◽

Causes Of Failure

Safety-critical systems (SCS) are the most significant systems that affect our daily life in many areas such as flight control systems, railway systems, medical devices, nuclear systems, and military weapons. SCS failures could result in losing life or serious injuries. Improving the practices during development phases of SCS can reduce failures up to 40%, thus resulting developers to follows specific development practices and techniques. Developers should improve safety-critical system development (SCSD) by taking into account all factors and understanding the causes of failure. Previous studies have highlighted the causes of failure during the development of SCS, but for specific areas such as designs, requirements, or the human factor, while developers need to know the causes of failure in all areas and the relationship between them clearly and comprehensively. This research aims to analyze SCSD characteristics and discuss performance improvement as well as causes of failure. This paper proposed a guideline that helps developers reduce the causes of failure during SCS development. This guide has four characteristics, each with a role in improving SCSD and reducing causes of failure.

Download Full-text

Implementing Dynamically Evolvable Communication with Embedded Systems through WEB Services

International Journal of Electrical and Computer Engineering (IJECE) ◽

10.11591/ijece.v6i1.pp381-398 ◽

2016 ◽

Vol 6 (1) ◽

pp. 381

Author(s):

Sasi Bhanu Jammalamadaka ◽

Vinaya Babu A ◽

Trimurthy A

Keyword(s):

Embedded Systems ◽

Web Services ◽

Embedded System ◽

Elementary Level ◽

Online Testing ◽

Critical System ◽

Level Of Details ◽

Architectural Models ◽

The Embedded System ◽

And Control

Embedded systems that monitor and control safety and mission critical system are communicated with by a HOST located at a remote location through Internet. Such kind of embedded systems are developed to be dynamically evolvable with respect to syntax, semantics, online testing and communication subsystems. All these systems are to be dynamically evolvable and the components needed for evolution are also to be added into the embedded system. Architectural models describe various components using which dynamically evolvable sub-systems are realised through implementation by using specific and related technologies. Implementation system describe the platform, code units and the interlacing of various processes/tasks to the elementary level of details. WEB services place an excellent platform for implementing dynamically evolvable systems due to the use of open standards. This paper presents an implementation system that is related to dynamically evolvable communication and other sub-systems using web services technologies.

Download Full-text

Knowledge engineering in the communication of Information for safety critical systems

The Knowledge Engineering Review ◽

10.1017/s0269888997003032 ◽

1997 ◽

Vol 12 (3) ◽

pp. 249-270 ◽

Cited By ~ 1

Author(s):

CORIN A. GURR

Keyword(s):

Knowledge Engineering ◽

Distributed Teams ◽

Primary Role ◽

Knowledge Based Systems ◽

Critical Systems ◽

Human Communication ◽

Critical System ◽

Safety Critical ◽

Knowledge Based ◽

Safety Critical Systems

The design and assessment of safety critical systems often involves broad and distributed teams of designers, suppliers and analysts who represent diverse areas of expertise and motivations. Accurate and effective communication between these groups is therefore an issue of primary importance. The formalisation of specifications and arguments of safety can be of significant benefit in ensuring the consistency of evidence in such cases, when it must be presented across many domains. However, a formal description of a safety critical system may be unconvincing unless it is presented in a form which is (or forms which are) accessible to the broad range of users and assessors of safety cases. This raises issues of human communication which include the tailoring of information to particular communicative tasks; the efficacy of differing media for communication and the cognitive impact that such differing media have. This paper draws together work in fields of knowledge engineering, knowledge based systems and human communication in an effort to address, from a sound theoretical basis, these and other communication issues raised by the use of formal descriptions in safety critical systems. Further, this paper argues that a primary role for knowledge based systems techniques in safety critical systems is in supporting the communication of information.

Download Full-text

Test Case Generation Method for Increasing Software Reliability in Safety-Critical Embedded Systems

Electronics ◽

10.3390/electronics9050797 ◽

2020 ◽

Vol 9 (5) ◽

pp. 797 ◽

Cited By ~ 1

Author(s):

Bongjoo Koo ◽

Jungho Bae ◽

Seogbong Kim ◽

Kangmin Park ◽

Hyungshin Kim

Keyword(s):

Embedded Systems ◽

Software Testing ◽

Software Reliability ◽

Test Case ◽

Testing Time ◽

Critical Systems ◽

Critical System ◽

Safety Critical ◽

Implementation Under Test ◽

Finite State

Finite-state machines (FSMs) and the W method have been widely used in software testing. However, the W method fails to detect post-processing errors in the implementation under test (IUT) because it ends testing when it encounters a previously visited state. To alleviate this issue, we propose an enhanced fault-detection W method. The proposed method does not stop the test, even if it has reached a previously visited state; it continues to test and check the points that the W method misses. Through various case studies, we demonstrated software testing using the W method and the proposed method. From the results, it can be inferred that the proposed method can more explicitly determine the consistency between design and implementation, and it is a better option for testing larger software. Unfortunately, the testing time of the proposed method is approximately 1.4 times longer than that of the W method because of the added paths. However, our method is more appropriate than the W method for software testing in safety-critical systems, even if this method is time consuming. This is because the error-free characteristics of a safety-critical system are more important than anything else. As a result, our method can be used to increase software reliability in safety-critical embedded systems.

Download Full-text

A novel based software testing process for user-friendly projects

International Journal of Engineering & Technology ◽

10.14419/ijet.v7i2.33.13858 ◽

2018 ◽

Vol 7 (3.3) ◽

pp. 71

Author(s):

Kuntam Babu Rao

Keyword(s):

Embedded System ◽

Human Life ◽

Computer Systems ◽

Committee Report ◽

Critical Systems ◽

Loss Of Life ◽

Safety Critical ◽

Safety Critical Systems ◽

User Friendly ◽

Two Sides

Technology is growing very fast with various changes in Computer Systems. They are chasing human life. They are used in various fields around us. There are some governments who fund for computer systems. Still research related them is carry on and will carry. Mostly there services are used in defense purpose. Based on computer technology there are so many improvement in them, even embedded system are developed. Any system can present some risk to its owner’s, users and environment. Risk is based on low and high. Some systems present more risk than others. Those which are related to more risk are called safety-critical systems. Safety critical systems are categorized into dangerous systems whose failures could result in loss of life, loss of revenue, knowing them and unable to solve them is sabotage to property damage or damage to the environment. This paper focus better exercises for making good user-friendly software. Every system has two sides as if coin, one side is the physical system with hardware and other side is software. If anything is neglected, there is a chance of bug appears at run-time. This may cause loss to humans. Again a committee report will be preserved for future purpose.

Download Full-text