SlideShare a Scribd company logo
3
Most read
1 
VISIUM™ GR6 
Ivan Ellis 
©2014 Rolls-Royce Controls and Data Services Limited 
The information in this document is the property of Rolls-Royce Controls and Data Services Limited and may not be communicated to a third party or 
used for any purpose other than that for which it is supplied, without the express written consent of Rolls-Royce Controls and Data Services Limited 
©2014 Rolls-Royce Controls and Data Services Limited 
Information proprietary to Rolls-Royce Controls and Data Services Limited
Agenda 
2 
• Background 
• Challenges 
• VISIUM™ GR Processor History 
• VISIUM™ GR5 & GR6 
• Involvement with AdaCore 
©2014 Rolls-Royce Controls and Data Services Limited 
Information proprietary to Rolls-Royce Controls and Data Services Limited
Background 
3 
• Controls and Data Services (CDS) designs and manufactures a range of 
products for the aerospace gas turbine market 
– Fuel Systems 
• Pumps 
• Metering Units 
• Actuators 
– Electronics 
• Electronic Engine Controllers (FADEC) 
– Software 
• RTCA DO-178B (and now C) 
©2014 Rolls-Royce Controls and Data Services Limited 
Information proprietary to Rolls-Royce Controls and Data Services Limited
Challenges 
4 
• Aerospace electronic engine controls has several challenges 
– Environment 
• Ambient temperature range, -54˚C to +85˚C (or greater) 
• Moisture and Dust 
• Lightning 
• Vibration 
– Obsolescence 
• Products require supporting for 20 years or more 
©2014 Rolls-Royce Controls and Data Services Limited 
Information proprietary to Rolls-Royce Controls and Data Services Limited
VISIUM™ GR Processor History 
5 
• First VISIUM™ GR design started in 1997 
– Processor for a number of applications running a proprietary language 
– Processor implemented in ASIC technology 
• Separately packaged processor, RAM, PROM etc. on printed circuit board (PCB) 
• Ada support developed in 2002 for 2003 VISIUM™ GR application 
– In-house toolchain based on GNAT 3.4.4 
• First Multi-Chip-Module design, VISIUM™ GR5, started in 2005 
– RTCA DO-254 Level A compliant design processes 
©2014 Rolls-Royce Controls and Data Services Limited 
Information proprietary to Rolls-Royce Controls and Data Services Limited
VISIUM™ GR5 & GR6 
6 
• Multi-Chip Module design 
– Integrates all computing elements 
into a single package 
• Reduces PCB area 
– Physically robust 
• Vibration 
• Temperature 
• Atmosphere 
– Improved obsolescence management 
• But GR6 now needed 
– Many GR5 components now obsolete 
– Increased computing performance 
• GR6 will replace GR5 in current 
applications 
©2014 Rolls-Royce Controls and Data Services Limited 
Information proprietary to Rolls-Royce Controls and Data Services Limited
Involvement with AdaCore 
7 
• Self-supporting a compiler can have many issues: 
– High reliance on key individuals 
– Limited knowledge outside specific areas of compiler design 
– Long response time to problems 
– Difficult to manage toolchain updates 
• CDS has selected AdaCore to provide GNAT Pro with support for VISIUM™ 
GR5 and GR6 targets 
• Further information on CDS is available at http://www.controlsdata.com/ 
©2014 Rolls-Royce Controls and Data Services Limited 
Information proprietary to Rolls-Royce Controls and Data Services Limited

More Related Content

