Embedded, real-time, safety-critical control is nothing new to the Ada language

被引：0
|
作者：
Anon
机构：
来源：
Control Solutions | 2001年 / 74卷 / 05期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Embedded, real-time safety-critical control is nothing new to the Ada language
    Tokar, J
    [J]. CONTROL SOLUTIONS, 2001, 74 (05): : 75 - 76
  • [2] A Hybrid Quadratic Programming Framework for Real-Time Embedded Safety-Critical Control
    Bena, Ryan M.
    Hossain, Sushmit
    Chen, Buyun
    Wu, Wei
    Nguyen, Quan
    [J]. 2023 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, ICRA, 2023, : 3418 - 3424
  • [3] Comparison of Ada and real-time Java']Java™ for safety-critical applications
    Brosgol, Benjamin M.
    Wellings, Andy
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA - EUROPE 2006, PROCEEDINGS, 2006, 4006 : 13 - 26
  • [4] Lightweight Realization of UML Ports for Safety-Critical Real-Time Embedded Software
    Kocatas, Alper Tolga
    Can, Mustafa
    Dogru, Ali Hikmet
    [J]. PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2016), 2016, : 258 - 265
  • [5] Application of real-time DEVS to analysis of safety-critical embedded control systems: Railroad crossing control example
    Song, HS
    Kim, TG
    [J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2005, 81 (02): : 119 - 136
  • [6] A Safety-Critical Real-Time Network Protocol
    Wang, Zhanjie
    Wang, Hailong
    He, Kai
    Sun, Dexin
    Chen, Xiaobin
    [J]. 2008 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING, VOLS 1 AND 2, 2008, : 628 - +
  • [7] Decomposition in real-time safety-critical systems
    Mukherjee, P
    Stavridou, V
    [J]. REAL-TIME SYSTEMS, 1998, 14 (02) : 183 - 202
  • [8] Decomposition in Real-Time Safety-Critical Systems
    Paul Mukherjee
    Victoria Stavridou
    [J]. Real-Time Systems, 1998, 14 : 183 - 202
  • [9] Hardware Certification for Safety-Critical Real-Time Systems
    Kornecki, Andrew J.
    Zalewski, Janusz
    [J]. IFAC WORKSHOP ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2009), PROCEEDINGS, 2009, : 1 - 12
  • [10] Special section on real-time safety-critical systems
    Janusz Zalewski
    [J]. Innovations in Systems and Software Engineering, 2009, 5 (2) : 95 - 96
12345