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 条
  • [41] Towards of a modular framework for semi-autonomous driving assistance systems
    Curiel-Ramirez, Luis A.
    Ramirez-Mendoza, Ricardo A.
    Carrera, Gerardo
    Izquierdo-Reyes, Javier
    Rogelio Bustamante-Bello, M.
    [J]. INTERNATIONAL JOURNAL OF INTERACTIVE DESIGN AND MANUFACTURING - IJIDEM, 2019, 13 (01): : 111 - 120
  • [42] Towards a Modular Attestation Framework for Flexible Data Protection for Drone Systems
    Imam, Zineeddine Ould
    Lacoste, Marc
    Arfaoui, Ghada
    [J]. 2021 17TH INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB 2021), 2021, : 96 - 102
  • [43] Towards of a modular framework for semi-autonomous driving assistance systems
    Luis A. Curiel-Ramirez
    Ricardo A. Ramirez-Mendoza
    Gerardo Carrera
    Javier Izquierdo-Reyes
    M. Rogelio Bustamante-Bello
    [J]. International Journal on Interactive Design and Manufacturing (IJIDeM), 2019, 13 : 111 - 120
  • [44] Modular robot systems towards the execution of cooperative tasks in large facilities
    Baca, Jose
    Pagala, Prithvi
    Rossi, Claudio
    Ferre, Manuel
    [J]. ROBOTICS AND AUTONOMOUS SYSTEMS, 2015, 66 : 159 - 174
  • [45] Towards Enhancing Modular Production Systems by Integrating a Collaborative Robotic Manipulator
    Mosadeghzad, Mohamad
    Kalym, Daryn
    Kaliyanurov, Zhassulan
    Alziadeh, Tohid
    [J]. 2019 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATION (ICMA), 2019, : 1750 - 1755
  • [46] Towards a scheduling and timing analysis solution for integrated modular avionic systems
    Grigg, A
    Audsley, NC
    [J]. MICROPROCESSORS AND MICROSYSTEMS, 1999, 22 (08) : 423 - 431
  • [47] Towards a scheduling and timing analysis solution for integrated modular avionic systems
    Grigg, A
    Audsley, NC
    [J]. AIRCRAFT ENGINEERING AND AEROSPACE TECHNOLOGY, 1998, 70 (04): : 271 - +
  • [48] Towards an Open Source Fully Modular Multi Unmanned Aerial Vehicle Simulation Framework
    Hardes, Tobias
    Logan, Dalisha
    Pritom, Touhid Hossain
    Sommer, Christoph
    [J]. 2022 IEEE 42ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS (ICDCSW), 2022, : 284 - 289
  • [49] Towards a modular timing analysis of real-time software systems
    deFigueiredo, JCA
    Perkusich, A
    [J]. SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 4442 - 4447
  • [50] Towards an Open, Collaborative REST API for Recommender Systems
    Garcia, Ivan
    Bellogin, Alejandro
    [J]. 12TH ACM CONFERENCE ON RECOMMENDER SYSTEMS (RECSYS), 2018, : 504 - 505
12345