SlideShare a Scribd company logo
Air Traffic Control: A Case Study in
Designing for High Availability
Introduction
• Air traffic control (ATC) is among the most
  demanding of all software applications.
  ▫ It is hard real time, meaning that timing deadlines
    must be met absolutely
  ▫ It is safety critical, meaning that human lives may be
    lost if the system does not perform correctly;
  ▫ It is highly distributed, requiring dozens of controllers
    to work cooperatively to guide aircraft through the
    airways system.
• This chapter is a case study of one part of a once-
  planned, next-generation ATC system for the United
  States
• We will see how its architecture
Case
• In the United States, air traffic is controlled by the
  Federal Aviation Administration (FAA)
• The FAA is the customer for the system we will describe
• As a flight progresses from its departure airport to its
  arrival airport,
  ▫ it deals with several ATC entities that guide it safely
    through each portion of the airways (and ground facilities)
    it is using.
  ▫ Ground control coordinates the movement of aircraft on the
    ground at an airport.
  ▫ Towers control aircraft flying within an airport's terminal
    control area, a cylindrical section of airspace centered at an
    airport.
  ▫ Finally, en route centers divide the skies over the country
    into 22 large sections of responsibility
From Take-off to Landing
En route centers in United States
ISSS
• The system we will study is called the Initial Sector Suite System
  (ISSS), which was intended to be an upgraded hardware and
  software system for the 22 en route centers in the United States.
• The fact that ISSS was to be procured as only one of a set of
  strongly related systems had a profound effect on its architecture.
• In particular, there was great incentive to adopt common designs
  and elements where possible because the ISSS developer also
  intended to bid on the other systems.
• After all, these different systems (en route center, tower, ground
  control) share many elements: interfaces to radio systems,
  interfaces to flight plan databases, interfaces to each other,
  interpreting radar data, requirements for reliability and
  performance, and so on.
• Thus, the ISSS design was influenced broadly by the requirements
  for all of the upgraded systems, not just the ISSS-specific ones.
• The complete set of upgraded systems was to be called the
  Advanced Automation System (AAS).
The ABC applied to the ATC System
Requirements and Qualities
• Ultrahigh availability,
  ▫ meaning that the system is absolutely prohibited from
    being inoperative for longer than very short periods.
  ▫ The actual availability requirement for ISSS is targeted
    at 0.99999, meaning that the system should be
    unavailable for less than 5 minutes a year.
• High performance,
  ▫ meaning that the system has to be able to process
    large numbers of aircraft—as many as 2,440—without
    "losing" any of them.
  ▫ Networks have to be able to carry the communication
    loads, and the software has to be able to perform its
    computations quickly and predictably.
Requirements and Qualities
• Openness,
  ▫ meaning that the system has to be able to incorporate
    commercially developed software components, including
    ATC functions and basic computing services such as
    graphics display packages
• The ability to field subsets of the system,
  ▫ to handle the case in which the billion-dollar project falls
    victim to reductions in budget (and hence functionality)—as
    indeed happened
• The ability to make modifications to the functionality and
  handle upgrades in hardware and software (new
  processors, new I/O devices and drivers, new versions
  of the Ada compiler)
• The ability to operate with and interface to a bewildering
  set of external systems, both hardware and software,
  some decades old, others not yet implemented
Architectural Solution
•   Physical view
•   Module decomposition view
•   Process view
•   Client-Server view
•   Code view
•   Layered view
•   Fault tolerance
ISSS Physical view
                     •Host Computer System (HCS)
                     •Local Communications Network
                     (LCN)
                     •LCN interface units (each called LIU-
                     H)
                     •Enhanced Direct Access Radar
                     Channel (EDARC)
                     •Backup Communications Network
                     (BCN)
                     •Monitor-and-Control (M&C) consoles
Process view


               •Functional Group (FG)
               •Primary Address Space (PAS)
               •Secondary Address Space (SAS)
Client-Server view
Layered View
How the ATC System achieves its
Quality goals
Goal                How Achieved                      Tactic(s) Used
High Availability   Hardware redundancy (both
                    processor and network);
                    software redundancy (layered
                    fault detection and recovery)
High Performance    Distributed multiprocessors;
                    front-end schedulability
                    analysis, and network modeling
Openness            Interface wrapping and layering
How the ATC System achieves its
Quality goals
Goal                       How Achieved                Tactic(s) Used
Modifiability              Templates and table-
                           driven adaptation data;
                           careful assignment of
                           module responsbilities;
                           strict use of specified
                           interfaces
Ability to Field Subsets   Appropriate separation
                           of concerns
Interoperability           Client-server division of   Adherence to defined
                           functionality and           protocols; maintain
                           message-based               interface stability
                           communications
Ad

More Related Content

What's hot (20)

