Towards standard-based specification and design of embedded real-time systems

被引：0
|
作者：
Gumzej, R [1 ]
Colnaric, M [1 ]
Verber, D [1 ]
Halang, WA [1 ]
机构：
[1] Univ Maribor, Fac Elect Engn & Comp Sci, SI-2000 Maribor, Slovenia
来源：
24TH EUROMICRO CONFERENCE - PROCEEDING, VOLS 1 AND 2 | 1998年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Real-time Systems and in particular Embedded Systems have been known to be built as works of art until recently. Nowadays standard hardware components are being used and scalable standardized operating systems are being built. There have been many attempts for simplification of design of these systems through the use of standard mechanisms and components, bur many have failed due to the specific nature of their applications.
引用
收藏
页码：453 / 460
页数：4
相关论文
共 50 条
  • [1] 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
  • [2] 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
  • [3] Towards real-time system specification and design
    Schmerler, S
    Tanurhan, Y
    MullerGlaser, KD
    [J]. PROCEEDINGS OF THE 1996 IPC CONFERENCE AND EXPOSITION, 1996, : 1 - 8
  • [4] 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
  • [5] 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
  • [6] Object-oriented specification and design of embedded hard real-time systems
    Nebel, W
    Oppenheimer, F
    Schumacher, G
    Kabous, L
    Radetzki, M
    Putzke-Röming, W
    [J]. SYSTEM-ON-CHIP METHODOLOGIES & DESIGN LANGUAGES, 2001, : 285 - 296
  • [7] SVERTS - Specification and validation of real-time and embedded systems
    Graf, S
    Haugen, O
    Ober, I
    Selic, B
    [J]. UML MODELING LANGUAGES AND APPLICATIONS, 2005, 3297 : 33 - 42
  • [8] Towards an OpenMP Specification for Critical Real-Time Systems
    Serrano, Maria A.
    Royuela, Sara
    Quinones, Eduardo
    [J]. EVOLVING OPENMP FOR EVOLVING ARCHITECTURES, 2018, 11128 : 143 - 159
  • [9] An approach for integrated specification and design of real-time systems
    Tanurhan, Y
    Schmerler, S
    Golz, HP
    MullerGlaser, KD
    [J]. EURO-DAC '96 - EUROPEAN DESIGN AUTOMATION CONFERENCE WITH EURO-VHDL '96 AND EXHIBITION, PROCEEDINGS, 1996, : 258 - 263
  • [10] Towards SMT-Based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems
    Zhang, Min
    Ying, Yunhui
    [J]. ACM SIGPLAN NOTICES, 2017, 52 (05) : 61 - 70
12345