Expression of Time and Duration Constraints in SDL

机译：SDL中时间和持续时间约束的表达

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper we give an overview on a set of time related features, useful in the context of real-time system design and classify them into two categories, those needed for modelling of non functional aspects and analysis, and those needed for functional design. We allow the distinction between functional and non functional timing aspects of a specification. We show how these features are represented at the semantic level with a minimal number of primitives.

机译：在本文中，我们概述了一组与时间相关的功能，这些功能在实时系统设计的上下文中很有用，并将它们分为两类，即非功能方面的建模和分析所需的功能，以及功能设计所需的功能。我们允许在规范的功能和非功能时序方面进行区分。我们展示了如何使用最少数量的原语在语义级别上表示这些功能。

著录项

来源
《Third International Workshop on Telecommunications and Beyond: the Broader Applicability of SDL and MSC SAM 2002 , Jun 24-26, 2002, Aberystwyth, UK》|2002年|p.38-52|共15页
会议地点 Aberystwyth(GB);Aberystwyth(GB)
作者
Susanne Graf;
展开▼
作者单位

Verimag, Grenoble, France;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类无线电电子学、电信技术;
关键词

相似文献

外文文献
中文文献
专利

1. Modelling of real-time constraints using SDL for embedded systems design [J] . Alkhodre A., Babau J.-P., Schwarz J.-J. Computing & Control Engineering Journal . 2002,第4期

机译：使用SDL对嵌入式系统设计进行实时约束建模
2. A Novel Sparse Dictionary Learning Separation (SDLS) Model With Adaptive Dictionary Mutual Incoherence Constraint for fMRI Data Analysis [J] . Nizhuan Wang, Weiming Zeng, Dongtailang Chen Biomedical Engineering, IEEE Transactions on . 2016,第11期

机译：fMRI数据分析的具有自适应字典互不相关约束的新型稀疏字典学习分离（SDLS）模型
3. Short Sleep Duration and Extremely Delayed Chronotypes in Uruguayan Youth: The Role of School Start Times and Social Constraints [J] . Journal of biological rhythms . 2020,第4期

机译：乌拉圭青年的短期睡眠持续时间和极其延迟的时间倍数：学校开始时代和社会限制的作用
4. Expression of Time and Duration Constraints in SDL [C] . Susanne Graf International SDL and MSC Workshop . 2002

机译：SDL中的时间和持续时间约束的表达
5. Magma supply and its rise axis expressions: Time constraints for magma supply on the East Pacific Rise and Juan de Fuca Ridge. [D] . Perlin, Joan D. 1996

机译：岩浆供应及其上升轴表达式：东太平洋上升和胡安德富卡海岭上岩浆供应的时间限制。
6. Identification of a multimer resolution system involved in stabilization of the Salmonella dublin virulence plasmid pSDL2. [O] . M Krause, D G Guiney 1991

机译：鉴定涉及沙门氏菌都柏林毒力质粒pSDL2稳定化的多聚体拆分系统。
7. Expression of time and duration constraints in SDL [O] . Susanne Graf 2002

机译：在sDL中表达时间和持续时间约束

Expression of Time and Duration Constraints in SDL

摘要

著录项

相似文献

相关主题

期刊订阅