Hierarchical Object Oriented Design
Hierarchical Object Oriented DesignHierarchical Object Oriented Design
Hierarchical Object Oriented Design
sahibsahib
 
Task programming
Task programmingTask programming
Task programming
Yogendra Tamang
 
Software architecture design ppt
Software architecture design pptSoftware architecture design ppt
Software architecture design ppt
farazimlak
 
Aneka platform
Aneka platformAneka platform
Aneka platform
Shyam Krishna Khadka
 
Module 3 INTERNET OF THINGS
Module 3 INTERNET OF THINGSModule 3 INTERNET OF THINGS
Module 3 INTERNET OF THINGS
Dr. Mallikarjunaswamy N J
 
Implementation issues software engineering
Implementation issues software engineeringImplementation issues software engineering
Implementation issues software engineering
rishi ram khanal
 
Software Engineering : Requirement Analysis & Specification
Software Engineering : Requirement Analysis & SpecificationSoftware Engineering : Requirement Analysis & Specification
Software Engineering : Requirement Analysis & Specification
Ajit Nayak
 
Introduction to Web Services
Introduction to Web ServicesIntroduction to Web Services
Introduction to Web Services
Thanachart Numnonda
 
Component Diagram
Component DiagramComponent Diagram
Component Diagram
University of Texas at Dallas
 
cloud computing:Types of virtualization
cloud computing:Types of virtualizationcloud computing:Types of virtualization
cloud computing:Types of virtualization
Dr.Neeraj Kumar Pandey
 
software development, process model, requirement engineering, srs, structured...
software development, process model, requirement engineering, srs, structured...software development, process model, requirement engineering, srs, structured...
software development, process model, requirement engineering, srs, structured...
Ashok Mohanty
 
Software architecture
Software architectureSoftware architecture
Software architecture
Ahmad Raza Aslam
 
Distributed System ppt
Distributed System pptDistributed System ppt
Distributed System ppt
OECLIB Odisha Electronics Control Library
 
Virtualization.ppt
Virtualization.pptVirtualization.ppt
Virtualization.ppt
vishal choudhary
 
Map Reduce data types and formats
Map Reduce data types and formatsMap Reduce data types and formats
Map Reduce data types and formats
Vigen Sahakyan
 
Software Architecture Styles
Software Architecture StylesSoftware Architecture Styles
Software Architecture Styles
Henry Muccini
 
Cloud computing ppt
Cloud computing pptCloud computing ppt
Cloud computing ppt
Pravesh ARYA
 
CS8791 Unit 2 Cloud Enabling Technologies
CS8791 Unit 2 Cloud Enabling TechnologiesCS8791 Unit 2 Cloud Enabling Technologies
CS8791 Unit 2 Cloud Enabling Technologies
karthikajegadeesan
 
Cloud Service Models
Cloud Service ModelsCloud Service Models
Cloud Service Models
Abhishek Pachisia
 
Ian Sommerville, Software Engineering, 9th Edition Ch 4
Ian Sommerville,  Software Engineering, 9th Edition Ch 4Ian Sommerville,  Software Engineering, 9th Edition Ch 4
Ian Sommerville, Software Engineering, 9th Edition Ch 4
Mohammed Romi
 
Hierarchical Object Oriented Design
Hierarchical Object Oriented DesignHierarchical Object Oriented Design
Hierarchical Object Oriented Design
sahibsahib
 
Software architecture design ppt
Software architecture design pptSoftware architecture design ppt
Software architecture design ppt
farazimlak
 
Implementation issues software engineering
Implementation issues software engineeringImplementation issues software engineering
Implementation issues software engineering
rishi ram khanal
 
Software Engineering : Requirement Analysis & Specification
Software Engineering : Requirement Analysis & SpecificationSoftware Engineering : Requirement Analysis & Specification
Software Engineering : Requirement Analysis & Specification
Ajit Nayak
 
cloud computing:Types of virtualization
cloud computing:Types of virtualizationcloud computing:Types of virtualization
cloud computing:Types of virtualization
Dr.Neeraj Kumar Pandey
 
software development, process model, requirement engineering, srs, structured...
software development, process model, requirement engineering, srs, structured...software development, process model, requirement engineering, srs, structured...
software development, process model, requirement engineering, srs, structured...
Ashok Mohanty
 
Map Reduce data types and formats
Map Reduce data types and formatsMap Reduce data types and formats
Map Reduce data types and formats
Vigen Sahakyan
 
Software Architecture Styles
Software Architecture StylesSoftware Architecture Styles
Software Architecture Styles
Henry Muccini
 
Cloud computing ppt
Cloud computing pptCloud computing ppt
Cloud computing ppt
Pravesh ARYA
 
