Practical experiences of safety- and security-critical technologies

被引：0
|
作者：
Amey, Peter [1 ]
Hilton, Adrian J [1 ]
机构：
[1] Praxis Critical Systems Ltd., 20 Manvers Street, Bath BA1 1PX, United Kingdom
来源：
Ada User Journal | 2004年 / 25卷 / 02期
关键词：
High integrity software - Safety critical systems - Security critical systems;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：98 / 105
相关论文
共 50 条
  • [1] Anticipatory active monitoring for safety- and security-critical software
    Wei Dong
    ChangZhi Zhao
    ShaoXian Shu
    Martin Leucker
    [J]. Science China Information Sciences, 2012, 55 : 2723 - 2737
  • [2] Anticipatory active monitoring for safety- and security-critical software
    Dong Wei
    Zhao ChangZhi
    Shu ShaoXian
    Leucker, Martin
    [J]. SCIENCE CHINA-INFORMATION SCIENCES, 2012, 55 (12) : 2723 - 2737
  • [3] Safety- and Security-Critical Services in Building Automation and Control Systems
    Novak, Thomas
    Gerstinger, Andreas
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2010, 57 (11) : 3614 - 3621
  • [4] An Evolutionary Approach for the Hierarchical Scheduling of Safety- and Security-Critical Multicore Architectures
    Woolley, Brandon
    Mengel, Susan
    Ertas, Atila
    [J]. COMPUTERS, 2020, 9 (03) : 1 - 19
  • [5] The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software
    Bagnara, Roberto
    Bagnara, Abramo
    Hill, Patricia M.
    [J]. STATIC ANALYSIS (SAS 2018), 2018, 11002 : 5 - 23
  • [6] Safety-critical and security-critical computing in Britain: An exploration
    MacKenzie, D
    Tierney, M
    [J]. TECHNOLOGY ANALYSIS & STRATEGIC MANAGEMENT, 1996, 8 (04) : 355 - 379
  • [7] Reducing Software Assurance Risks for Security-Critical and Safety-Critical Systems
    Axelrod, C. Warren
    [J]. 2014 IEEE LONG ISLAND SYSTEMS, APPLICATIONS AND TECHNOLOGY CONFERENCE (LISAT), 2014,
  • [8] Anticipatory active monitoring for safety-and security-critical software
    Martin LEUCKER
    [J]. Science China(Information Sciences), 2012, 55 (12) : 2723 - 2737
  • [9] When Worlds Collide: Safety, Mission and Security-Critical System Engineering
    Fidge, Colin
    [J]. 2015 20TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2015, : XIV - XIV
  • [10] Domain Specific Modelling and Language for Safety-Critical and Security-Critical Requirements Engineering
    Sklyar, Vladimir
    Kharchenko, Vyacheslav
    [J]. 2022 12TH INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS, SERVICES AND TECHNOLOGIES (DESSERT), 2022,
12345