XTG-an engineering approach to modelling and analysis of real-time systems

Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168) Pub Date : 1998-06-17 DOI:10.1109/EMWRTS.1998.685072

M. Ammerlaan, R. L. Spelberg, H. Toetenel

{"title":"XTG-an engineering approach to modelling and analysis of real-time systems","authors":"M. Ammerlaan, R. L. Spelberg, H. Toetenel","doi":"10.1109/EMWRTS.1998.685072","DOIUrl":null,"url":null,"abstract":"The paper addresses the ongoing research on verification and simulation of real time systems at SEPC. The approach taken is an engineering approach dedicated to tool development aiming at a wider dissemination of formal methods and techniques in industrial application. The tool environment under construction TVS, is dedicated to formal verification and simulation of real time systems. TVS comprises language front ends for both specification and implementation languages, a verification notation XTG and a simulation language SL. XTG is a new formalism for describing real time systems. It is an engineering notation based on timed automata aimed at providing a simple representation for high level specification languages. By translating a high level specification into an XTG system, a representation is obtained that better suits the application of automatic verification and simulation techniques. XTG is suited as concrete representation for languages that allow extensive modeling of data, have a maximal progress semantics, and model interprocess communication by value passing through data channels.","PeriodicalId":318810,"journal":{"name":"Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"20","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EMWRTS.1998.685072","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 20

Abstract

The paper addresses the ongoing research on verification and simulation of real time systems at SEPC. The approach taken is an engineering approach dedicated to tool development aiming at a wider dissemination of formal methods and techniques in industrial application. The tool environment under construction TVS, is dedicated to formal verification and simulation of real time systems. TVS comprises language front ends for both specification and implementation languages, a verification notation XTG and a simulation language SL. XTG is a new formalism for describing real time systems. It is an engineering notation based on timed automata aimed at providing a simple representation for high level specification languages. By translating a high level specification into an XTG system, a representation is obtained that better suits the application of automatic verification and simulation techniques. XTG is suited as concrete representation for languages that allow extensive modeling of data, have a maximal progress semantics, and model interprocess communication by value passing through data channels.

查看原文本刊更多论文

xtg—实时系统建模和分析的工程方法

本文介绍了SEPC正在进行的实时系统验证和仿真研究。所采取的方法是一种致力于工具开发的工程方法，目的是在工业应用中广泛传播正式方法和技术。正在建设的工具环境TVS，专门用于实时系统的形式化验证和仿真。TVS包括用于规范和实现语言的语言前端、验证符号XTG和仿真语言SL。XTG是描述实时系统的一种新形式。它是一种基于时间自动机的工程符号，旨在为高级规范语言提供一种简单的表示。通过将高级规范转换为XTG系统，得到了更适合自动验证和仿真技术应用的表示形式。XTG适合作为语言的具体表示，这些语言允许对数据进行广泛的建模，具有最大的进度语义，并通过通过数据通道传递的值对进程间通信进行建模。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)

自引率

0.00%

发文量