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 条
  • [31] Towards a Conceptual Framework for Open Systems Developments
    Cowling, James A.
    Morgan, Christopher V.
    Cloutier, Robert
    [J]. INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGIES AND SYSTEMS APPROACH, 2014, 7 (01) : 41 - 54
  • [32] Towards the Development of Open Cartographic Hypermedia Systems
    Vaitis, Michail
    Tzagarakis, Manolis
    [J]. GEOGRAPHIC HYPERMEDIA: CONCEPTS AND SYSTEMS, 2006, : 211 - 231
  • [33] BARS: Towards Open Benchmarking for Recommender Systems
    Zhu, Jieming
    Dai, Quanyu
    Su, Liangcai
    Ma, Rong
    Liu, Jinyang
    Cai, Guohao
    Xiao, Xi
    Zhang, Rui
    [J]. PROCEEDINGS OF THE 45TH INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL (SIGIR '22), 2022, : 2912 - 2923
  • [34] Towards a computing model for open distributed systems
    Mostefaoui, Achour
    [J]. PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, 2007, 4671 : 74 - 79
  • [35] The critical realist conception of open and closed systems
    Fleetwood, Steve
    [J]. JOURNAL OF ECONOMIC METHODOLOGY, 2017, 24 (01) : 41 - 68
  • [36] OPEN SOURCE HARDWARE: AN OPPORTUNITY FOR CRITICAL SYSTEMS
    Le Rhun, Jimmy
    Girbal, Sylvain
    Perez, Daniel Gracia
    [J]. 50TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS (DSN-W 2020), 2020, : 63 - 65
  • [37] Towards the control of time-critical systems
    Bonhomme, P
    Aygalinc, P
    Calvez, S
    [J]. PROCEEDINGS OF THE 2001 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS (CCA'01), 2001, : 1184 - 1189
  • [38] Shifting towards Antifragile Critical Infrastructure Systems
    Bangui, Hind
    Buhnova, Barbora
    Rossi, Bruno
    [J]. PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON INTERNET OF THINGS, BIG DATA AND SECURITY (IOTBDS), 2022, : 78 - 87
  • [39] Towards a Hybrid Model for the Evaluation of Critical IT Systems
    Macek, Davor
    Magdalenic, Ivan
    Redep, Nina Begicevic
    [J]. CENTRAL EUROPEAN CONFERENCE ON INFORMATION AND INTELLIGENT SYSTEMS (CECIIS 2020), 2020, : 249 - 255
  • [40] Signal Integrity Testing for Ensuring Modular Open Systems Hardware Interoperability
    Reeves, Dennis
    Lee, Chris
    [J]. 2023 IEEE AUTOTESTCON, 2023,
12345