SlideShare a Scribd company logo
1 of 7
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

What's hot

Sci scada toolbox
Sci scada toolboxSci scada toolbox
Sci scada toolboxAwesomejk
 
OpenStack State of Fibre Channel
OpenStack State of Fibre ChannelOpenStack State of Fibre Channel
OpenStack State of Fibre Channelhemna6969
 
Process Unit Module Automation - Leveraging concepts from ISA106
Process Unit Module Automation - Leveraging concepts from ISA106Process Unit Module Automation - Leveraging concepts from ISA106
Process Unit Module Automation - Leveraging concepts from ISA106Abdul Susnerwala, P.Eng, CFSP, CAP
 
PLNOG 13: B. van der Sloot, S. Abdel-Hafez: Running a 2 Tbps global IP networ...
PLNOG 13: B. van der Sloot, S. Abdel-Hafez: Running a 2 Tbps global IP networ...PLNOG 13: B. van der Sloot, S. Abdel-Hafez: Running a 2 Tbps global IP networ...
PLNOG 13: B. van der Sloot, S. Abdel-Hafez: Running a 2 Tbps global IP networ...PROIDEA
 
IMDEX and Innovation
IMDEX and InnovationIMDEX and Innovation
IMDEX and InnovationIMDEX Limited
 
Data on the move a RISC-V opportunity
Data on the move   a RISC-V opportunityData on the move   a RISC-V opportunity
Data on the move a RISC-V opportunityRISC-V International
 
Applying Hyper-scale Design Patterns to Routing
Applying Hyper-scale Design Patterns to RoutingApplying Hyper-scale Design Patterns to Routing
Applying Hyper-scale Design Patterns to RoutingHannes Gredler
 
Catalogs - Turning a Set of Parquet Files into a Data Set
Catalogs - Turning a Set of Parquet Files into a Data SetCatalogs - Turning a Set of Parquet Files into a Data Set
Catalogs - Turning a Set of Parquet Files into a Data SetInfluxData
 
Vasilis Papavasiliou [Mist.io] | Integrating Telegraf, InfluxDB and Mist to M...
Vasilis Papavasiliou [Mist.io] | Integrating Telegraf, InfluxDB and Mist to M...Vasilis Papavasiliou [Mist.io] | Integrating Telegraf, InfluxDB and Mist to M...
Vasilis Papavasiliou [Mist.io] | Integrating Telegraf, InfluxDB and Mist to M...InfluxData
 
Kapacitor Stream Processing
Kapacitor Stream ProcessingKapacitor Stream Processing
Kapacitor Stream ProcessingInfluxData
 
Paul Dix [InfluxData] | InfluxDays Opening Keynote | InfluxDays Virtual Exper...
Paul Dix [InfluxData] | InfluxDays Opening Keynote | InfluxDays Virtual Exper...Paul Dix [InfluxData] | InfluxDays Opening Keynote | InfluxDays Virtual Exper...
Paul Dix [InfluxData] | InfluxDays Opening Keynote | InfluxDays Virtual Exper...InfluxData
 
High Integrity Solutions 2
High Integrity Solutions 2High Integrity Solutions 2
High Integrity Solutions 2David Harper
 
Brandon Farmer [InfluxData] | Tools for Working with Flux Now and in the Futu...
Brandon Farmer [InfluxData] | Tools for Working with Flux Now and in the Futu...Brandon Farmer [InfluxData] | Tools for Working with Flux Now and in the Futu...
Brandon Farmer [InfluxData] | Tools for Working with Flux Now and in the Futu...InfluxData
 
How to Create a Modern IIoT Monitoring Solution On iOS Using Swift, MQTT and ...
How to Create a Modern IIoT Monitoring Solution On iOS Using Swift, MQTT and ...How to Create a Modern IIoT Monitoring Solution On iOS Using Swift, MQTT and ...
How to Create a Modern IIoT Monitoring Solution On iOS Using Swift, MQTT and ...InfluxData
 
InfluxDB Cloud Product Update
InfluxDB Cloud Product Update InfluxDB Cloud Product Update
InfluxDB Cloud Product Update InfluxData
 
Tobias Braun [Herrenknecht AG] | Going Underground with InfluxDB | InfluxDays...
Tobias Braun [Herrenknecht AG] | Going Underground with InfluxDB | InfluxDays...Tobias Braun [Herrenknecht AG] | Going Underground with InfluxDB | InfluxDays...
Tobias Braun [Herrenknecht AG] | Going Underground with InfluxDB | InfluxDays...InfluxData
 
IPv6 in the EE Network
IPv6 in the EE NetworkIPv6 in the EE Network
IPv6 in the EE NetworkOliver Müller
 
PLAZMA TD Tech Talk 2018 at Shibuya: Hive2 as a new td hadoop core engine
PLAZMA TD Tech Talk 2018 at Shibuya: Hive2 as a new td hadoop core enginePLAZMA TD Tech Talk 2018 at Shibuya: Hive2 as a new td hadoop core engine
PLAZMA TD Tech Talk 2018 at Shibuya: Hive2 as a new td hadoop core engineRyu Kobayashi
 
Andy Charlton [InfluxData] | Managing Your Dashboards, Tasks and Alerts Made ...
Andy Charlton [InfluxData] | Managing Your Dashboards, Tasks and Alerts Made ...Andy Charlton [InfluxData] | Managing Your Dashboards, Tasks and Alerts Made ...
Andy Charlton [InfluxData] | Managing Your Dashboards, Tasks and Alerts Made ...InfluxData
 

