A Constraint Oriented Proof Methodology based on Modal Transition Systems

Real time systems are those systems which must guarantee to response correctly within strict time constraint or within deadline. Failures can arise from both functional errors as well as timing bugs. Hence, it is necessary to provide temporal correctness of programs used in real time applications in addition to providing functional correctness. Although, there are several researches concerned with achieving fault tolerance in the presence of various functional and operational errors but many of them did not address the problem concerned with the timing bugs which is an important issue in real time systems. As for real time systems, many times it becomes a necessity for a given service to be delivered within the specified time deadline. Therefore, this paper reviews the existing approaches from the perspective of real time systems to analyse the shortcomings of these approaches to present a versatile and cost effective approach in the presence of timing bugs for providing fault tolerance to enhance the reliability of the real time software applications.

Download Full-text

A KNOWLEDGE-BASED APPROACH FOR THE SPECIFICATION AND ANALYSIS OF REAL-TIME SOFTWARE SYSTEMS

International Journal of Artificial Intelligence Tools ◽

10.1142/s0218213092000119 ◽

1992 ◽

Vol 01 (01) ◽

pp. 1-35 ◽

Cited By ~ 3

Author(s):

JEFFREY J. J.-P. TSAI ◽

HUNG-CHIN JANG

Keyword(s):

Real Time ◽

Basic Structure ◽

Software Systems ◽

Real Time Systems ◽

Production Rules ◽

First Order ◽

Knowledge Based ◽

Representation Techniques ◽

Time Systems ◽

Specification Analysis

FRORL (Frame-and-Rule Oriented Requirements specification Language) was proposed to exploit knowledge representation techniques as an aid in the specification, analysis, and development of a software system. With the real-time software systems as our target systems, the merely mechanisms provided by FRORL cannot meet the specific demands on real-time software systems. As a result, in this paper, we propose RT-FRORL (Real-Time FRORL) as an extension of FRORL. RT-FRORL not only inherits FRORL's basic structure but also includes those language constructs needed to support the specification of real-time systems. The syntax of RT-FRORL is based on frames and production rules. The semantics of RT-FRORL is defined through the integration of first order logic and temporal logic extension. Using RT-FRORL, concurrent and absolute time properties of real-time systems can be easily specified.

Download Full-text

Review of Software Fault-Tolerance Methods for Reliability Enhancement of Real-Time Software Systems

International Journal of Electrical and Computer Engineering (IJECE) ◽

10.11591/ijece.v6i3.pp1031-1037 ◽

2016 ◽

Vol 6 (3) ◽

pp. 1031

Author(s):

Anjushi Verma ◽

Ankur Ghartaan ◽

Tirthankar Gayen

Keyword(s):

Fault Tolerance ◽

Real Time ◽

Cost Effective ◽

Software Systems ◽

Real Time Systems ◽

Cost Effective Approach ◽

Functional Correctness ◽

Operational Errors ◽

Correctness Of Programs ◽

Time Systems

Real time systems are those systems which must guarantee to response correctly within strict time constraint or within deadline. Failures can arise from both functional errors as well as timing bugs. Hence, it is necessary to provide temporal correctness of programs used in real time applications in addition to providing functional correctness. Although, there are several researches concerned with achieving fault tolerance in the presence of various functional and operational errors but many of them did not address the problem concerned with the timing bugs which is an important issue in real time systems. As for real time systems, many times it becomes a necessity for a given service to be delivered within the specified time deadline. Therefore, this paper reviews the existing approaches from the perspective of real time systems to analyse the shortcomings of these approaches to present a versatile and cost effective approach in the presence of timing bugs for providing fault tolerance to enhance the reliability of the real time software applications.

Download Full-text

Unifying Equivalences for Timed Transition Systems

10.29007/kkds ◽

2018 ◽

Author(s):

Irina Virbitskaite ◽

Natalya Gribovskaya ◽

Eike Best

Keyword(s):

Real Time ◽

Linear Time ◽

Time Spectrum ◽

Branching Time ◽

Real Time Systems ◽

Transition Systems ◽

Abstract Characterization ◽

Time Systems ◽

Open Maps

Timed transition systems are a widely studied model for real-time systems.The intention of the paper is to show how several categorical (open maps, path-bisimilarity and coalgebraic) approaches to an abstract characterization ofbisimulation relate to each other and to the numerous suggested behavioral equivalences of linear time -- branching time spectrum, in the setting of timed transition systems.

