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