What's hot (20)

Sci scada toolbox
Sci scada toolboxSci scada toolbox
Sci scada toolbox
 
OpenStack State of Fibre Channel
OpenStack State of Fibre ChannelOpenStack State of Fibre Channel
OpenStack State of Fibre Channel
 
Process Unit Module Automation - Leveraging concepts from ISA106
Process Unit Module Automation - Leveraging concepts from ISA106Process Unit Module Automation - Leveraging concepts from ISA106
Process Unit Module Automation - Leveraging concepts from ISA106
 
PLNOG 13: B. van der Sloot, S. Abdel-Hafez: Running a 2 Tbps global IP networ...
PLNOG 13: B. van der Sloot, S. Abdel-Hafez: Running a 2 Tbps global IP networ...PLNOG 13: B. van der Sloot, S. Abdel-Hafez: Running a 2 Tbps global IP networ...
PLNOG 13: B. van der Sloot, S. Abdel-Hafez: Running a 2 Tbps global IP networ...
 
IMDEX and Innovation
IMDEX and InnovationIMDEX and Innovation
IMDEX and Innovation
 
Data on the move a RISC-V opportunity
Data on the move   a RISC-V opportunityData on the move   a RISC-V opportunity
Data on the move a RISC-V opportunity
 
Applying Hyper-scale Design Patterns to Routing
Applying Hyper-scale Design Patterns to RoutingApplying Hyper-scale Design Patterns to Routing
Applying Hyper-scale Design Patterns to Routing
 
Catalogs - Turning a Set of Parquet Files into a Data Set
Catalogs - Turning a Set of Parquet Files into a Data SetCatalogs - Turning a Set of Parquet Files into a Data Set
Catalogs - Turning a Set of Parquet Files into a Data Set
 
Vasilis Papavasiliou [Mist.io] | Integrating Telegraf, InfluxDB and Mist to M...
Vasilis Papavasiliou [Mist.io] | Integrating Telegraf, InfluxDB and Mist to M...Vasilis Papavasiliou [Mist.io] | Integrating Telegraf, InfluxDB and Mist to M...
Vasilis Papavasiliou [Mist.io] | Integrating Telegraf, InfluxDB and Mist to M...
 
Kapacitor Stream Processing
Kapacitor Stream ProcessingKapacitor Stream Processing
Kapacitor Stream Processing
 
Paul Dix [InfluxData] | InfluxDays Opening Keynote | InfluxDays Virtual Exper...
Paul Dix [InfluxData] | InfluxDays Opening Keynote | InfluxDays Virtual Exper...Paul Dix [InfluxData] | InfluxDays Opening Keynote | InfluxDays Virtual Exper...
Paul Dix [InfluxData] | InfluxDays Opening Keynote | InfluxDays Virtual Exper...
 
High Integrity Solutions 2
High Integrity Solutions 2High Integrity Solutions 2
High Integrity Solutions 2
 
Brandon Farmer [InfluxData] | Tools for Working with Flux Now and in the Futu...
Brandon Farmer [InfluxData] | Tools for Working with Flux Now and in the Futu...Brandon Farmer [InfluxData] | Tools for Working with Flux Now and in the Futu...
Brandon Farmer [InfluxData] | Tools for Working with Flux Now and in the Futu...
 
How to Create a Modern IIoT Monitoring Solution On iOS Using Swift, MQTT and ...
How to Create a Modern IIoT Monitoring Solution On iOS Using Swift, MQTT and ...How to Create a Modern IIoT Monitoring Solution On iOS Using Swift, MQTT and ...
How to Create a Modern IIoT Monitoring Solution On iOS Using Swift, MQTT and ...
 
Valarie Hines: 2013 Sandia National Laboratoies Wind Plant Reliability Workshop
Valarie Hines: 2013 Sandia National Laboratoies Wind Plant Reliability WorkshopValarie Hines: 2013 Sandia National Laboratoies Wind Plant Reliability Workshop
Valarie Hines: 2013 Sandia National Laboratoies Wind Plant Reliability Workshop
 
InfluxDB Cloud Product Update
InfluxDB Cloud Product Update InfluxDB Cloud Product Update
InfluxDB Cloud Product Update
 
Tobias Braun [Herrenknecht AG] | Going Underground with InfluxDB | InfluxDays...
Tobias Braun [Herrenknecht AG] | Going Underground with InfluxDB | InfluxDays...Tobias Braun [Herrenknecht AG] | Going Underground with InfluxDB | InfluxDays...
Tobias Braun [Herrenknecht AG] | Going Underground with InfluxDB | InfluxDays...
 
IPv6 in the EE Network
IPv6 in the EE NetworkIPv6 in the EE Network
IPv6 in the EE Network
 
PLAZMA TD Tech Talk 2018 at Shibuya: Hive2 as a new td hadoop core engine
PLAZMA TD Tech Talk 2018 at Shibuya: Hive2 as a new td hadoop core enginePLAZMA TD Tech Talk 2018 at Shibuya: Hive2 as a new td hadoop core engine
PLAZMA TD Tech Talk 2018 at Shibuya: Hive2 as a new td hadoop core engine
 
