XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Sytems
作者： Duncan Clarke , Hanêne Ben-Abdallah , Insup Lee , Hong -Liang Xie , Oleg Sokolsky
关键词: Programming language 、 Resource (project management) 、 Computer science 、 Formal equivalence checking 、 Syntax (programming languages) 、 Human–computer interaction 、 Set (abstract data type) 、 Process calculus 、 Text-based user interface 、 Rewriting 、 Graphical user interface
摘要: We present XVERSA, a set of tools for the specification and analysis resource-bound real-time systems. XVERSA facilitates use Algebra Communicating Shared Resources (ACSR), process algebra with explicit notions resources priority. A text based user interface supports syntax checking, on equivalence state space exploration, algebraic rewriting. graphical allows systems to be described analyzed using intuitive pictorial representations ACSR language elements.
springer.com
sci-hub.st 参考文章(16)
Susan B. Davidson, Insup Lee, Abdallah Hanene Ben, Graphical communicating shared resources: a language for the specification, refinement and analysis of real-time systems Graphical communicating shared resources: a language for the specification, refinement and analysis of real-time systems. pp. 200- 200 ,(1996)
Insup Lee, Duncan Clarke, A Hybrid Approach to Formal Verification Applied to an ATM Switching System ,(1996)
Formal Development of Reactive Systems Springer Berlin Heidelberg. ,(1995) , 10.1007/3-540-58867-1
Duncan Clarke, Hong-liang Xie, Insup Lee, VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems ,(1993)
Faron Moller, Chris Tofts, A temporal calculus of communicating systems international conference on concurrency theory. pp. 401- 415 ,(1990) , 10.1007/BFB0039073
Dino Mandrioli, Constance Heitmeyer, Formal Methods for Real-Time Computing John Wiley & Sons, Inc.. ,(1996)
X. Nicollin, J. Sifakis, The Algebra of Timed Processes, ATP Information & Computation. ,vol. 114, pp. 131- 178 ,(1994) , 10.1006/INCO.1994.1083
David Harel, Statecharts: A visual formalism for complex systems Science of Computer Programming. ,vol. 8, pp. 231- 274 ,(1987) , 10.1016/0167-6423(87)90035-9
A.C. Shaw, Communicating real-time state machines IEEE Transactions on Software Engineering. ,vol. 18, pp. 805- 816 ,(1992) , 10.1109/32.159840
Insup Lee, Vijay Gehlot, Language Constructs for Distributed Real-Time Programming real-time systems symposium. pp. 57- 66 ,(1985)