SVERTS - Specification and validation of real-time and embedded systems

被引：0
|
作者：
Graf, S [1 ]
Haugen, O
Ober, I
Selic, B
机构：
[1] VERIMAG, Grenoble, France
[2] Univ Oslo, Oslo, Norway
来源：
UML MODELING LANGUAGES AND APPLICATIONS | 2005年 / 3297卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper presents an overview on the workshop on Specification and Validation of Real-time and embedded Systems that has taken place for the second time in association with the UML 2004 conference. The main themes discussed at this year's workshop concerned modeling of real-time features with the perspective of validation as well as some particular validation issues.
引用
收藏
页码：33 / 42
页数：10
相关论文
共 50 条
  • [1] A new time model for the specification, design, validation and synthesis of embedded real-time systems
    Münzenberger, R
    Dörfel, M
    Slomka, F
    Hofmann, R
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS, 2002, : 1095 - 1095
  • [2] Preface of “Specification and Validation of Real Time and Embedded systems in UML”
    Susanne Graf
    Oystein Haugen
    Ileana Ober
    Bran Selic
    [J]. International Journal on Software Tools for Technology Transfer, 2006, 8 (2) : 93 - 96
  • [3] A general time model for the specification and design of embedded real-time systems
    Münzenberger, R
    Dörfel, M
    Hofmann, R
    Slomka, F
    [J]. MICROELECTRONICS JOURNAL, 2003, 34 (11) : 989 - 1000
  • [4] Specification-based testing of real-time embedded systems
    Núñez, M
    Rodríguez, I
    [J]. From Specification to Embedded Systems Application, 2005, 184 : 115 - 124
  • [5] A process algebraic framework for specification and validation of real-time systems
    Sherif, Adnan
    Cavalcanti, Ana
    He Jifeng
    Sampaio, Augusto
    [J]. FORMAL ASPECTS OF COMPUTING, 2010, 22 (02) : 153 - 191
  • [6] Schedule validation for embedded reactive real-time systems
    Balarin, F
    SangiovanniVincentelli, A
    [J]. DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1997, 1997, : 52 - 57
  • [7] The TASM language and the hi-five framework: Specification, validation, and verification of embedded real-time systems
    Ouimet, Martin
    Lundqvist, Kristina
    [J]. 14TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 567 - 567
  • [8] SPECIFICATION OF REAL-TIME SYSTEMS
    PATNAIK, LM
    MALL, R
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1993, 3 (02) : 267 - 285
  • [9] Model-based specification and execution of embedded real-time systems
    Schattkowsky, T
    Mueller, W
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2004, : 1392 - 1393
  • [10] The specification of the embedded system of real-time IR
    Zhu, Yong
    [J]. DCABES 2007 Proceedings, Vols I and II, 2007, : 1242 - 1244
12345