Synchronous Techniques for Software and Hardware Embedded Systems

被引：0
|
作者：
Berry, Gerard [1 ]
机构：
[1] Esterel Technol, F-06270 Villeneuve, France
来源：
ENGINEERING METHODS AND TOOLS FOR SOFTWARE SAFETY AND SECURITY | 2009年 / 22卷
关键词：
Synchronous programming; embedded system; safety-critical systems; synchronous circuits; systems on chips; formal semantics; formal verification; automatic code generation; PROGRAMMING LANGUAGE; ESTEREL; DESIGN; VERIFICATION;
D O I：
10.3233/978-1-58603-976-9-43
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
We survey the synchronous approach to embedded hardware and software systems, its scientific content, and its use in industry. We discuss the concurrency and determinism constraints of embedded applications, and the way in which they are reconciled by the synchronous concurrency model. We present the main synchronous languages, their semantics, and the industrial tools and flows that support them.
引用
收藏
页码：43 / 74
页数：32
相关论文
共 50 条
  • [1] Hardware/software techniques for improving cache performance in embedded systems
    Memik, G
    Kandemir, MT
    Choudhary, A
    Kadayif, I
    [J]. EMBEDDED SOFTWARE FOR SOC, 2003, : 387 - 401
  • [2] Hardware/software codesign for embedded systems
    Harrison, J
    [J]. IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1998, 145 (03): : 153 - 153
  • [3] Hardware-Software Monitoring Techniques for Dynamic Partial Reconfigurable Embedded Systems
    Wang Xiao-Wei
    Chen Wei-Nan
    Peng Cheng-Lian
    You Hong-jun
    [J]. 2008 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS SYMPOSIA, PROCEEDINGS, 2008, : 113 - 119
  • [4] Hardware/software partitioning of embedded systems with multiple hardware processes
    Hendry, DC
    Sananikone, DS
    [J]. IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1997, 144 (05): : 285 - 294
  • [5] Technical documentation of software and hardware in embedded systems
    Muranko, Beate
    Drechsler, Rolf
    [J]. IFIP VLSI-SOC 2006: IFIP WG 10.5 INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION & SYSTEM-ON-CHIP, 2006, : 261 - +
  • [6] Hardware-software codesign of embedded systems
    Coelho, CJN
    da Silva, DC
    Fernandes, AO
    [J]. XI BRAZILIAN SYMPOSIUM ON INTEGRATED CIRCUIT DESIGN, PROCEEDINGS, 1998, : 2 - 8
  • [7] Hardware/Software interface codesign for embedded systems
    Jerraya, AA
    Wolf, W
    [J]. COMPUTER, 2005, 38 (02) : 63 - +
  • [8] Rapid prototyping of embedded hardware/software systems
    Buchenrieder, Klaus
    [J]. Design Automation for Embedded Systems, 2000, 5 (03) : 215 - 221
  • [9] Rapid Prototyping of Embedded Hardware/Software Systems
    Klaus Buchenrieder
    [J]. Design Automation for Embedded Systems, 2000, 5 : 215 - 221
  • [10] Rapid prototyping of embedded hardware/software systems
    Buchenrieder, K
    [J]. NINTH INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING - PROCEEDINGS, 1998, : 2 - 3
12345