PDF
Drone forensics
PPTX
Predictive maintenance
PPTX
Computer Forensic Softwares
PDF
JARUS WG 4/6 Meeting: T Martin, Z Huang, A McFadyen, “Airspace Risk Managemen...
PPTX
GNAT Pro User Day: Ada 2012, Ravenscar and SPARK running on an Atmel ARM M4 (...
PDF
GNAT Pro User Day: AdaCore Insights
PPTX
GNAT Pro User Day: Latest Advances in AdaCore Static Analysis Tools
PPTX
GNAT Pro User Day: QGen: Simulink® static verification and code generation
Drone forensics
Predictive maintenance
Computer Forensic Softwares
JARUS WG 4/6 Meeting: T Martin, Z Huang, A McFadyen, “Airspace Risk Managemen...
GNAT Pro User Day: Ada 2012, Ravenscar and SPARK running on an Atmel ARM M4 (...
GNAT Pro User Day: AdaCore Insights
GNAT Pro User Day: Latest Advances in AdaCore Static Analysis Tools
GNAT Pro User Day: QGen: Simulink® static verification and code generation

Viewers also liked (12)

PPTX
GNAT Pro User Day: AdaCore University
PDF
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Devel...
PPTX
GNAT Pro User Day: Ada Factory
PDF
GNAT Pro User Day: New and Upcoming Developments in the AdaCore Technology
PDF
GNAT Pro User Day: Ada at Ansaldo STS
PPTX
GNAT Pro User Day: GNATdoc: Automatic Documentation Generator
PDF
GNAT Pro User Day: GNATdashboard - Tracking and Improving Software Quality
PPTX
Ada 2012
PDF
Digital marketing — an overview
PDF
Working With Big Data
PDF
Visual Design with Data
PDF
Build Features, Not Apps
GNAT Pro User Day: AdaCore University
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Devel...
GNAT Pro User Day: Ada Factory
GNAT Pro User Day: New and Upcoming Developments in the AdaCore Technology
GNAT Pro User Day: Ada at Ansaldo STS
GNAT Pro User Day: GNATdoc: Automatic Documentation Generator
GNAT Pro User Day: GNATdashboard - Tracking and Improving Software Quality
Ada 2012
Digital marketing — an overview
Working With Big Data
Visual Design with Data
Build Features, Not Apps
Ad

More from AdaCore (20)

PDF
RCA OCORA: Safe Computing Platform using open standards
PDF
Have we a Human Ecosystem?
PDF
Rust and the coming age of high integrity languages
PDF
SPARKNaCl: A verified, fast cryptographic library
PDF
Developing Future High Integrity Processing Solutions
PDF
Taming event-driven software via formal verification
PDF
Pushing the Boundary of Mostly Automatic Program Proof
PDF
RCA OCORA: Safe Computing Platform using open standards
PDF
Product Lines and Ecosystems: from customization to configuration
PDF
Securing the Future of Safety and Security of Embedded Software
PDF
Spark / Ada for Safe and Secure Firmware Development
PDF
Introducing the HICLASS Research Programme - Enabling Development of Complex ...
PDF
The Future of Aerospace – More Software Please!
PDF
Adaptive AUTOSAR - The New AUTOSAR Architecture
PDF
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...
PDF
Software Engineering for Robotics - The RoboStar Technology
PDF
MISRA C in an ISO 26262 context
PPTX
Application of theorem proving for safety-critical vehicle software
PDF
The Application of Formal Methods to Railway Signalling Software
PDF
Bounded Model Checking for C Programs in an Enterprise Environment
RCA OCORA: Safe Computing Platform using open standards
Have we a Human Ecosystem?
Rust and the coming age of high integrity languages
SPARKNaCl: A verified, fast cryptographic library
Developing Future High Integrity Processing Solutions
Taming event-driven software via formal verification
Pushing the Boundary of Mostly Automatic Program Proof
RCA OCORA: Safe Computing Platform using open standards
Product Lines and Ecosystems: from customization to configuration
Securing the Future of Safety and Security of Embedded Software
Spark / Ada for Safe and Secure Firmware Development
Introducing the HICLASS Research Programme - Enabling Development of Complex ...
The Future of Aerospace – More Software Please!
Adaptive AUTOSAR - The New AUTOSAR Architecture
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...
Software Engineering for Robotics - The RoboStar Technology
MISRA C in an ISO 26262 context
Application of theorem proving for safety-critical vehicle software
The Application of Formal Methods to Railway Signalling Software
Bounded Model Checking for C Programs in an Enterprise Environment
Ad

Recently uploaded (20)

PDF
Advanced methodologies resolving dimensionality complications for autism neur...
PDF
Blue Purple Modern Animated Computer Science Presentation.pdf.pdf
PDF
Agricultural_Statistics_at_a_Glance_2022_0.pdf
PDF
Empathic Computing: Creating Shared Understanding
PDF
Peak of Data & AI Encore- AI for Metadata and Smarter Workflows
PDF
Mobile App Security Testing_ A Comprehensive Guide.pdf
PDF
Unlocking AI with Model Context Protocol (MCP)
PPTX
sap open course for s4hana steps from ECC to s4
PDF
Approach and Philosophy of On baking technology
PDF
Reach Out and Touch Someone: Haptics and Empathic Computing
PPTX
Programs and apps: productivity, graphics, security and other tools
PDF
Chapter 3 Spatial Domain Image Processing.pdf
PDF
MIND Revenue Release Quarter 2 2025 Press Release
PDF
7 ChatGPT Prompts to Help You Define Your Ideal Customer Profile.pdf
PPTX
Digital-Transformation-Roadmap-for-Companies.pptx
PPTX
VMware vSphere Foundation How to Sell Presentation-Ver1.4-2-14-2024.pptx
PDF
Diabetes mellitus diagnosis method based random forest with bat algorithm
PPT
Teaching material agriculture food technology
PPTX
Understanding_Digital_Forensics_Presentation.pptx
PDF
Encapsulation_ Review paper, used for researhc scholars
Advanced methodologies resolving dimensionality complications for autism neur...
Blue Purple Modern Animated Computer Science Presentation.pdf.pdf
Agricultural_Statistics_at_a_Glance_2022_0.pdf
Empathic Computing: Creating Shared Understanding
Peak of Data & AI Encore- AI for Metadata and Smarter Workflows
Mobile App Security Testing_ A Comprehensive Guide.pdf
Unlocking AI with Model Context Protocol (MCP)
sap open course for s4hana steps from ECC to s4
Approach and Philosophy of On baking technology
Reach Out and Touch Someone: Haptics and Empathic Computing
Programs and apps: productivity, graphics, security and other tools
Chapter 3 Spatial Domain Image Processing.pdf
MIND Revenue Release Quarter 2 2025 Press Release
7 ChatGPT Prompts to Help You Define Your Ideal Customer Profile.pdf
Digital-Transformation-Roadmap-for-Companies.pptx
VMware vSphere Foundation How to Sell Presentation-Ver1.4-2-14-2024.pptx
Diabetes mellitus diagnosis method based random forest with bat algorithm
Teaching material agriculture food technology
Understanding_Digital_Forensics_Presentation.pptx
Encapsulation_ Review paper, used for researhc scholars

GNAT Pro User Day: VISIUM™ and Ada

  • 1. 1 VISIUM™ GR6 Ivan Ellis ©2014 Rolls-Royce Controls and Data Services Limited The information in this document is the property of Rolls-Royce Controls and Data Services Limited and may not be communicated to a third party or used for any purpose other than that for which it is supplied, without the express written consent of Rolls-Royce Controls and Data Services Limited ©2014 Rolls-Royce Controls and Data Services Limited Information proprietary to Rolls-Royce Controls and Data Services Limited
  • 2. Agenda 2 • Background • Challenges • VISIUM™ GR Processor History • VISIUM™ GR5 & GR6 • Involvement with AdaCore ©2014 Rolls-Royce Controls and Data Services Limited Information proprietary to Rolls-Royce Controls and Data Services Limited
  • 3. Background 3 • Controls and Data Services (CDS) designs and manufactures a range of products for the aerospace gas turbine market – Fuel Systems • Pumps • Metering Units • Actuators – Electronics • Electronic Engine Controllers (FADEC) – Software • RTCA DO-178B (and now C) ©2014 Rolls-Royce Controls and Data Services Limited Information proprietary to Rolls-Royce Controls and Data Services Limited
  • 4. Challenges 4 • Aerospace electronic engine controls has several challenges – Environment • Ambient temperature range, -54˚C to +85˚C (or greater) • Moisture and Dust • Lightning • Vibration – Obsolescence • Products require supporting for 20 years or more ©2014 Rolls-Royce Controls and Data Services Limited Information proprietary to Rolls-Royce Controls and Data Services Limited
  • 5. VISIUM™ GR Processor History 5 • First VISIUM™ GR design started in 1997 – Processor for a number of applications running a proprietary language – Processor implemented in ASIC technology • Separately packaged processor, RAM, PROM etc. on printed circuit board (PCB) • Ada support developed in 2002 for 2003 VISIUM™ GR application – In-house toolchain based on GNAT 3.4.4 • First Multi-Chip-Module design, VISIUM™ GR5, started in 2005 – RTCA DO-254 Level A compliant design processes ©2014 Rolls-Royce Controls and Data Services Limited Information proprietary to Rolls-Royce Controls and Data Services Limited
  • 6. VISIUM™ GR5 & GR6 6 • Multi-Chip Module design – Integrates all computing elements into a single package • Reduces PCB area – Physically robust • Vibration • Temperature • Atmosphere – Improved obsolescence management • But GR6 now needed – Many GR5 components now obsolete – Increased computing performance • GR6 will replace GR5 in current applications ©2014 Rolls-Royce Controls and Data Services Limited Information proprietary to Rolls-Royce Controls and Data Services Limited
  • 7. Involvement with AdaCore 7 • Self-supporting a compiler can have many issues: – High reliance on key individuals – Limited knowledge outside specific areas of compiler design – Long response time to problems – Difficult to manage toolchain updates • CDS has selected AdaCore to provide GNAT Pro with support for VISIUM™ GR5 and GR6 targets • Further information on CDS is available at http://www.controlsdata.com/ ©2014 Rolls-Royce Controls and Data Services Limited Information proprietary to Rolls-Royce Controls and Data Services Limited