CS8791 Unit 2 Cloud Enabling Technologies
CS8791 Unit 2 Cloud Enabling TechnologiesCS8791 Unit 2 Cloud Enabling Technologies
CS8791 Unit 2 Cloud Enabling Technologies
karthikajegadeesan
 
Ian Sommerville, Software Engineering, 9th Edition Ch 4
Ian Sommerville,  Software Engineering, 9th Edition Ch 4Ian Sommerville,  Software Engineering, 9th Edition Ch 4
Ian Sommerville, Software Engineering, 9th Edition Ch 4
Mohammed Romi
 

Viewers also liked (20)

Architecture Tradeoff Analysis Method
Architecture Tradeoff Analysis MethodArchitecture Tradeoff Analysis Method
Architecture Tradeoff Analysis Method
CS, NcState
 
03 using psp0
03 using psp003 using psp0
03 using psp0
Luktalja
 
Software archiecture lecture04
Software archiecture   lecture04Software archiecture   lecture04
Software archiecture lecture04
Luktalja
 
Software archiecture lecture02
Software archiecture   lecture02Software archiecture   lecture02
Software archiecture lecture02
Luktalja
 
Software archiecture lecture05
Software archiecture   lecture05Software archiecture   lecture05
Software archiecture lecture05
Luktalja
 
CBAM
 CBAM CBAM
CBAM
Asim Shahzad
 
Software archiecture lecture03
Software archiecture   lecture03Software archiecture   lecture03
Software archiecture lecture03
Luktalja
 
Reliability and its principals
Reliability and its principalsReliability and its principals
Reliability and its principals
Himanshu
 
Software archiecture lecture10
Software archiecture   lecture10Software archiecture   lecture10
Software archiecture lecture10
Luktalja
 
Structural and functional testing
Structural and functional testingStructural and functional testing
Structural and functional testing
Himanshu
 
Software archiecture lecture09
Software archiecture   lecture09Software archiecture   lecture09
Software archiecture lecture09
Luktalja
 
Software archiecture lecture08
Software archiecture   lecture08Software archiecture   lecture08
Software archiecture lecture08
Luktalja
 
Software archiecture lecture01
Software archiecture   lecture01Software archiecture   lecture01
Software archiecture lecture01
Luktalja
 
Architecture Review
Architecture ReviewArchitecture Review
Architecture Review
Himanshu
 
Software archiecture lecture06
Software archiecture   lecture06Software archiecture   lecture06
Software archiecture lecture06
Luktalja
 
Software reliability tools and common software errors
Software reliability tools and common software errorsSoftware reliability tools and common software errors
Software reliability tools and common software errors
Himanshu
 
Abc
AbcAbc
Abc
Himanshu
 
Business analysis in data warehousing
Business analysis in data warehousingBusiness analysis in data warehousing
Business analysis in data warehousing
Himanshu
 
Saam
SaamSaam
Saam
Himanshu
 
Importance of software architecture
Importance of software architectureImportance of software architecture
Importance of software architecture
Himanshu
 
Architecture Tradeoff Analysis Method
Architecture Tradeoff Analysis MethodArchitecture Tradeoff Analysis Method
Architecture Tradeoff Analysis Method
CS, NcState
 
03 using psp0
03 using psp003 using psp0
03 using psp0
Luktalja
 
Software archiecture lecture04
Software archiecture   lecture04Software archiecture   lecture04
Software archiecture lecture04
Luktalja
 
Software archiecture lecture02
Software archiecture   lecture02Software archiecture   lecture02
Software archiecture lecture02
Luktalja
 
Software archiecture lecture05
Software archiecture   lecture05Software archiecture   lecture05
Software archiecture lecture05
Luktalja
 
Software archiecture lecture03
Software archiecture   lecture03Software archiecture   lecture03
Software archiecture lecture03
Luktalja
 
Reliability and its principals
Reliability and its principalsReliability and its principals
Reliability and its principals
Himanshu
 
Software archiecture lecture10
Software archiecture   lecture10Software archiecture   lecture10
Software archiecture lecture10
Luktalja
 
Structural and functional testing
Structural and functional testingStructural and functional testing
Structural and functional testing
Himanshu
 
Software archiecture lecture09
Software archiecture   lecture09Software archiecture   lecture09
Software archiecture lecture09
Luktalja
 
Software archiecture lecture08
Software archiecture   lecture08Software archiecture   lecture08
Software archiecture lecture08
Luktalja
 
Software archiecture lecture01
Software archiecture   lecture01Software archiecture   lecture01
Software archiecture lecture01
Luktalja
 
Architecture Review
Architecture ReviewArchitecture Review
Architecture Review
Himanshu
 
Software archiecture lecture06
Software archiecture   lecture06Software archiecture   lecture06
Software archiecture lecture06
Luktalja
 
