Towards Open Modular Critical Systems

被引：0
|
作者：
Pataricza, Andras [1 ]
机构：
[1] Budapest Univ Technol & Econ, Dept Measurement & Informat Syst, Magyar Tudosok Krt 2, H-1117 Budapest, Hungary
来源：
FORMS/FORMAT 2010: FORMAL METHODS FOR AUTOMATION AND SAFETY IN RAILWAY AND AUTOMOTIVE SYSTEMS | 2011年
关键词：
Critical embedded Systems; model-based Design; Formal Methods; security-safety co-modeling;
D O I：
10.1007/978-3-642-14261-1_4
中图分类号：
U [交通运输];
学科分类号：
08 ; 0823 ;
摘要：
The main strategic objectives of the embedded systems industry are increased design and manufacturing productivity and quality. The appearance of general purpose design and implementation components and platforms requires new paradigms for creating critical embedded systems out of standardized COTS components. Another main driver and simultaneously a source of potential dangers is the integration of embedded systems with the cyber world for value added global services exposing them to security threats. The talk gives an overview on the efforts of supporting the new trends by formal methods complementing model-based design paradigms.
引用
收藏
页码：41 / 42
页数：2
相关论文
共 50 条
  • [21] Time Critical Systems and Open Architecture
    Bagby, Patrick T.
    Shaver, Jonathan
    Cafarelli, Sergio
    [J]. OPEN ARCHITECTURE/OPEN BUSINESS MODEL NET-CENTRIC SYSTEMS AND DEFENSE TRANSFORMATION 2018, 2018, 10651
  • [22] Generation of execution sequences for modular time critical systems
    San Pietro, P
    Morzenti, A
    Morasca, S
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (02) : 128 - 149
  • [23] Towards a Critical Open-Source Software Database
    Dam, Tobias
    Klausner, Lukas Daniel
    Neumaier, Sebastian
    [J]. COMPANION OF THE WORLD WIDE WEB CONFERENCE, WWW 2023, 2023, : 156 - 159
  • [24] Distributed, modular, open control architecture for power conversion systems
    Guo, JH
    Boroyevich, D
    Edwards, SH
    [J]. PESC 04: 2004 IEEE 35TH ANNUAL POWER ELECTRONICS SPECIALISTS CONFERENCE, VOLS 1-6, CONFERENCE PROCEEDINGS, 2004, : 2258 - 2263
  • [25] Modularity and Open Systems Architecture Applied to the Flexible Modular Warship
    Guertin, Nickolas H.
    Van Benthem, Paul
    [J]. NAVAL ENGINEERS JOURNAL, 2016, 128 (04) : 37 - 43
  • [26] Modular Open RF Architecture: Extending VICTORY to RF Systems
    Melber, Adam
    Dirner, Jason
    Johnson, Michael
    [J]. OPEN ARCHITECTURE/OPEN BUSINESS MODEL NET-CENTRIC SYSTEMS AND DEFENSE TRANSFORMATION 2015, 2015, 9479
  • [27] Towards Smart Transmission Substations with Modular Transformer Converter Systems
    Parkhideh, Babak
    Bhattacharya, Subhashish
    [J]. 2011 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING, 2011,
  • [28] Towards Web-enabled design of modular assembly systems
    Lohse, N
    Ratchev, S
    Valtchanov, G
    [J]. ASSEMBLY AUTOMATION, 2004, 24 (03) : 270 - 279
  • [29] Towards a Modular Approach for Workforce Qualification in Reconfigurable Manufacturing Systems
    Zidi, Slim
    Sabioni, Rachel Campos
    Bouzekri, Hamza
    [J]. 5TH INTERNATIONAL CONFERENCE ON INDUSTRY 4.0 AND SMART MANUFACTURING, ISM 2023, 2024, 232 : 2551 - 2559
  • [30] Towards Argumentation Schemes for Open Systems Dependability
    Kido, Hiroyuki
    Ohsawa, Yukio
    Hirai, Makoto
    Yuasa, Yoshifumi
    Takai, Toshinori
    [J]. 2014 IEEE 12TH INTERNATIONAL CONFERENCE ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING (DASC)/2014 IEEE 12TH INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTING (EMBEDDEDCOM)/2014 IEEE 12TH INTERNATIONAL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING (PICOM), 2014, : 32 - +
12345