Andy Charlton [InfluxData] | Managing Your Dashboards, Tasks and Alerts Made ...
Andy Charlton [InfluxData] | Managing Your Dashboards, Tasks and Alerts Made ...Andy Charlton [InfluxData] | Managing Your Dashboards, Tasks and Alerts Made ...
Andy Charlton [InfluxData] | Managing Your Dashboards, Tasks and Alerts Made ...
 

Viewers also liked

GNAT Pro User Day: Ada 2012, Ravenscar and SPARK running on an Atmel ARM M4 (...
GNAT Pro User Day: Ada 2012, Ravenscar and SPARK running on an Atmel ARM M4 (...GNAT Pro User Day: Ada 2012, Ravenscar and SPARK running on an Atmel ARM M4 (...
GNAT Pro User Day: Ada 2012, Ravenscar and SPARK running on an Atmel ARM M4 (...AdaCore
 
GNAT Pro User Day: AdaCore Insights
GNAT Pro User Day: AdaCore InsightsGNAT Pro User Day: AdaCore Insights
GNAT Pro User Day: AdaCore InsightsAdaCore
 
GNAT Pro User Day: Latest Advances in AdaCore Static Analysis Tools
GNAT Pro User Day: Latest Advances in AdaCore Static Analysis ToolsGNAT Pro User Day: Latest Advances in AdaCore Static Analysis Tools
GNAT Pro User Day: Latest Advances in AdaCore Static Analysis ToolsAdaCore
 
GNAT Pro User Day: QGen: Simulink® static verification and code generation
GNAT Pro User Day: QGen: Simulink® static verification and code generationGNAT Pro User Day: QGen: Simulink® static verification and code generation
GNAT Pro User Day: QGen: Simulink® static verification and code generationAdaCore
 
GNAT Pro User Day: AdaCore University
GNAT Pro User Day: AdaCore UniversityGNAT Pro User Day: AdaCore University
GNAT Pro User Day: AdaCore UniversityAdaCore
 
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Devel...
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Devel...GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Devel...
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Devel...AdaCore
 
GNAT Pro User Day: Ada Factory
GNAT Pro User Day: Ada FactoryGNAT Pro User Day: Ada Factory
GNAT Pro User Day: Ada FactoryAdaCore
 
GNAT Pro User Day: New and Upcoming Developments in the AdaCore Technology
GNAT Pro User Day: New and Upcoming Developments in the AdaCore TechnologyGNAT Pro User Day: New and Upcoming Developments in the AdaCore Technology
GNAT Pro User Day: New and Upcoming Developments in the AdaCore TechnologyAdaCore
 
GNAT Pro User Day: Ada at Ansaldo STS
GNAT Pro User Day: Ada at Ansaldo STSGNAT Pro User Day: Ada at Ansaldo STS
GNAT Pro User Day: Ada at Ansaldo STSAdaCore
 
GNAT Pro User Day: GNATdoc: Automatic Documentation Generator
GNAT Pro User Day: GNATdoc: Automatic Documentation GeneratorGNAT Pro User Day: GNATdoc: Automatic Documentation Generator
GNAT Pro User Day: GNATdoc: Automatic Documentation GeneratorAdaCore
 
GNAT Pro User Day: GNATdashboard - Tracking and Improving Software Quality
GNAT Pro User Day: GNATdashboard - Tracking and Improving Software QualityGNAT Pro User Day: GNATdashboard - Tracking and Improving Software Quality
GNAT Pro User Day: GNATdashboard - Tracking and Improving Software QualityAdaCore
 
Ada 2012
Ada 2012Ada 2012
Ada 2012AdaCore
 
Digital marketing — an overview
Digital marketing — an overviewDigital marketing — an overview
Digital marketing — an overviewSeth Familian
 
Working With Big Data
Working With Big DataWorking With Big Data
Working With Big DataSeth Familian
 
Visual Design with Data
Visual Design with DataVisual Design with Data
Visual Design with DataSeth Familian
 

Viewers also liked (16)

GNAT Pro User Day: Ada 2012, Ravenscar and SPARK running on an Atmel ARM M4 (...
GNAT Pro User Day: Ada 2012, Ravenscar and SPARK running on an Atmel ARM M4 (...GNAT Pro User Day: Ada 2012, Ravenscar and SPARK running on an Atmel ARM M4 (...
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: AdaCore InsightsGNAT Pro User Day: AdaCore Insights
GNAT Pro User Day: AdaCore Insights
 
GNAT Pro User Day: Latest Advances in AdaCore Static Analysis Tools
GNAT Pro User Day: Latest Advances in AdaCore Static Analysis ToolsGNAT Pro User Day: Latest Advances in AdaCore Static Analysis Tools
GNAT Pro User Day: Latest Advances in AdaCore Static Analysis Tools
 
GNAT Pro User Day: QGen: Simulink® static verification and code generation
GNAT Pro User Day: QGen: Simulink® static verification and code generationGNAT Pro User Day: QGen: Simulink® static verification and code generation
GNAT Pro User Day: QGen: Simulink® static verification and code generation
 
GNAT Pro User Day: AdaCore University
GNAT Pro User Day: AdaCore UniversityGNAT Pro User Day: AdaCore University
GNAT Pro User Day: AdaCore University
 
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Devel...
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Devel...GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Devel...
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Devel...
 
GNAT Pro User Day: Ada Factory
GNAT Pro User Day: Ada FactoryGNAT Pro User Day: Ada Factory
GNAT Pro User Day: Ada Factory
 
GNAT Pro User Day: New and Upcoming Developments in the AdaCore Technology
GNAT Pro User Day: New and Upcoming Developments in the AdaCore TechnologyGNAT Pro User Day: New and Upcoming Developments in the AdaCore Technology
GNAT Pro User Day: New and Upcoming Developments in the AdaCore Technology
 
GNAT Pro User Day: Ada at Ansaldo STS
GNAT Pro User Day: Ada at Ansaldo STSGNAT Pro User Day: Ada at Ansaldo STS
GNAT Pro User Day: Ada at Ansaldo STS
 
GNAT Pro User Day: GNATdoc: Automatic Documentation Generator
GNAT Pro User Day: GNATdoc: Automatic Documentation GeneratorGNAT Pro User Day: GNATdoc: Automatic Documentation Generator
GNAT Pro User Day: GNATdoc: Automatic Documentation Generator
 
GNAT Pro User Day: GNATdashboard - Tracking and Improving Software Quality
GNAT Pro User Day: GNATdashboard - Tracking and Improving Software QualityGNAT Pro User Day: GNATdashboard - Tracking and Improving Software Quality
GNAT Pro User Day: GNATdashboard - Tracking and Improving Software Quality
 
Ada 2012
Ada 2012Ada 2012
Ada 2012
 
Digital marketing — an overview
Digital marketing — an overviewDigital marketing — an overview
Digital marketing — an overview
 
Working With Big Data
Working With Big DataWorking With Big Data
Working With Big Data
 
Visual Design with Data
Visual Design with DataVisual Design with Data
Visual Design with Data
 
Build Features, Not Apps
Build Features, Not AppsBuild Features, Not Apps
Build Features, Not Apps
 

Similar to GNAT Pro User Day: VISIUM™ and Ada

HIS 2015: Ivan Ellis - VISIUMCORE A High Integrity Processor for Safety Criti...
HIS 2015: Ivan Ellis - VISIUMCORE A High Integrity Processor for Safety Criti...HIS 2015: Ivan Ellis - VISIUMCORE A High Integrity Processor for Safety Criti...
HIS 2015: Ivan Ellis - VISIUMCORE A High Integrity Processor for Safety Criti...AdaCore
 
About NetProject (brief profile)
About NetProject (brief profile)About NetProject (brief profile)
About NetProject (brief profile)Vsevolod Shabad
 
Top 5 Reasons To Consider SolarWinds IPAM Over Infoblox
Top 5 Reasons To Consider SolarWinds IPAM Over InfobloxTop 5 Reasons To Consider SolarWinds IPAM Over Infoblox
Top 5 Reasons To Consider SolarWinds IPAM Over InfobloxSolarWinds
 
TCUK 2013 - Roll-Royce - Common Technical Data
TCUK 2013 - Roll-Royce - Common Technical DataTCUK 2013 - Roll-Royce - Common Technical Data
TCUK 2013 - Roll-Royce - Common Technical DataTCUK Conference
 
Generic Vehicle Architecture – DDS at the Core.
Generic Vehicle Architecture – DDS at the Core.Generic Vehicle Architecture – DDS at the Core.
Generic Vehicle Architecture – DDS at the Core.Real-Time Innovations (RTI)
 
AppSphere 15 - Performance and Scalability Optimizations - Xerox Government H...
AppSphere 15 - Performance and Scalability Optimizations - Xerox Government H...AppSphere 15 - Performance and Scalability Optimizations - Xerox Government H...
AppSphere 15 - Performance and Scalability Optimizations - Xerox Government H...AppDynamics
 
Future SEAD Developments: Delivering Air Superiority in Contested Environments
Future SEAD Developments: Delivering Air Superiority in Contested EnvironmentsFuture SEAD Developments: Delivering Air Superiority in Contested Environments
Future SEAD Developments: Delivering Air Superiority in Contested EnvironmentsLeonardo
 
NEW SMC Overview 2015 r2
NEW SMC Overview 2015 r2NEW SMC Overview 2015 r2
NEW SMC Overview 2015 r2Sammie S.C Sam
 
Hardware and software requirements for gis
Hardware and software requirements for gisHardware and software requirements for gis
Hardware and software requirements for gisSumant Diwakar
 
Postgres for the Future
Postgres for the FuturePostgres for the Future
Postgres for the FutureEDB
 
IMGS 2015 - Transport for London - Alun Pearsey
IMGS 2015 - Transport for London - Alun PearseyIMGS 2015 - Transport for London - Alun Pearsey
IMGS 2015 - Transport for London - Alun PearseyIMGS
 
RCA OCORA: Safe Computing Platform using open standards
RCA OCORA: Safe Computing Platform using open standardsRCA OCORA: Safe Computing Platform using open standards
RCA OCORA: Safe Computing Platform using open standardsAdaCore
 
Row #9: An architecture overview of APNIC's RDAP deployment to the cloud
Row #9: An architecture overview of APNIC's RDAP deployment to the cloudRow #9: An architecture overview of APNIC's RDAP deployment to the cloud
Row #9: An architecture overview of APNIC's RDAP deployment to the cloudAPNIC
 
Sierra Monitor Corp overview 2015.r1
Sierra Monitor Corp overview 2015.r1Sierra Monitor Corp overview 2015.r1
Sierra Monitor Corp overview 2015.r1Eric W Dunn
 
The FleetBoard Solution and the Case for OSGi Technology - Hendrik Höfer, Mic...
The FleetBoard Solution and the Case for OSGi Technology - Hendrik Höfer, Mic...The FleetBoard Solution and the Case for OSGi Technology - Hendrik Höfer, Mic...
The FleetBoard Solution and the Case for OSGi Technology - Hendrik Höfer, Mic...mfrancis
 
Applying MBSE to the Industrial IoT: Using SysML with Connext DDS and Simulink
Applying MBSE to the Industrial IoT: Using SysML with Connext DDS and SimulinkApplying MBSE to the Industrial IoT: Using SysML with Connext DDS and Simulink
Applying MBSE to the Industrial IoT: Using SysML with Connext DDS and SimulinkGerardo Pardo-Castellote
 
SolarWinds Federal Webinar: Technical Update & New Feature Demo May 16, 2017
SolarWinds Federal Webinar: Technical Update & New Feature Demo May 16, 2017SolarWinds Federal Webinar: Technical Update & New Feature Demo May 16, 2017
SolarWinds Federal Webinar: Technical Update & New Feature Demo May 16, 2017SolarWinds
 
Developing Future High Integrity Processing Solutions
Developing Future High Integrity Processing SolutionsDeveloping Future High Integrity Processing Solutions
Developing Future High Integrity Processing SolutionsAdaCore
 
What's New in RTView Core 6.5
What's New in RTView Core 6.5 What's New in RTView Core 6.5
What's New in RTView Core 6.5 SL Corporation
 

Similar to GNAT Pro User Day: VISIUM™ and Ada (20)

HIS 2015: Ivan Ellis - VISIUMCORE A High Integrity Processor for Safety Criti...
HIS 2015: Ivan Ellis - VISIUMCORE A High Integrity Processor for Safety Criti...HIS 2015: Ivan Ellis - VISIUMCORE A High Integrity Processor for Safety Criti...
HIS 2015: Ivan Ellis - VISIUMCORE A High Integrity Processor for Safety Criti...
 
About NetProject (brief profile)
About NetProject (brief profile)About NetProject (brief profile)
About NetProject (brief profile)
 
Top 5 Reasons To Consider SolarWinds IPAM Over Infoblox
Top 5 Reasons To Consider SolarWinds IPAM Over InfobloxTop 5 Reasons To Consider SolarWinds IPAM Over Infoblox
Top 5 Reasons To Consider SolarWinds IPAM Over Infoblox
 
TCUK 2013 - Roll-Royce - Common Technical Data
TCUK 2013 - Roll-Royce - Common Technical DataTCUK 2013 - Roll-Royce - Common Technical Data
TCUK 2013 - Roll-Royce - Common Technical Data
 
Generic Vehicle Architecture – DDS at the Core.
Generic Vehicle Architecture – DDS at the Core.Generic Vehicle Architecture – DDS at the Core.
Generic Vehicle Architecture – DDS at the Core.
 
AppSphere 15 - Performance and Scalability Optimizations - Xerox Government H...
AppSphere 15 - Performance and Scalability Optimizations - Xerox Government H...AppSphere 15 - Performance and Scalability Optimizations - Xerox Government H...
AppSphere 15 - Performance and Scalability Optimizations - Xerox Government H...
 
Future SEAD Developments: Delivering Air Superiority in Contested Environments
Future SEAD Developments: Delivering Air Superiority in Contested EnvironmentsFuture SEAD Developments: Delivering Air Superiority in Contested Environments
Future SEAD Developments: Delivering Air Superiority in Contested Environments
 
NEW SMC Overview 2015 r2
NEW SMC Overview 2015 r2NEW SMC Overview 2015 r2
NEW SMC Overview 2015 r2
 
SMC Corporate Overview
SMC Corporate OverviewSMC Corporate Overview
SMC Corporate Overview
 
Hardware and software requirements for gis
Hardware and software requirements for gisHardware and software requirements for gis
Hardware and software requirements for gis
 
Postgres for the Future
Postgres for the FuturePostgres for the Future
Postgres for the Future
 
IMGS 2015 - Transport for London - Alun Pearsey
IMGS 2015 - Transport for London - Alun PearseyIMGS 2015 - Transport for London - Alun Pearsey
IMGS 2015 - Transport for London - Alun Pearsey
 
RCA OCORA: Safe Computing Platform using open standards
RCA OCORA: Safe Computing Platform using open standardsRCA OCORA: Safe Computing Platform using open standards
RCA OCORA: Safe Computing Platform using open standards
 
Row #9: An architecture overview of APNIC's RDAP deployment to the cloud
Row #9: An architecture overview of APNIC's RDAP deployment to the cloudRow #9: An architecture overview of APNIC's RDAP deployment to the cloud
Row #9: An architecture overview of APNIC's RDAP deployment to the cloud
 
Sierra Monitor Corp overview 2015.r1
Sierra Monitor Corp overview 2015.r1Sierra Monitor Corp overview 2015.r1
Sierra Monitor Corp overview 2015.r1
 
The FleetBoard Solution and the Case for OSGi Technology - Hendrik Höfer, Mic...
The FleetBoard Solution and the Case for OSGi Technology - Hendrik Höfer, Mic...The FleetBoard Solution and the Case for OSGi Technology - Hendrik Höfer, Mic...
The FleetBoard Solution and the Case for OSGi Technology - Hendrik Höfer, Mic...
 
Applying MBSE to the Industrial IoT: Using SysML with Connext DDS and Simulink
Applying MBSE to the Industrial IoT: Using SysML with Connext DDS and SimulinkApplying MBSE to the Industrial IoT: Using SysML with Connext DDS and Simulink
Applying MBSE to the Industrial IoT: Using SysML with Connext DDS and Simulink
 
SolarWinds Federal Webinar: Technical Update & New Feature Demo May 16, 2017
SolarWinds Federal Webinar: Technical Update & New Feature Demo May 16, 2017SolarWinds Federal Webinar: Technical Update & New Feature Demo May 16, 2017
SolarWinds Federal Webinar: Technical Update & New Feature Demo May 16, 2017
 
Developing Future High Integrity Processing Solutions
Developing Future High Integrity Processing SolutionsDeveloping Future High Integrity Processing Solutions
Developing Future High Integrity Processing Solutions
 
What's New in RTView Core 6.5
What's New in RTView Core 6.5 What's New in RTView Core 6.5
What's New in RTView Core 6.5
 

More from AdaCore

Have we a Human Ecosystem?
Have we a Human Ecosystem?Have we a Human Ecosystem?
Have we a Human Ecosystem?AdaCore
 
Rust and the coming age of high integrity languages
Rust and the coming age of high integrity languagesRust and the coming age of high integrity languages
Rust and the coming age of high integrity languagesAdaCore
 
SPARKNaCl: A verified, fast cryptographic library
SPARKNaCl: A verified, fast cryptographic librarySPARKNaCl: A verified, fast cryptographic library
SPARKNaCl: A verified, fast cryptographic libraryAdaCore
 
Taming event-driven software via formal verification
Taming event-driven software via formal verificationTaming event-driven software via formal verification
Taming event-driven software via formal verificationAdaCore
 
Pushing the Boundary of Mostly Automatic Program Proof
Pushing the Boundary of Mostly Automatic Program ProofPushing the Boundary of Mostly Automatic Program Proof
Pushing the Boundary of Mostly Automatic Program ProofAdaCore
 
RCA OCORA: Safe Computing Platform using open standards
RCA OCORA: Safe Computing Platform using open standardsRCA OCORA: Safe Computing Platform using open standards
RCA OCORA: Safe Computing Platform using open standardsAdaCore
 
Product Lines and Ecosystems: from customization to configuration
Product Lines and Ecosystems: from customization to configurationProduct Lines and Ecosystems: from customization to configuration
Product Lines and Ecosystems: from customization to configurationAdaCore
 
Securing the Future of Safety and Security of Embedded Software
Securing the Future of Safety and Security of Embedded SoftwareSecuring the Future of Safety and Security of Embedded Software
Securing the Future of Safety and Security of Embedded SoftwareAdaCore
 
Spark / Ada for Safe and Secure Firmware Development
Spark / Ada for Safe and Secure Firmware DevelopmentSpark / Ada for Safe and Secure Firmware Development
Spark / Ada for Safe and Secure Firmware DevelopmentAdaCore
 
Introducing the HICLASS Research Programme - Enabling Development of Complex ...
Introducing the HICLASS Research Programme - Enabling Development of Complex ...Introducing the HICLASS Research Programme - Enabling Development of Complex ...
Introducing the HICLASS Research Programme - Enabling Development of Complex ...AdaCore
 
The Future of Aerospace – More Software Please!
The Future of Aerospace – More Software Please!The Future of Aerospace – More Software Please!
The Future of Aerospace – More Software Please!AdaCore
 
Adaptive AUTOSAR - The New AUTOSAR Architecture
Adaptive AUTOSAR - The New AUTOSAR ArchitectureAdaptive AUTOSAR - The New AUTOSAR Architecture
Adaptive AUTOSAR - The New AUTOSAR ArchitectureAdaCore
 
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...AdaCore
 
Software Engineering for Robotics - The RoboStar Technology
Software Engineering for Robotics - The RoboStar TechnologySoftware Engineering for Robotics - The RoboStar Technology
Software Engineering for Robotics - The RoboStar TechnologyAdaCore
 
MISRA C in an ISO 26262 context
MISRA C in an ISO 26262 contextMISRA C in an ISO 26262 context
MISRA C in an ISO 26262 contextAdaCore
 
Application of theorem proving for safety-critical vehicle software
Application of theorem proving for safety-critical vehicle softwareApplication of theorem proving for safety-critical vehicle software
Application of theorem proving for safety-critical vehicle softwareAdaCore
 
The Application of Formal Methods to Railway Signalling Software
The Application of Formal Methods to Railway Signalling SoftwareThe Application of Formal Methods to Railway Signalling Software
The Application of Formal Methods to Railway Signalling SoftwareAdaCore
 
Bounded Model Checking for C Programs in an Enterprise Environment
Bounded Model Checking for C Programs in an Enterprise EnvironmentBounded Model Checking for C Programs in an Enterprise Environment
Bounded Model Checking for C Programs in an Enterprise EnvironmentAdaCore
 
Multi-Core (MC) Processor Qualification for Safety Critical Systems
Multi-Core (MC) Processor Qualification for Safety Critical SystemsMulti-Core (MC) Processor Qualification for Safety Critical Systems
Multi-Core (MC) Processor Qualification for Safety Critical SystemsAdaCore
 
Ada 202x A broad overview of relevant news
Ada 202x A broad overview of relevant newsAda 202x A broad overview of relevant news
Ada 202x A broad overview of relevant newsAdaCore
 

More from AdaCore (20)

Have we a Human Ecosystem?
Have we a Human Ecosystem?Have we a Human Ecosystem?
Have we a Human Ecosystem?
 
Rust and the coming age of high integrity languages
Rust and the coming age of high integrity languagesRust and the coming age of high integrity languages
Rust and the coming age of high integrity languages
 
SPARKNaCl: A verified, fast cryptographic library
SPARKNaCl: A verified, fast cryptographic librarySPARKNaCl: A verified, fast cryptographic library
SPARKNaCl: A verified, fast cryptographic library
 
Taming event-driven software via formal verification
Taming event-driven software via formal verificationTaming event-driven software via formal verification
Taming event-driven software via formal verification
 
Pushing the Boundary of Mostly Automatic Program Proof
Pushing the Boundary of Mostly Automatic Program ProofPushing the Boundary of Mostly Automatic Program Proof
Pushing the Boundary of Mostly Automatic Program Proof
 
RCA OCORA: Safe Computing Platform using open standards
RCA OCORA: Safe Computing Platform using open standardsRCA OCORA: Safe Computing Platform using open standards
RCA OCORA: Safe Computing Platform using open standards
 
Product Lines and Ecosystems: from customization to configuration
Product Lines and Ecosystems: from customization to configurationProduct Lines and Ecosystems: from customization to configuration
Product Lines and Ecosystems: from customization to configuration
 
Securing the Future of Safety and Security of Embedded Software
Securing the Future of Safety and Security of Embedded SoftwareSecuring the Future of Safety and Security of Embedded Software
Securing the Future of Safety and Security of Embedded Software
 
Spark / Ada for Safe and Secure Firmware Development
Spark / Ada for Safe and Secure Firmware DevelopmentSpark / Ada for Safe and Secure Firmware Development
Spark / Ada for Safe and Secure Firmware Development
 
Introducing the HICLASS Research Programme - Enabling Development of Complex ...
Introducing the HICLASS Research Programme - Enabling Development of Complex ...Introducing the HICLASS Research Programme - Enabling Development of Complex ...
Introducing the HICLASS Research Programme - Enabling Development of Complex ...
 
The Future of Aerospace – More Software Please!
The Future of Aerospace – More Software Please!The Future of Aerospace – More Software Please!
The Future of Aerospace – More Software Please!
 
Adaptive AUTOSAR - The New AUTOSAR Architecture
Adaptive AUTOSAR - The New AUTOSAR ArchitectureAdaptive AUTOSAR - The New AUTOSAR Architecture
Adaptive AUTOSAR - The New AUTOSAR Architecture
 
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...
 
Software Engineering for Robotics - The RoboStar Technology
Software Engineering for Robotics - The RoboStar TechnologySoftware Engineering for Robotics - The RoboStar Technology
Software Engineering for Robotics - The RoboStar Technology
 
MISRA C in an ISO 26262 context
MISRA C in an ISO 26262 contextMISRA C in an ISO 26262 context
MISRA C in an ISO 26262 context
 
Application of theorem proving for safety-critical vehicle software
Application of theorem proving for safety-critical vehicle softwareApplication of theorem proving for safety-critical vehicle software
Application of theorem proving for safety-critical vehicle software
 
The Application of Formal Methods to Railway Signalling Software
The Application of Formal Methods to Railway Signalling SoftwareThe Application of Formal Methods to Railway Signalling Software
The Application of Formal Methods to Railway Signalling Software
 
Bounded Model Checking for C Programs in an Enterprise Environment
Bounded Model Checking for C Programs in an Enterprise EnvironmentBounded Model Checking for C Programs in an Enterprise Environment
Bounded Model Checking for C Programs in an Enterprise Environment
 
Multi-Core (MC) Processor Qualification for Safety Critical Systems
Multi-Core (MC) Processor Qualification for Safety Critical SystemsMulti-Core (MC) Processor Qualification for Safety Critical Systems
Multi-Core (MC) Processor Qualification for Safety Critical Systems
 
Ada 202x A broad overview of relevant news
Ada 202x A broad overview of relevant newsAda 202x A broad overview of relevant news
Ada 202x A broad overview of relevant news
 

Recently uploaded

Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticscarlostorres15106
 
My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024The Digital Insurer
 
Are Multi-Cloud and Serverless Good or Bad?
Are Multi-Cloud and Serverless Good or Bad?Are Multi-Cloud and Serverless Good or Bad?
Are Multi-Cloud and Serverless Good or Bad?Mattias Andersson
 
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks..."LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...Fwdays
 
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsHuman Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsMark Billinghurst
 
Artificial intelligence in the post-deep learning era
Artificial intelligence in the post-deep learning eraArtificial intelligence in the post-deep learning era
Artificial intelligence in the post-deep learning eraDeakin University
 
Unleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding ClubUnleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding ClubKalema Edgar
 
Understanding the Laravel MVC Architecture
Understanding the Laravel MVC ArchitectureUnderstanding the Laravel MVC Architecture
Understanding the Laravel MVC ArchitecturePixlogix Infotech
 
"Federated learning: out of reach no matter how close",Oleksandr Lapshyn
"Federated learning: out of reach no matter how close",Oleksandr Lapshyn"Federated learning: out of reach no matter how close",Oleksandr Lapshyn
"Federated learning: out of reach no matter how close",Oleksandr LapshynFwdays
 
Bluetooth Controlled Car with Arduino.pdf
Bluetooth Controlled Car with Arduino.pdfBluetooth Controlled Car with Arduino.pdf
Bluetooth Controlled Car with Arduino.pdfngoud9212
 
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...shyamraj55
 
SIEMENS: RAPUNZEL – A Tale About Knowledge Graph
SIEMENS: RAPUNZEL – A Tale About Knowledge GraphSIEMENS: RAPUNZEL – A Tale About Knowledge Graph
SIEMENS: RAPUNZEL – A Tale About Knowledge GraphNeo4j
 
Build your next Gen AI Breakthrough - April 2024
Build your next Gen AI Breakthrough - April 2024Build your next Gen AI Breakthrough - April 2024
Build your next Gen AI Breakthrough - April 2024Neo4j
 
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptxMaking_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptxnull - The Open Security Community
 
Unblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesUnblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesSinan KOZAK
 
New from BookNet Canada for 2024: BNC BiblioShare - Tech Forum 2024
New from BookNet Canada for 2024: BNC BiblioShare - Tech Forum 2024New from BookNet Canada for 2024: BNC BiblioShare - Tech Forum 2024
New from BookNet Canada for 2024: BNC BiblioShare - Tech Forum 2024BookNet Canada
 
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsAndrey Dotsenko
 
Swan(sea) Song – personal research during my six years at Swansea ... and bey...
Swan(sea) Song – personal research during my six years at Swansea ... and bey...Swan(sea) Song – personal research during my six years at Swansea ... and bey...
Swan(sea) Song – personal research during my six years at Swansea ... and bey...Alan Dix
 
costume and set research powerpoint presentation
costume and set research powerpoint presentationcostume and set research powerpoint presentation
costume and set research powerpoint presentationphoebematthew05
 

Recently uploaded (20)

Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
 
My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024
 
Are Multi-Cloud and Serverless Good or Bad?
Are Multi-Cloud and Serverless Good or Bad?Are Multi-Cloud and Serverless Good or Bad?
Are Multi-Cloud and Serverless Good or Bad?
 
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks..."LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
 
Hot Sexy call girls in Panjabi Bagh 🔝 9953056974 🔝 Delhi escort Service
Hot Sexy call girls in Panjabi Bagh 🔝 9953056974 🔝 Delhi escort ServiceHot Sexy call girls in Panjabi Bagh 🔝 9953056974 🔝 Delhi escort Service
Hot Sexy call girls in Panjabi Bagh 🔝 9953056974 🔝 Delhi escort Service
 
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsHuman Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR Systems
 
Artificial intelligence in the post-deep learning era
Artificial intelligence in the post-deep learning eraArtificial intelligence in the post-deep learning era
Artificial intelligence in the post-deep learning era
 
Unleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding ClubUnleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding Club
 
Understanding the Laravel MVC Architecture
Understanding the Laravel MVC ArchitectureUnderstanding the Laravel MVC Architecture
Understanding the Laravel MVC Architecture
 
"Federated learning: out of reach no matter how close",Oleksandr Lapshyn
"Federated learning: out of reach no matter how close",Oleksandr Lapshyn"Federated learning: out of reach no matter how close",Oleksandr Lapshyn
"Federated learning: out of reach no matter how close",Oleksandr Lapshyn
 
Bluetooth Controlled Car with Arduino.pdf
Bluetooth Controlled Car with Arduino.pdfBluetooth Controlled Car with Arduino.pdf
Bluetooth Controlled Car with Arduino.pdf
 
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
 
SIEMENS: RAPUNZEL – A Tale About Knowledge Graph
SIEMENS: RAPUNZEL – A Tale About Knowledge GraphSIEMENS: RAPUNZEL – A Tale About Knowledge Graph
SIEMENS: RAPUNZEL – A Tale About Knowledge Graph
 
Build your next Gen AI Breakthrough - April 2024
Build your next Gen AI Breakthrough - April 2024Build your next Gen AI Breakthrough - April 2024
Build your next Gen AI Breakthrough - April 2024
 
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptxMaking_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx
 
Unblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesUnblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen Frames
 
New from BookNet Canada for 2024: BNC BiblioShare - Tech Forum 2024
New from BookNet Canada for 2024: BNC BiblioShare - Tech Forum 2024New from BookNet Canada for 2024: BNC BiblioShare - Tech Forum 2024
New from BookNet Canada for 2024: BNC BiblioShare - Tech Forum 2024
 
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
 
Swan(sea) Song – personal research during my six years at Swansea ... and bey...
Swan(sea) Song – personal research during my six years at Swansea ... and bey...Swan(sea) Song – personal research during my six years at Swansea ... and bey...
Swan(sea) Song – personal research during my six years at Swansea ... and bey...
 
costume and set research powerpoint presentation
costume and set research powerpoint presentationcostume and set research powerpoint presentation
costume and set research powerpoint presentation
 

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