TEPE
- 24 January 2011
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 36 (1), 1-8
- https://doi.org/10.1145/1921532.1921556
Abstract
Using UML or SysML models in a verification-centric method requires a property expression language, a formal semantics, and a tool. The paper introduces TEPE, a graphical TEmporal Property Expression language based on SysML parametric diagrams. TEPE enriches the expressiveness of other common property languages in particular with the notion of physical time and unordered signal reception. TEPE is further instantiated in the AVATAR real-time UML profile.\ud TTool, an open-source toolkit, implements a press-button approach for the formal verification of AVATAR-TEPE properties with UPPAAL. An elevator system serves as exampleThis publication has 5 references indexed in Scilit:
- OMEGA2: A New Version of the Profile and the ToolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2010
- Fast Simulation Techniques for Design Space ExplorationLecture Notes in Business Information Processing, 2009
- TTool for DIPLODOCUSPublished by Association for Computing Machinery (ACM) ,2008
- TURTLE: A Real-Time UML Profile Supported by a Formal Validation ToolkitIEEE Transactions on Software Engineering, 2004
- LSCs: Breathing Life into Message Sequence ChartsFormal Methods in System Design, 2001