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 条
  • [41] Efficient hardware/software partitioning approach for embedded multiprocessor systems
    Lin, Tzong-Yen
    Hung, Yu-Ting
    Chang, Rong-Guey
    [J]. 2006 INTERNATIONAL SYMPOSIUM ON VLSI DESIGN, AUTOMATION, AND TEST (VLSI-DAT), PROCEEDINGS OF TECHNICAL PAPERS, 2006, : 231 - +
  • [42] Embedded Systems Hardware Software Partitioning Using MiniMax Algorithm
    Iguider, Adil
    Bousselam, Kaouthar
    Elissati, Oussama
    Chami, Mouhcine
    En-Nouaary, Abdeslam
    [J]. 4TH INTERNATIONAL CONFERENCE ON SMART CITY APPLICATIONS (SCA' 19), 2019,
  • [43] HARDWARE-SOFTWARE CO-DESIGN OF EMBEDDED SYSTEMS
    WOLF, WH
    [J]. PROCEEDINGS OF THE IEEE, 1994, 82 (07) : 967 - 989
  • [44] Hardware-software partitioning for embedded multiprocessor FPGA systems
    Lee, Trong-Yen
    Fan, Yang-Hsin
    Cheng, Yu-Min
    Tsai, Chia-Chun
    [J]. International Journal of Innovative Computing, Information and Control, 2009, 5 (10): : 3071 - 3083
  • [45] An interaction testing technique between hardware and software in embedded systems
    Sung, AY
    Choi, BJ
    [J]. APSEC 2002: NINTH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, 2002, : 457 - 464
  • [46] Managing obsolescence of embedded hardware and software in secure and trusted systems
    Zachary A. Collier
    James H. Lambert
    [J]. Frontiers of Engineering Management, 2020, 7 : 172 - 181
  • [47] RTOS-Aware Modeling of Embedded Hardware/Software Systems
    Mueller, Matthias
    Gerlach, Joachim
    Rosenstiel, Wolfgang
    [J]. 2010 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN, 2010, : 179 - 186
  • [48] Hardware/Software Communication Middleware for Data Adaptable Embedded Systems
    Mahadevan, Sachidanand
    Gopinath, Vijay Shankar
    Lysecky, Roman
    Sprinkle, Jonathan
    Rozenblit, Jerzy
    Marcellin, Michael W.
    [J]. 18TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2011), 2011, : 34 - 43
  • [49] Using FPGAs with embedded processors for complete hardware and software systems
    Weber, J. M.
    Chin, M. J.
    [J]. BEAM INSTRUMENTATION WORKSHOP 2006, 2006, 868 : 187 - +
  • [50] Hardware-Assisted Detection of Malicious Software in Embedded Systems
    Rahmatian, Mehryar
    Kooti, Hessam
    Harris, Ian G.
    Bozorgzadeh, Elaheh
    [J]. IEEE EMBEDDED SYSTEMS LETTERS, 2012, 4 (04) : 94 - 97
12345