Tools for specifying real-time systems

Bucci, G.; Campanai, M.; Nesi, Paolo

doi:10.1007/bf01094341

Cited by 46 publications

(12 citation statements)

References 103 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The Dist operator appeared in the open literature [2] two years before the submission of [5] and four years before its acceptance; the authors of [5] were aware of its existence [1], as they briefly mentioned it, but they did not use it.…”

Section: Discussionmentioning

confidence: 99%

“…First and most notable, in [5], the Dist temporal operator, introduced in this journal in 1994 [2], is not acknowledged. In fact, the authors are aware of it [1], as they briefly remark on it in Section 5, but it is not used in their comparison. Dist eliminates any "sharp distinction" between past and future (a purported flaw of TRIO cited in [5]) and, actually, it is the only basic temporal operator in TRIO.…”

Section: Remarks About the Comparisonmentioning

confidence: 99%

See 1 more Smart Citation

Comments on "An Interval Logic for Real-Time System Specification"

Furia

Morzenti

Pradella³

et al. 2006

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Remarks About the Comparisonmentioning

confidence: 99%

Comments on "An Interval Logic for Real-Time System Specification"

Furia

Morzenti

Pradella³

et al. 2006

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

show abstract

“…Petri nets and Statecharts have equivalent representative capabilities because they are both state-based models [25]. Applying PN to AUML modelling, the message is taken as a place; the xor-message is expressed by a conflicting place; and the agent role is represented by a transition [20].…”

Section: Related Workmentioning

confidence: 99%

Modelling Protocols for Multiagent Interaction by F-logic

Lai

Embedded and Ubiquitous Computing

View full text Add to dashboard Cite

Abstract. This paper proposes a method to represent agent Unified Modelling Language (AUML) in logic form using F-logic that provides deductive capability and uniform knowledge integration base. The AUML is used to differentiate relevant interaction more precisely at the analysis phase of developing a multiagent system. However, the AUML lacks for foundation and logic semantics. Thus we aim at constructing sufficient formality to facilitate formal analysis and to explore the behaviour and message route of the AUML. The AUML is transformed into F-logic language first by transformation rules. Secondly, a logic interpretation of this agent structure is presented. The transformation processes and results are illustrated using an example of E-commerce system. Finally, the significance of this approach is discussed and summarized.

show abstract

“…All these measures should take into account the effect of possible failures and repairs of the system. An overview of the wide range of existing specification techniques of real-time systems can be found in [2].…”

Section: Introductionmentioning

confidence: 99%

Discrete time stochastic petri nets for modeling and evaluation of real-time systems

Zimmermann

Freiheit²,

Hommel³

Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001

View full text Add to dashboard Cite

The design of real-time systems requires modeling and analysis techniques, to ensure their correct and timely operation. In many cases a realistic model should be able to cover both fixed and stochastic times. Stochastic Petri nets are a promising description technique in this field, but mixing deterministic and randomly distributed times in one model makes the analysis often impossible. This paper shows that Petri net models with an underlying discrete time can be advantageous for the modeling and analysis of real-time systems. For a demonstration a simple application example is modeled and its behavior computed using the software tool TimeNET.

show abstract

Tools for specifying real-time systems

Cited by 46 publications

References 103 publications

Comments on "An Interval Logic for Real-Time System Specification"

Comments on "An Interval Logic for Real-Time System Specification"

Modelling Protocols for Multiagent Interaction by F-logic

Discrete time stochastic petri nets for modeling and evaluation of real-time systems

Contact Info

Product

Resources

About