Validating real-time constraints in embedded systems

被引：0
|
作者：
Shyamasundar, RK [1 ]
Aghav, JV [1 ]
机构：
[1] Tata Inst Fundamental Res, Bombay 400005, Maharashtra, India
来源：
2001 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS | 2001年
关键词：
embedded systems; Esterel; real-time systems; synchronous languages; validation & verification;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
There is a growing demand for software tools that can assist in designing, analyzing and validating embedded real-time system applications. ESTEREL a synchronous language, is widely used in the development of embedded systems and hardware/software codesign. In this paper, we describe a method that uses timed annotations for ESTEREL programs that makes it possible to predict the timing constraints required to be satisfied by the embedded system. Using the specified annotations and the programming environment of ESTEREL we describe a method and a tool for validating the concrete realization relative to time-annotated ESTEREL specifications. Also, the method derives time constraints to be satisfied by the concrete architectures for realizing the logical specification. We shall illustrate the technique with examples as well as the structure of the tool implemented.
引用
收藏
页码：347 / 355
页数：9
相关论文
共 50 条
  • [31] Real-Time Operating Systems for Multicore Embedded Systems
    Tomiyama, Hiroyuki
    Honda, Shinya
    Takada, Hiroaki
    [J]. ISOCC: 2008 INTERNATIONAL SOC DESIGN CONFERENCE, VOLS 1-3, 2008, : 62 - 67
  • [32] Guest Editorial: Real-Time and Embedded Systems
    Kaijie Wu
    Zili Shao
    [J]. Journal of Signal Processing Systems, 2016, 84 : 1 - 2
  • [33] Modeling and analysis of real-time and embedded systems
    Graf, S
    Gérard, S
    Haugen, O
    Ober, I
    Selic, B
    [J]. SATELLITE EVENTS AT THE MODELS 2005 CONFERENCE, 2006, 3844 : 58 - 66
  • [34] Evaluation of embedded intelligent real-time systems
    Grabowski, M
    Sanborn, SD
    [J]. DECISION SCIENCES, 2001, 32 (01) : 95 - 123
  • [35] Strategic directions in real-time and embedded systems
    Stankovic, JA
    [J]. ACM COMPUTING SURVEYS, 1996, 28 (04) : 751 - 763
  • [36] A QoS scheduler for real-time embedded systems
    Matschulat, David
    Marcon, Cesar A. M.
    Hessel, Fabiano
    [J]. ISQED 2008: PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, 2008, : 564 - 567
  • [37] Modeling Spaces for Real-Time Embedded Systems
    Landauer, Christopher
    Bellman, Kirstie L.
    Nelson, Phyllis R.
    [J]. 2013 IEEE 16TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2013,
  • [38] Runtime Verification of Real-time Embedded Systems
    Bonakdarpour, Borzoo
    Fischmeister, Sebastian
    [J]. EMSOFT '12: PROCEEDINGS OF THE TENTH AMC INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE 2012, 2012, : 249 - 250
  • [39] Real-Time Reconfigurations of Embedded Control Systems
    Gharbi, Atef
    Gharsellaoui, Hamza
    Khalgui, Mohamed
    [J]. INTERNATIONAL JOURNAL OF SYSTEM DYNAMICS APPLICATIONS, 2016, 5 (03) : 71 - 93
  • [40] Efficient monitoring of embedded real-time systems
    Cadamuro Junior, Joao
    Renaux, Douglas P. B.
    [J]. PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, 2008, : 651 - 656
12345