Software reliability tools and common software errors
Software reliability tools and common software errorsSoftware reliability tools and common software errors
Software reliability tools and common software errors
Himanshu
 
Business analysis in data warehousing
Business analysis in data warehousingBusiness analysis in data warehousing
Business analysis in data warehousing
Himanshu
 
Importance of software architecture
Importance of software architectureImportance of software architecture
Importance of software architecture
Himanshu
 
Ad

Similar to Software archiecture lecture07 (20)

WINSEM2023-24_BCSE429L_TH_CH2023240501528_Reference_Material_III_S3-Homoheter...
WINSEM2023-24_BCSE429L_TH_CH2023240501528_Reference_Material_III_S3-Homoheter...WINSEM2023-24_BCSE429L_TH_CH2023240501528_Reference_Material_III_S3-Homoheter...
WINSEM2023-24_BCSE429L_TH_CH2023240501528_Reference_Material_III_S3-Homoheter...
KumarSuman24
 
Command center processing and display system replacement (ccpds-r) - Case Study
Command center processing and display system  replacement (ccpds-r) - Case StudyCommand center processing and display system  replacement (ccpds-r) - Case Study
Command center processing and display system replacement (ccpds-r) - Case Study
Kuppusamy P
 
Software defined network-- SDN
Software defined network-- SDNSoftware defined network-- SDN
Software defined network-- SDN
Aadarsh Sharma
 
Hannover Messe 2017 - Systems Federation in industrie 4.0
Hannover Messe 2017 - Systems Federation in industrie 4.0Hannover Messe 2017 - Systems Federation in industrie 4.0
Hannover Messe 2017 - Systems Federation in industrie 4.0
Clemens Vasters
 
Real Time Operating Systems
Real Time Operating SystemsReal Time Operating Systems
Real Time Operating Systems
Pawandeep Kaur
 
Microx - A Unix like kernel for Embedded Systems written from scratch.
Microx - A Unix like kernel for Embedded Systems written from scratch.Microx - A Unix like kernel for Embedded Systems written from scratch.
Microx - A Unix like kernel for Embedded Systems written from scratch.
Waqar Sheikh
 
2. avionics architecture da cp
2. avionics architecture  da cp2. avionics architecture  da cp
2. avionics architecture da cp
M S Prasad
 
2. avionics architecture da cp
2. avionics architecture  da cp2. avionics architecture  da cp
2. avionics architecture da cp
MSPrasad7
 
2. avionics architecture da cp
2. avionics architecture  da cp2. avionics architecture  da cp
2. avionics architecture da cp
MSPrasad7
 
Requirment anlaysis , application, device, network requirements
Requirment anlaysis , application, device, network requirementsRequirment anlaysis , application, device, network requirements
Requirment anlaysis , application, device, network requirements
csk selva
 
Psdot 15 performance analysis of cloud computing
Psdot 15 performance analysis of cloud computingPsdot 15 performance analysis of cloud computing
Psdot 15 performance analysis of cloud computing
ZTech Proje
 
QNX Sales Engineering Presentation
QNX Sales Engineering PresentationQNX Sales Engineering Presentation
QNX Sales Engineering Presentation
Robert-Emmanuel Mayssat
 
Data Distribution Platform for Reconfigurable Unmanned Aircraft Systems
Data Distribution Platform for Reconfigurable Unmanned Aircraft SystemsData Distribution Platform for Reconfigurable Unmanned Aircraft Systems
Data Distribution Platform for Reconfigurable Unmanned Aircraft Systems
Real-Time Innovations (RTI)
 
6 lte-a challenges and evolving lte network architecture
6 lte-a challenges and evolving lte network architecture6 lte-a challenges and evolving lte network architecture
6 lte-a challenges and evolving lte network architecture
CPqD
 
ES-Basics.pdf
ES-Basics.pdfES-Basics.pdf
ES-Basics.pdf
Srisurya26
 
Fedramp developing-system-security-plan-slides
Fedramp developing-system-security-plan-slidesFedramp developing-system-security-plan-slides
Fedramp developing-system-security-plan-slides
Tuan Phan
 
L11-RTOS.ppt
L11-RTOS.pptL11-RTOS.ppt
L11-RTOS.ppt
DrAVaniprabhasns
 
Software Defined Substation Intelligence, Automation and Control
Software Defined Substation Intelligence, Automation and ControlSoftware Defined Substation Intelligence, Automation and Control
Software Defined Substation Intelligence, Automation and Control
Bastian Fischer
 
A Survey Embedded Systems Supporting By Different Operating Systems.pdf
A Survey   Embedded Systems Supporting By Different Operating Systems.pdfA Survey   Embedded Systems Supporting By Different Operating Systems.pdf
A Survey Embedded Systems Supporting By Different Operating Systems.pdf
Fiona Phillips
 