Download Full-text

Timed Bisimulation and Open Maps

BRICS Report Series ◽

10.7146/brics.v5i4.19277 ◽

1998 ◽

Vol 5 (4) ◽

Cited By ~ 1

Author(s):

Mogens Nielsen ◽

Thomas S. Hune

Keyword(s):

Real Time ◽

Alternative Proof ◽

Real Time Systems ◽

Transition Systems ◽

The Past ◽

Natural Choice ◽

Categorical Framework ◽

Time Systems ◽

Finite Presentations ◽

Open Maps

Formal models for real-time systems have been studied intensively over the past decade. Much of the theory of untimed systems has been lifted to real-time settings. One example is the notion of bisimulation applied to timed transition systems, which is studied here within the general categorical framework of open maps. We define a category of timed transition systems, and show how to characterize standard timed bisimulation in terms of spans of open maps with a natural choice of a path category. This allows us to apply general results from the theory of open maps, e.g. the existence of canonical models and characteristic logics. Also, we obtain here an alternative proof of decidability of bisimulation for finite transition systems, and illustrate the use of open maps in finite presentations of bisimulations

Download Full-text

A FRAMEWORK FOR THE EVALUATION OF REAL-TIME SPECIFICATION TECHNIQUES

International Journal of Software Engineering and Knowledge Engineering ◽

10.1142/s0218194006003063 ◽

2006 ◽

Vol 16 (06) ◽

pp. 987-1014 ◽

Cited By ~ 2

Author(s):

AMIR A. KHWAJA ◽

JOSEPH E. URBAN

Keyword(s):

Complex Systems ◽

Real Time ◽

Evaluation Framework ◽

Software Systems ◽

Real Time Systems ◽

Common Framework ◽

Technique Evaluation ◽

Time Systems ◽

Specification Techniques

Real-time and embedded software systems are becoming increasingly prevalent in everyday life. Well-defined and robust methods and methodologies are needed to support development and maintenance of such large and complex systems. Specification of a system is a critical phase of the development life cycle and has a major impact on the quality of a system. Formal specification languages and techniques are needed to be able to comprehensively and correctly define and prototype large and complex systems. The quality of a specification directly depends upon the capability of the language or technique used to express the specification. There is a need to determine language appropriateness for real-time systems. This paper establishes a real-time specification technique evaluation framework based on the features of real-time systems. The features are presented and the paper summarizes the result in terms of major features and their sub-features in a tabular form. This detailed list of features should serve not only to compare the techniques using a common framework, but also to determine the extent of real-time support that these techniques provide for specification. Application of the framework is demonstrated by testing a set of specification techniques for the specification of a real-time embedded cell phone software system.

Download Full-text

On Architectural Decay Prediction and Detection in Real-Time Software Systems

10.29007/l86k ◽

2019 ◽

Author(s):

Aziz Fellah ◽

Ajay Bandi

Keyword(s):

Real Time ◽

Software Systems ◽

Real Time Systems ◽

Software Applications ◽

Implementation Level ◽

Architectural Decay ◽

Time Systems ◽

Different Levels ◽

Over Time

As the number of software applications including the widespread of real-time and em- bedded systems are constantly increasing and tend to grow in complexity, the architecture tends to decay over the years, leading to the occurrence of a spectrum of defects and bad smells (i.e., instances of architectural decay) that are manifested and sustained over time in a software system’s life cycle. Thus, the implemented system is not compliant to the specified architecture and such architectural decay becomes an increasing challenge for the developers. We propose a set of constructive architecture views at different levels of granularity, which monitor and ensure that the modifications made by developers at the implementation level are in compliance with those of the different architectural timed-event elements of real-time systems. Thus, we investigated a set of orthogonal architectural de- cay paradigms timed-event component decay, timed-event interface decay, timed-event connector decay and timed-event port decay. All of this has led to predicting, forecasting, and detecting architectural decay with a greater degree of structure, abstraction techniques, architecture reconstruction; and hence offered a series of potential effectiveness and enhancement in gaining a deeper understanding of implementation-level bad smells in real-time systems. Furthermore, to support this research towards an effective architectural decay prediction and detection geared towards real-time and embedded systems, we investigated and evaluated the effect of our approach through a real-time Internet of Things (IoT) case study.

Download Full-text