Sharif Digital Repository

In this paper we integrate a verification methodology with our object-oriented system-level synthesis methodology to address the problem of HW/SW co-verification after system synthesis. We have defined a set of system-level assertions. These assertions are automatically converted to monitor hardware or monitor software during the system-level synthesis process depending on their type and also synthesis style of their corresponding functions. The synthesized assertions are functionally equivalent to their original system-level assertion, and hence, can be used to verify the system after HW/SW synthesis. This way, not only system-level assertions are reused in lower-levels of abstraction, but... 

Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. SAN models have been used for performance, dependability and performability evaluation and are supported by several powerful modeling tools. We have recently introduced object stochastic activity networks (OSANs) to overcome some restrictions of these models. OSANs integrate the concepts of object-orientation into SAN models. Elements of OSANs and their submodels are defined as classes. In this paper, we briefly introduce OSANs and SANBuilder tool for modeling and evaluation with these models. © 2004 IEEE  

Application of advanced process control methods in a chemical plant requires a model which represents the transient behaviour of the plant. However, only a few plant-wide identification methods have been proposed for chemical processes. In this paper, an objectoriented process identifier (OPI) framework has been introduced for plant-wide identification to show how using object-oriented design can provide a general plant-wide modelling framework for various systems including chemical processes. The interactions between units are considered in plant-wide identification methods. As a result, the obtained models can predict the system behaviour in new operating conditions better than those... 

One of the most important services in the Semantic Web is the Reasoning Service. According to the Semantic Web requirements, reasoning under time pressure or other restrictions is needed; and, reasoning which is not 'perfect' but instead 'good enough' for given tasks is acceptable. One of the approaches for the improvement of reasoning performance is approximation; of course, there is an effort for raising more precise approximations. One of the fields in which approximation seems to be useful is query. So far, all of the approximation strategies introduced for conjunctive queries just consider the query's structure. In this paper, a semantic approach for conjunctive query approximation... 

The quality of an architectural design of a software system has a great influence on achieving nonfunctional requirements to the system. Unified Modeling Language (UML), which is the industry standard as a common object oriented modeling language needs a well-defined semantic base for its notation. Integrating formal methods Petri nets (PNs) with object oriented design concepts UML is useful to benefit from the strengths of both approaches. Formalization of the graphical notation enables automated processing and analysis tasks. In this paper we use a method to converting State Diagram to Generalized Stochastic Petri Net (GSPN) and then we derive the embedded Continues Time Markov Chain from... 

The growing complexity of today's embedded systems demands new methodologies and tools to manage the problems of analysis, design, implementation, and validation of complex-embedded systems. Focusing on this issue, this paper describes a design and implementation toolset using our ODYSSEY methodology, which advocates object-oriented (OO) modeling of embedded systems and its ASIP-based implementation. The proposed approach promotes a smooth transition from high-level object-oriented specification to the final embedded system, which is composed of hardware and software components. The transition from higher to lower abstraction levels is facilitated by the use of our GUI, which supports the...