Embedded System
Embedded SystemEmbedded System
Embedded System
surendar
 
WINSEM2023-24_BCSE429L_TH_CH2023240501528_Reference_Material_III_S3-Homoheter...
WINSEM2023-24_BCSE429L_TH_CH2023240501528_Reference_Material_III_S3-Homoheter...WINSEM2023-24_BCSE429L_TH_CH2023240501528_Reference_Material_III_S3-Homoheter...
WINSEM2023-24_BCSE429L_TH_CH2023240501528_Reference_Material_III_S3-Homoheter...
KumarSuman24
 
Command center processing and display system replacement (ccpds-r) - Case Study
Command center processing and display system  replacement (ccpds-r) - Case StudyCommand center processing and display system  replacement (ccpds-r) - Case Study
Command center processing and display system replacement (ccpds-r) - Case Study
Kuppusamy P
 
Software defined network-- SDN
Software defined network-- SDNSoftware defined network-- SDN
Software defined network-- SDN
Aadarsh Sharma
 
Hannover Messe 2017 - Systems Federation in industrie 4.0
Hannover Messe 2017 - Systems Federation in industrie 4.0Hannover Messe 2017 - Systems Federation in industrie 4.0
Hannover Messe 2017 - Systems Federation in industrie 4.0
Clemens Vasters
 
Real Time Operating Systems
Real Time Operating SystemsReal Time Operating Systems
Real Time Operating Systems
Pawandeep Kaur
 
Microx - A Unix like kernel for Embedded Systems written from scratch.
Microx - A Unix like kernel for Embedded Systems written from scratch.Microx - A Unix like kernel for Embedded Systems written from scratch.
Microx - A Unix like kernel for Embedded Systems written from scratch.
Waqar Sheikh
 
2. avionics architecture da cp
2. avionics architecture  da cp2. avionics architecture  da cp
2. avionics architecture da cp
M S Prasad
 
2. avionics architecture da cp
2. avionics architecture  da cp2. avionics architecture  da cp
2. avionics architecture da cp
MSPrasad7
 
2. avionics architecture da cp
2. avionics architecture  da cp2. avionics architecture  da cp
2. avionics architecture da cp
MSPrasad7
 
Requirment anlaysis , application, device, network requirements
Requirment anlaysis , application, device, network requirementsRequirment anlaysis , application, device, network requirements
Requirment anlaysis , application, device, network requirements
csk selva
 
Psdot 15 performance analysis of cloud computing
Psdot 15 performance analysis of cloud computingPsdot 15 performance analysis of cloud computing
Psdot 15 performance analysis of cloud computing
ZTech Proje
 
Data Distribution Platform for Reconfigurable Unmanned Aircraft Systems
Data Distribution Platform for Reconfigurable Unmanned Aircraft SystemsData Distribution Platform for Reconfigurable Unmanned Aircraft Systems
Data Distribution Platform for Reconfigurable Unmanned Aircraft Systems
Real-Time Innovations (RTI)
 
6 lte-a challenges and evolving lte network architecture
6 lte-a challenges and evolving lte network architecture6 lte-a challenges and evolving lte network architecture
6 lte-a challenges and evolving lte network architecture
CPqD
 
Fedramp developing-system-security-plan-slides
Fedramp developing-system-security-plan-slidesFedramp developing-system-security-plan-slides
Fedramp developing-system-security-plan-slides
Tuan Phan
 
Software Defined Substation Intelligence, Automation and Control
Software Defined Substation Intelligence, Automation and ControlSoftware Defined Substation Intelligence, Automation and Control
Software Defined Substation Intelligence, Automation and Control
Bastian Fischer
 
A Survey Embedded Systems Supporting By Different Operating Systems.pdf
A Survey   Embedded Systems Supporting By Different Operating Systems.pdfA Survey   Embedded Systems Supporting By Different Operating Systems.pdf
A Survey Embedded Systems Supporting By Different Operating Systems.pdf
Fiona Phillips
 
Embedded System
Embedded SystemEmbedded System
Embedded System
surendar
 
Ad

Recently uploaded (20)

The ever evoilving world of science /7th class science curiosity /samyans aca...
The ever evoilving world of science /7th class science curiosity /samyans aca...The ever evoilving world of science /7th class science curiosity /samyans aca...
The ever evoilving world of science /7th class science curiosity /samyans aca...
Sandeep Swamy
 
LDMMIA Reiki Master Spring 2025 Mini Updates
LDMMIA Reiki Master Spring 2025 Mini UpdatesLDMMIA Reiki Master Spring 2025 Mini Updates
LDMMIA Reiki Master Spring 2025 Mini Updates
LDM Mia eStudios
 
Stein, Hunt, Green letter to Congress April 2025
Stein, Hunt, Green letter to Congress April 2025Stein, Hunt, Green letter to Congress April 2025
Stein, Hunt, Green letter to Congress April 2025
Mebane Rash
 
