Knowledge-Based Software Development for Real-Time Distributed Systems

Tsai, Jeffrey; Weigert, Thomas; Jang, Hyunsung

doi:10.1142/9789812798046

Cited by 17 publications

(5 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…They have been formally defined elsewhere (Tsai and Weigert, 1993), but we state them here again for clarity. We have five different frames in FRORL, namely object frames, activity frames, time activity frames, max-activity frames, and min-activity frames.…”

Section: Basic Structurementioning

confidence: 99%

“…The strategies taken in the FRORL project for analysis are resolution refutation, model checking, and consistency checking of timing constraints (Tsai and Weigert, 1993). The resolution refutation approach analyzes properties like goals, complete specification, and individual activities of the specification.…”

Section: Formal Verificationmentioning

confidence: 99%

“…This work was carried to solve telecommunication problems at Motorola using a knowledgebased approach . This earlier work in transformation resembled many aspects of the transformation approaches conducted in the FRORL approach (Tsai and Weigert, 1993;Tsai et al, 1998), where canonicalization of a specification was conducted with rules like Equal-Introduction, Equal-Substitution, Decomposition, and Simplification. It was followed by data dependency, control flow analysis and execution sequence adjustment to transform to code in the target language.…”

Section: Formal Specification and Transformationmentioning

confidence: 99%

See 2 more Smart Citations

Experience on knowledge-based software engineering: A logic-based requirements language and its industrial applications

Tsai

Liu

2009

Journal of Systems and Software

View full text Add to dashboard Cite

Section: Basic Structurementioning

confidence: 99%

Section: Formal Verificationmentioning

confidence: 99%

Section: Formal Specification and Transformationmentioning

confidence: 99%

See 1 more Smart Citation

Experience on knowledge-based software engineering: A logic-based requirements language and its industrial applications

Tsai

Liu

2009

Journal of Systems and Software

View full text Add to dashboard Cite

“…The central system, which runs the RTXPS expert system as the overall framework is connected to a number of (conceptual) servers that provide high-performance computing and data acquisition tasks, as well as a number of clients that can include mobile clients in the field. Another example of a real-time distributed approach is described in Tsai and Weigert (1993).…”

Section: Introductionmentioning

confidence: 99%

A Hybrid Expert System, GIS, and Simulation Modeling for Environmental and Technological Risk Management

Fedra

Winkelbauer

2002

Computer aided Civil Eng

View full text Add to dashboard Cite

RTXPS, the RealTime eXPert System, integrates a forward chaining expert system and a backward chaining system into a DSS framework using simulation models and GIS for environmental and technological risk assessment and management tasks. The system operates in real-time, and uses time including estimates derived from the forecasting models, in its inference. The architecture features two linked ES strategies, which draw upon an object database of environmental and risk-relevant objects, including data acquisition from GPS locators and sensors, and a GIS, as well as a set of dynamic simulation models implemented in a distributed client-server environment. Monte Carlo methods are used for the explicit treatment of uncertainty. Application examples describe chemical emergency management cases for fixed installations and transportation accidents, environmental impact assessment and risk analysis applications, and an adaptation for technical training for emergency management.

show abstract

“…Petri nets have been widely recognized as a suitable tool for modeling and analyzing concurrent systems [Murata 1989;Silva 1989;Tsai and Weigert 1993;Tsai et al 1996;Yoeli 1987]. However, because of the complexity of the state-space explosion [Lipton 1976], efficient analysis by using reachability graphs is restricted to small system models.…”

Section: Introductionmentioning

confidence: 99%

Compositional verification of concurrent systems using Petri-net-based condensation rules

Juan

Tsai

Murata

1998

ACM Trans. Program. Lang. Syst.

View full text Add to dashboard Cite

The state-explosion problem of formal verification has obstructed its application to large-scale software systems. In this article, we introduce a set of new condensation theories: IOT-failure equivalence, IOT-state equivalence, and firing-dependence theory to cope with this problem. Our condensation theories are much weaker than current theories used for the compositional verification of Petri nets. More significantly, our new condensation theories can eliminate the interleaved behaviors caused by asynchronously sending actions. Therefore, our technique provides a much more powerful means for the compositional verification of asynchronous processes. Our technique can efficiently analyze several state-based properties: boundedness, reachable markings, reachable submarkings, and deadlock states. Based on the notion of our new theories, we develop a set of condensation rules for efficient verification of large-scale software systems. The experimental results show a significant improvement in the analysis of large-scale concurrent systems.

show abstract

Knowledge-Based Software Development for Real-Time Distributed Systems

Cited by 17 publications

References 0 publications

Experience on knowledge-based software engineering: A logic-based requirements language and its industrial applications

Experience on knowledge-based software engineering: A logic-based requirements language and its industrial applications

A Hybrid Expert System, GIS, and Simulation Modeling for Environmental and Technological Risk Management

Compositional verification of concurrent systems using Petri-net-based condensation rules

Contact Info

Product

Resources

About