Safe design method of embedded control systems Case study

被引：1
|
作者：
Hajjar, Salam [1 ]
Dumitrescu, Emil [1 ]
Niel, Eric [1 ]
机构：
[1] Laboratory AMPERE, 25, Rue Jean Capelle, Villeurbanne,69621, France
来源：
Journal Europeen des Systemes Automatises | 2013年 / 47卷 / 4-8期
关键词：
D O I：
10.3166/JESA.47.403-421
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：403 / 421
相关论文
共 50 条
  • [21] Safe design of high-performance embedded systems in an MDE framework
    Yu, Huafeng
    Gamatie, Abdoulaye
    Rutten, Eric
    Dekeyser, Jean-Luc
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2008, 4 (03) : 215 - 222
  • [22] Safe Design Real-time Embedded Systems with Security Patterns
    Ben Mansour, Ahmed
    Naija, Mohamed
    Ben Ahmed, Samir
    PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), 2019, : 459 - 463
  • [23] A case study on formal design of hybrid control systems
    Thae, HK
    Van Hung, D
    25TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 2001, : 423 - +
  • [24] THE DESIGN OF A FINITE STATE MACHINE ENGINE WITH SAFE OPERATION USED IN EMBEDDED SYSTEMS DESIGN
    Stan, Andrei
    Botezatu, Nicolae
    Vieriu, George
    ANNALS OF DAAAM FOR 2009 & PROCEEDINGS OF THE 20TH INTERNATIONAL DAAAM SYMPOSIUM, 2009, 20 : 1507 - 1508
  • [25] Embedded system design: A case study
    Sveda, M
    IEEE SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1996, : 260 - 267
  • [26] Static analysis to enforce safe value flow in embedded control systems
    Kowshik, Sumant
    Rosu, Grigore
    Sha, Lui
    DSN 2006 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2006, : 23 - 32
  • [27] Python']Python to Accelerate Embedded SoC Design: A Case Study for Systems Biology
    Logaras, Evangelos
    Hazapis, Orsalia G.
    Manolakos, Elias S.
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2014, 13 (04)
  • [28] Integrating communication cost estimation in embedded systems design : A PCI case study
    Rastogi, A
    Balakrishnan, M
    Kumar, A
    VLSI DESIGN 2001: FOURTEENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, 2001, : 23 - 28
  • [29] Teaching Hardware/Software Co-design of Embedded Systems - a Case Study
    Bencheva, Nina
    Kostadinov, Nikolay
    2017 27TH EAEEIE ANNUAL CONFERENCE (EAEEIE), 2017,
  • [30] Collaborative Embedded Systems - A Case Study
    Schlingloff, Bernd-Holger
    Stubert, Henry
    Jamroga, Wojciech
    2016 3RD INTERNATIONAL WORKSHOP ON EMERGING IDEAS AND TRENDS IN ENGINEERING OF CYBER-PHYSICAL SYSTEMS (EITEC), 2016, : 17 - 22
12345