Biophysics Chapter 3 Methods of Studying Macromolecules.pdf
Biophysics Chapter 3 Methods of Studying Macromolecules.pdfBiophysics Chapter 3 Methods of Studying Macromolecules.pdf
Biophysics Chapter 3 Methods of Studying Macromolecules.pdf
PKLI-Institute of Nursing and Allied Health Sciences Lahore , Pakistan.
 
Niamh Lucey, Mary Dunne. Health Sciences Libraries Group (LAI). Lighting the ...
Niamh Lucey, Mary Dunne. Health Sciences Libraries Group (LAI). Lighting the ...Niamh Lucey, Mary Dunne. Health Sciences Libraries Group (LAI). Lighting the ...
Niamh Lucey, Mary Dunne. Health Sciences Libraries Group (LAI). Lighting the ...
Library Association of Ireland
 
Marie Boran Special Collections Librarian Hardiman Library, University of Gal...
Marie Boran Special Collections Librarian Hardiman Library, University of Gal...Marie Boran Special Collections Librarian Hardiman Library, University of Gal...
Marie Boran Special Collections Librarian Hardiman Library, University of Gal...
Library Association of Ireland
 
Introduction to Vibe Coding and Vibe Engineering
Introduction to Vibe Coding and Vibe EngineeringIntroduction to Vibe Coding and Vibe Engineering
Introduction to Vibe Coding and Vibe Engineering
Damian T. Gordon
 
Presentation on Tourism Product Development By Md Shaifullar Rabbi
Presentation on Tourism Product Development By Md Shaifullar RabbiPresentation on Tourism Product Development By Md Shaifullar Rabbi
Presentation on Tourism Product Development By Md Shaifullar Rabbi
Md Shaifullar Rabbi
 
Operations Management (Dr. Abdulfatah Salem).pdf
Operations Management (Dr. Abdulfatah Salem).pdfOperations Management (Dr. Abdulfatah Salem).pdf
Operations Management (Dr. Abdulfatah Salem).pdf
Arab Academy for Science, Technology and Maritime Transport
 
SCI BIZ TECH QUIZ (OPEN) PRELIMS XTASY 2025.pptx
SCI BIZ TECH QUIZ (OPEN) PRELIMS XTASY 2025.pptxSCI BIZ TECH QUIZ (OPEN) PRELIMS XTASY 2025.pptx
SCI BIZ TECH QUIZ (OPEN) PRELIMS XTASY 2025.pptx
Ronisha Das
 
How to Manage Opening & Closing Controls in Odoo 17 POS
How to Manage Opening & Closing Controls in Odoo 17 POSHow to Manage Opening & Closing Controls in Odoo 17 POS
How to Manage Opening & Closing Controls in Odoo 17 POS
Celine George
 
SPRING FESTIVITIES - UK AND USA -
SPRING FESTIVITIES - UK AND USA            -SPRING FESTIVITIES - UK AND USA            -
SPRING FESTIVITIES - UK AND USA -
Colégio Santa Teresinha
 
Odoo Inventory Rules and Routes v17 - Odoo Slides
Odoo Inventory Rules and Routes v17 - Odoo SlidesOdoo Inventory Rules and Routes v17 - Odoo Slides
Odoo Inventory Rules and Routes v17 - Odoo Slides
Celine George
 
How to Customize Your Financial Reports & Tax Reports With Odoo 17 Accounting
How to Customize Your Financial Reports & Tax Reports With Odoo 17 AccountingHow to Customize Your Financial Reports & Tax Reports With Odoo 17 Accounting
How to Customize Your Financial Reports & Tax Reports With Odoo 17 Accounting
Celine George
 
apa-style-referencing-visual-guide-2025.pdf
apa-style-referencing-visual-guide-2025.pdfapa-style-referencing-visual-guide-2025.pdf
apa-style-referencing-visual-guide-2025.pdf
Ishika Ghosh
 
Geography Sem II Unit 1C Correlation of Geography with other school subjects
Geography Sem II Unit 1C Correlation of Geography with other school subjectsGeography Sem II Unit 1C Correlation of Geography with other school subjects
Geography Sem II Unit 1C Correlation of Geography with other school subjects
ProfDrShaikhImran
 
To study Digestive system of insect.pptx
To study Digestive system of insect.pptxTo study Digestive system of insect.pptx
To study Digestive system of insect.pptx
Arshad Shaikh
 
How to Set warnings for invoicing specific customers in odoo
How to Set warnings for invoicing specific customers in odooHow to Set warnings for invoicing specific customers in odoo
How to Set warnings for invoicing specific customers in odoo
Celine George
 
