A Formalism for Checking Consistency of Component-Based Real-Time Systems

Main Article Content

Sina Zangbari Kouhi
Dr. Jaber Karimpour, Faranak Nejati

Abstract

In real-time systems, specification, analysis and verification are very important research topics and practical implementation of real time systems need great accuracy. Component-based design is an approach to design and manufacture real-timed systems. This method is a reuse-based technique which improves some of requirements such as increasing their usability, flexibility, adaptation, reducing the cost of software products and Etc. In this Paper, we present a theory for modelling behaviour, interactions, and processes of component based real-time systems. For this purpose, we used concepts of time automata, time interface automata and discrete event components. Each timed component is made based on its corresponding timed interface. Timed Interfaces identify all input-output expects and time of occurrence of any processes. One of challenges in production of systems based on components is that the component produced conforms to its equivalent interface. We developed a theory to check the consistency between timed component and a given timed interface. Theory presented in this paper is considered as a framework for formal specification and verification.


Keywords: real-time systems, component-base systems, time automata, time interface, consistency.

Downloads

Download data is not yet available.

Article Details

Section
Articles