DDC-I adds SafeMC™ Technology for Multi-core Processors to its Deos RTOS

 

    Please Contact Me

    Your Name

    Your Email

    Phone

    Postal/ZIP Code

    One of the biggest challenges facing developers of certifiable, safety-critical software applications for MultiCore Processors (MCPs) is managing access to shared resources such as cache. MCPs significantly increase cache contention, causing Worst-Case Execution Times (WCETs) to exceed Average-Case Execution Times (ACETs) by 100 percent or more. Because safety-critical developers must budget for WCETs, tasks on average (critical and noncritical) are allocated more time than they need, resulting in significantly degraded CPU utilization.

    To avoid these performance crippling challenges associated with safe multi-core operation, DDC-I has developed its SafeMC Technology for Deos, its DO-178 DAL A Certifiable RTOS (first certification in 1998).  SafeMC includes patented cache partitioning technology that enables developers to bound and control interference patterns in a way that alleviates contention and reduces WCETs, thereby maximizing available CPU bandwidth without compromising safety criticality.  SafeMC Technology also includes Safe Scheduling capabilities constrain processes into execution windows to minimize cross core resource contention.  These capabilities coupled with SafeMC’s other enhancements, delivers industry leading multi-core capabilities, developed specifically for safety critical applications, on a DO-178 certifiable platform for avionics developers worldwide.

    Key Advantages of Deos™

    deos_safe_scheduling_for_multicore

    • DO-178 certification artifact reuse (leveraging certification credit from prior certifications)
    • Time & space partitioning (allows mixed levels of criticality running on the same device)
    • Optional ARINC 653 support (delivers the standard avionics interfaces), and optional POSIX support (as required for FACE Safety Base Profile) for enhanced portability, and also allows designers to take advantage of the advanced features of Deos
    • Extensive certification pedigree (certified to DO-178 DAL A since 1998)
    • Patented slack scheduling technology (allows for full processor utilization)
    • Scalable from simple LRUs to complex IMA systems

    airplane-diagram500px2

    Aircraft Flying with
    Deos™ Onboard
    Agusta AB139

    Airbus 320
    Airbus 330
    Airbus 340
    Airbus 380
    Airbus 400M
    Boeing 757
    Boeing 777
    Boeing 787
    Bombardier Global Express
    C-5
    C-17
    C-130J
    Cessna Citation V
    Cessna Sovereign
    CV-22 Osprey
    Dassault F7X
    Dassault F900
    Dassault F2000
    Embraer ERJ-170
    Embraer ERJ-175
    Embraer ERJ-190
    Embraer ERJ-195
    F-18
    Gulfstream G350
    Gulfstream G450
    Gulfstream G500
    Gulfstream G550
    Gulfstream G650
    Gulfstream GIV_X
    Gulfstream GV
    Hafei Y-12
    Hawker Horizon
    Hawker 450
    Pilatus PC-12 NG
    Spectrum S-40
    Viking Twin Otter
    Agusta AB139Airbus 320
    Airbus 330
    Airbus 340
    Airbus 380
    Airbus 400M
    Boeing 757
    Boeing 777
    Boeing 787
    Bombardier Global Express
    C-5
    C-17
    C-130J
    Cessna Citation V
    Cessna Sovereign
    CV-22 Osprey
    Dassault F7X
    Dassault F900
    Dassault F2000
    Embraer ERJ-170
    Embraer ERJ-175
    Embraer ERJ-190
    Embraer ERJ-195
    F-18
    Gulfstream G350
    Gulfstream G450
    Gulfstream G500
    Gulfstream G550
    Gulfstream G650
    Gulfstream GIV_X
    Gulfstream GV
    Hafei Y-12
    Hawker Horizon
    Hawker 450
    Pilatus PC-12 NG
    Spectrum S-40
    Viking Twin Otter
    Agusta AB139
    Airbus 320
    Airbus 330
    Airbus 340
    Airbus 380
    Airbus 400M
    Boeing 757
    Boeing 777
    Boeing 787
    Bombardier Global Express
    C-5
    C-17
    C-130J
    Cessna Citation V
    Cessna Sovereign
    CV-22 Osprey
    Dassault F7X
    Dassault F900
    Dassault F2000
    Embraer ERJ-170
    Embraer ERJ-175
    Embraer ERJ-190
    Embraer ERJ-195
    F-18
    Gulfstream G350
    Gulfstream G450
    Gulfstream G500
    Gulfstream G550
    Gulfstream G650
    Gulfstream GIV_X
    Gulfstream GV
    Hafei Y-12
    Hawker Horizon
    Hawker 450
    Pilatus PC-12 NG
    Spectrum S-40
    Viking Twin Otter
    Agusta AB139
    Airbus 320
    Airbus 330
    Airbus 340
    Airbus 380
    Airbus 400M
    Boeing 757
    Boeing 777
    Boeing 787
    Bombardier Global Express
    C-5
    C-17
    C-130J
    Cessna Citation V
    Cessna Sovereign
    CV-22 Osprey
    Dassault F7X
    Dassault F900
    Dassault F2000
    Embraer ERJ-170
    Embraer ERJ-175
    Embraer ERJ-190
    Embraer ERJ-195
    F-18
    Gulfstream G350
    Gulfstream G450
    Gulfstream G500
    Gulfstream G550
    Gulfstream G650
    Gulfstream GIV_X
    Gulfstream GV
    Hafei Y-12
    Hawker Horizon
    Hawker 450
    Pilatus PC-12 NG
    Spectrum S-40
    Viking Twin Otter
    Agusta AB139
    Airbus 320
    Airbus 330
    Airbus 340
    Airbus 380
    Airbus 400M
    Boeing 757
    Boeing 777
    Boeing 787
    Bombardier Global Express
    C-5
    C-17
    C-130J
    Cessna Citation V
    Cessna Sovereign
    CV-22 Osprey
    Dassault F7X
    Dassault F900
    Dassault F2000
    Embraer ERJ-170
    Embraer ERJ-175
    Embraer ERJ-190
    Embraer ERJ-195
    F-18
    Gulfstream G350
    Gulfstream G450
    Gulfstream G500
    Gulfstream G550
    Gulfstream G650
    Gulfstream GIV_X
    Gulfstream GV
    Hafei Y-12
    Hawker Horizon
    Hawker 450
    Pilatus PC-12 NG
    Spectrum S-40
    Viking Twin Otter