YSPH VMOC Special Report - Measles Outbreak Southwest US 5-3-2025.pptx
YSPH VMOC Special Report - Measles Outbreak  Southwest US 5-3-2025.pptxYSPH VMOC Special Report - Measles Outbreak  Southwest US 5-3-2025.pptx
YSPH VMOC Special Report - Measles Outbreak Southwest US 5-3-2025.pptx
Yale School of Public Health - The Virtual Medical Operations Center (VMOC)
 
Quality Contril Analysis of Containers.pdf
Quality Contril Analysis of Containers.pdfQuality Contril Analysis of Containers.pdf
Quality Contril Analysis of Containers.pdf
Dr. Bindiya Chauhan
 
The ever evoilving world of science /7th class science curiosity /samyans aca...
The ever evoilving world of science /7th class science curiosity /samyans aca...The ever evoilving world of science /7th class science curiosity /samyans aca...
The ever evoilving world of science /7th class science curiosity /samyans aca...
Sandeep Swamy
 
LDMMIA Reiki Master Spring 2025 Mini Updates
LDMMIA Reiki Master Spring 2025 Mini UpdatesLDMMIA Reiki Master Spring 2025 Mini Updates
LDMMIA Reiki Master Spring 2025 Mini Updates
LDM Mia eStudios
 
Stein, Hunt, Green letter to Congress April 2025
Stein, Hunt, Green letter to Congress April 2025Stein, Hunt, Green letter to Congress April 2025
Stein, Hunt, Green letter to Congress April 2025
Mebane Rash
 
Niamh Lucey, Mary Dunne. Health Sciences Libraries Group (LAI). Lighting the ...
Niamh Lucey, Mary Dunne. Health Sciences Libraries Group (LAI). Lighting the ...Niamh Lucey, Mary Dunne. Health Sciences Libraries Group (LAI). Lighting the ...
Niamh Lucey, Mary Dunne. Health Sciences Libraries Group (LAI). Lighting the ...
Library Association of Ireland
 
Marie Boran Special Collections Librarian Hardiman Library, University of Gal...
Marie Boran Special Collections Librarian Hardiman Library, University of Gal...Marie Boran Special Collections Librarian Hardiman Library, University of Gal...
Marie Boran Special Collections Librarian Hardiman Library, University of Gal...
Library Association of Ireland
 
Introduction to Vibe Coding and Vibe Engineering
Introduction to Vibe Coding and Vibe EngineeringIntroduction to Vibe Coding and Vibe Engineering
Introduction to Vibe Coding and Vibe Engineering
Damian T. Gordon
 
Presentation on Tourism Product Development By Md Shaifullar Rabbi
Presentation on Tourism Product Development By Md Shaifullar RabbiPresentation on Tourism Product Development By Md Shaifullar Rabbi
Presentation on Tourism Product Development By Md Shaifullar Rabbi
Md Shaifullar Rabbi
 
SCI BIZ TECH QUIZ (OPEN) PRELIMS XTASY 2025.pptx
SCI BIZ TECH QUIZ (OPEN) PRELIMS XTASY 2025.pptxSCI BIZ TECH QUIZ (OPEN) PRELIMS XTASY 2025.pptx
SCI BIZ TECH QUIZ (OPEN) PRELIMS XTASY 2025.pptx
Ronisha Das
 
How to Manage Opening & Closing Controls in Odoo 17 POS
How to Manage Opening & Closing Controls in Odoo 17 POSHow to Manage Opening & Closing Controls in Odoo 17 POS
How to Manage Opening & Closing Controls in Odoo 17 POS
Celine George
 
Odoo Inventory Rules and Routes v17 - Odoo Slides
Odoo Inventory Rules and Routes v17 - Odoo SlidesOdoo Inventory Rules and Routes v17 - Odoo Slides
Odoo Inventory Rules and Routes v17 - Odoo Slides
Celine George
 
How to Customize Your Financial Reports & Tax Reports With Odoo 17 Accounting
How to Customize Your Financial Reports & Tax Reports With Odoo 17 AccountingHow to Customize Your Financial Reports & Tax Reports With Odoo 17 Accounting
How to Customize Your Financial Reports & Tax Reports With Odoo 17 Accounting
Celine George
 
apa-style-referencing-visual-guide-2025.pdf
apa-style-referencing-visual-guide-2025.pdfapa-style-referencing-visual-guide-2025.pdf
apa-style-referencing-visual-guide-2025.pdf
Ishika Ghosh
 
Geography Sem II Unit 1C Correlation of Geography with other school subjects
Geography Sem II Unit 1C Correlation of Geography with other school subjectsGeography Sem II Unit 1C Correlation of Geography with other school subjects
Geography Sem II Unit 1C Correlation of Geography with other school subjects
ProfDrShaikhImran
 
