TEPE-Reference-Cited by-同舟云学术

TEPE

Published:2011-01-24 Issue:1 Volume:36 Page:1-8
ISSN:0163-5948
Container-title:ACM SIGSOFT Software Engineering Notes
language:en
Short-container-title:SIGSOFT Softw. Eng. Notes

Author:

Knorreck Daniel¹,Apvrille Ludovic¹,de Saqui-Sannes Pierre²

Affiliation:

1. Institut Telecom / Telecom ParisTech, LTCI CNRS, Sophia-Antipolis Cedex, France

2. Université de Toulouse, LAAS-CNRS, ISAE, Cedex 4, France

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. 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 example

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/1921532.1921556

Reference19 articles.

1. TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit

2. Accellera Organization Inc. SystemVerilog 3.1a Language Reference Manual www.systemverilog.org. Accellera Organization Inc. SystemVerilog 3.1a Language Reference Manual www.systemverilog.org.

3. TTool for DIPLODOCUS

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SysML and Petri Nets Based Methodology for Analysis and Performance Evaluation in WSNs;Lecture Notes in Networks and Systems;2023

2. SysML Flow Model;2022 29th Asia-Pacific Software Engineering Conference (APSEC);2022-12

3. Synthesis of a Controller Algorithm for Safety-Critical Systems;IEEE Access;2022

4. SysML models;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2020-10-16

5. EARL—Embodied Agent-Based Robot Control Systems Modelling Language;Electronics;2020-02-24