As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
The paper discusses a formal approach to prototyping and analysis of modular rule-based systems that are incorporated into embedded systems. To overcome problems appearing during the design of rule-based systems a new approach to the design process, including the new hybrid rule representation method called XTT is presented in the paper. The proposed approach allows to modularize rule-based systems i.e. a complex system can be split into number of modules, represented by a tree-like hierarchy. The approach is supported by computer tools, equipped with verification algorithms that are based on formal methods. It allows for designing reliable rule-based systems that may be incorporated into an RTCP-net model.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.