To study Digestive system of insect.pptx
To study Digestive system of insect.pptxTo study Digestive system of insect.pptx
To study Digestive system of insect.pptx
Arshad Shaikh
 
How to Set warnings for invoicing specific customers in odoo
How to Set warnings for invoicing specific customers in odooHow to Set warnings for invoicing specific customers in odoo
How to Set warnings for invoicing specific customers in odoo
Celine George
 
Quality Contril Analysis of Containers.pdf
Quality Contril Analysis of Containers.pdfQuality Contril Analysis of Containers.pdf
Quality Contril Analysis of Containers.pdf
Dr. Bindiya Chauhan
 

Software archiecture lecture07

  • 1. Air Traffic Control: A Case Study in Designing for High Availability
  • 2. Introduction • Air traffic control (ATC) is among the most demanding of all software applications. ▫ It is hard real time, meaning that timing deadlines must be met absolutely ▫ It is safety critical, meaning that human lives may be lost if the system does not perform correctly; ▫ It is highly distributed, requiring dozens of controllers to work cooperatively to guide aircraft through the airways system. • This chapter is a case study of one part of a once- planned, next-generation ATC system for the United States • We will see how its architecture
  • 3. Case • In the United States, air traffic is controlled by the Federal Aviation Administration (FAA) • The FAA is the customer for the system we will describe • As a flight progresses from its departure airport to its arrival airport, ▫ it deals with several ATC entities that guide it safely through each portion of the airways (and ground facilities) it is using. ▫ Ground control coordinates the movement of aircraft on the ground at an airport. ▫ Towers control aircraft flying within an airport's terminal control area, a cylindrical section of airspace centered at an airport. ▫ Finally, en route centers divide the skies over the country into 22 large sections of responsibility
  • 5. En route centers in United States
  • 6. ISSS • The system we will study is called the Initial Sector Suite System (ISSS), which was intended to be an upgraded hardware and software system for the 22 en route centers in the United States. • The fact that ISSS was to be procured as only one of a set of strongly related systems had a profound effect on its architecture. • In particular, there was great incentive to adopt common designs and elements where possible because the ISSS developer also intended to bid on the other systems. • After all, these different systems (en route center, tower, ground control) share many elements: interfaces to radio systems, interfaces to flight plan databases, interfaces to each other, interpreting radar data, requirements for reliability and performance, and so on. • Thus, the ISSS design was influenced broadly by the requirements for all of the upgraded systems, not just the ISSS-specific ones. • The complete set of upgraded systems was to be called the Advanced Automation System (AAS).
  • 7. The ABC applied to the ATC System
  • 8. Requirements and Qualities • Ultrahigh availability, ▫ meaning that the system is absolutely prohibited from being inoperative for longer than very short periods. ▫ The actual availability requirement for ISSS is targeted at 0.99999, meaning that the system should be unavailable for less than 5 minutes a year. • High performance, ▫ meaning that the system has to be able to process large numbers of aircraft—as many as 2,440—without "losing" any of them. ▫ Networks have to be able to carry the communication loads, and the software has to be able to perform its computations quickly and predictably.
  • 9. Requirements and Qualities • Openness, ▫ meaning that the system has to be able to incorporate commercially developed software components, including ATC functions and basic computing services such as graphics display packages • The ability to field subsets of the system, ▫ to handle the case in which the billion-dollar project falls victim to reductions in budget (and hence functionality)—as indeed happened • The ability to make modifications to the functionality and handle upgrades in hardware and software (new processors, new I/O devices and drivers, new versions of the Ada compiler) • The ability to operate with and interface to a bewildering set of external systems, both hardware and software, some decades old, others not yet implemented
  • 10. Architectural Solution • Physical view • Module decomposition view • Process view • Client-Server view • Code view • Layered view • Fault tolerance
  • 11. ISSS Physical view •Host Computer System (HCS) •Local Communications Network (LCN) •LCN interface units (each called LIU- H) •Enhanced Direct Access Radar Channel (EDARC) •Backup Communications Network (BCN) •Monitor-and-Control (M&C) consoles
  • 12. Process view •Functional Group (FG) •Primary Address Space (PAS) •Secondary Address Space (SAS)
  • 15. How the ATC System achieves its Quality goals Goal How Achieved Tactic(s) Used High Availability Hardware redundancy (both processor and network); software redundancy (layered fault detection and recovery) High Performance Distributed multiprocessors; front-end schedulability analysis, and network modeling Openness Interface wrapping and layering
  • 16. How the ATC System achieves its Quality goals Goal How Achieved Tactic(s) Used Modifiability Templates and table- driven adaptation data; careful assignment of module responsbilities; strict use of specified interfaces Ability to Field Subsets Appropriate separation of concerns Interoperability Client-server division of Adherence to defined functionality and protocols; maintain message-based interface stability communications