SlideShare a Scribd company logo
1 of 25
Critical systems engineering
Ian Sommerville

Critical systems engineering, 2013

Slide 1
Critical systems
•

Systems whose failure or unavailability can lead to
loss of life, injury, environmental damage or serious
economic consequences for businesses or countries

•

Almost all public and private sector activities in
developed countries now rely on critical, softwareintensive systems

•

Long-lifetime systems

Critical systems engineering, 2013

Slide 2
Image credit: http://www.barronmccann.com/
Critical systems engineering, 2013

Slide 3
Critical systems engineering
• The focus in critical systems
engineering is on the use of techniques
and methods to develop dependable
and secure systems

Critical systems engineering, 2013

Slide 4
•

The costs of critical system failure are so high that
development methods may be used that are not costeffective for other types of system.

•

A key difference between critical systems engineering
and other types of software engineering is often the
need to demonstrate compliance to laws and
regulations.

Critical systems engineering, 2013

Slide 5
Regulation
•

Regulators are government-appointed bodies whose
job is to ensure that companies and other bodies
conform to national and international laws.

•

This normally involves interpreting the law and
government policy and establishing standards and
regulations that must be followed by industry.

Critical systems engineering, 2013

Slide 6
UK regulators

Critical systems engineering, 2013

Slide 7
System certification
• The regulators check that the system is
conformant to current regulations and
standards and that due care and
attention has been paid to making the
system safe

Critical systems engineering, 2013

Slide 8
System certification
• Some critical systems have to be ‘certified’ by
an external regulator before they can be put
into use
– Aviation systems
– Nuclear systems
– Railway systems
– (Some) medical systems
Critical systems engineering, 2013

Slide 9
Certification costs
•

Certification is very expensive as it involves preparing
detailed documents for the regulator

•

There may be several thousand pages of
documentation that must be created and analysed

•

Certification costs can be comparable or even exceed
the system development costs

Critical systems engineering, 2013

Slide 10
• System owners and developers jointly
produce evidence (a safety case or a
dependability case) that demonstrates
to the regulator that a system is safe
and dependable

Critical systems engineering, 2013

Slide 11
Compliance
• Even when system do not need certification
before use, their owners may need to
demonstrate compliance with existing laws
and regulations
• This may involve collecting information about
the design and operation of a system
Critical systems engineering, 2013

Slide 12
System stakeholders
Customer
Critical systems
engineering
Regulator
System developer
Critical systems engineering, 2013

Slide 13
Critical systems engineering
• System failure costs are high
– Additional costs during system development are
justified if these reduce the likelihood of failure
– Tools and techniques to reduce the chances of
failure that are not cost-effective for other systems
may be used

Critical systems engineering, 2013

Slide 14
• Systems last a long time
– This requires the use of stable technologies
and the development of extensive system
documentation

Critical systems engineering, 2013

Slide 15
• Systems must demonstrate compliance
– Product and process record keeping

– Safety and dependability case development

Critical systems engineering, 2013

Slide 16
Critical systems engineering
processes
• Usually plan-driven processes where each
process stage is planned and carefully
documented
• Agile processes are not suitable for critical
systems engineering although some agile
practices such as test-first development may
be used
Critical systems engineering, 2013

Slide 17
• It is importantto have a complete description
of the system requirements and specification
so that they can be checked and analysed
before development begins
• Disciplined configuration management of all
software and hardware is essential
Critical systems engineering, 2013

Slide 18
Dependable systems
• Fault avoidance
• Fault detection and removal

• Fault tolerance
• Failure recovery and restart

Critical systems engineering, 2013

Slide 19
Software engineering techniques
• Formal methods for systems specification and
analysis
• Fault detection tools such as model checkers
and static analyzers

Critical systems engineering, 2013

Slide 20
Critical systems engineering, 2013

Slide 21
• Fault-tolerant architectures and software
redundancy
• Argumentation systems to support the
development of dependability cases

Critical systems engineering, 2013

Slide 22
Critical systems engineering, 2013

© Adelard 2013

Slide 23
Summary
• Focuses on the use of techniques and
methods to develop dependable and secure
systems
• The CSE process may have to develop
information to satisfy a regulator that a
system is safe and compliant with regulations
Critical systems engineering, 2013

Slide 24
• A plan-based process is normally used
• Techniques that are not used for other types
of system may be cost-effective for critical
systems

Critical systems engineering, 2013

Slide 25

More Related Content

What's hot

What's hot (20)

Engineering Software Products: 10. Devops and code management
Engineering Software Products: 10. Devops and code managementEngineering Software Products: 10. Devops and code management
Engineering Software Products: 10. Devops and code management
 
Ch3. agile sw dev
Ch3. agile sw devCh3. agile sw dev
Ch3. agile sw dev
 
Software Testing Strategies
Software Testing StrategiesSoftware Testing Strategies
Software Testing Strategies
 
Availability and reliability
Availability and reliabilityAvailability and reliability
Availability and reliability
 
The Software Development Process
The Software Development ProcessThe Software Development Process
The Software Development Process
 
Ch21 real time software engineering
Ch21 real time software engineeringCh21 real time software engineering
Ch21 real time software engineering
 
System dependability
System dependabilitySystem dependability
System dependability
 
Ch19 systems engineering
Ch19 systems engineeringCh19 systems engineering
Ch19 systems engineering
 
2. Software process
2. Software process2. Software process
2. Software process
 
Software architecture
Software architectureSoftware architecture
Software architecture
 
Software engineering
Software engineeringSoftware engineering
Software engineering
 
Ch2 sw processes
Ch2 sw processesCh2 sw processes
Ch2 sw processes
 
Unit 5- Architectural Design in software engineering
Unit 5- Architectural Design in software engineering Unit 5- Architectural Design in software engineering
Unit 5- Architectural Design in software engineering
 
Requirement Elicitation
Requirement ElicitationRequirement Elicitation
Requirement Elicitation
 
Bse 3105 lecture 4-software re-engineering
Bse 3105  lecture 4-software re-engineeringBse 3105  lecture 4-software re-engineering
Bse 3105 lecture 4-software re-engineering
 
Ch18 service oriented software engineering
Ch18 service oriented software engineeringCh18 service oriented software engineering
Ch18 service oriented software engineering
 
Software bug prediction
Software bug prediction Software bug prediction
Software bug prediction
 
Software Engineering - chp3- design
Software Engineering - chp3- designSoftware Engineering - chp3- design
Software Engineering - chp3- design
 
Software maintenance and configuration management, software engineering
Software maintenance and  configuration management, software engineeringSoftware maintenance and  configuration management, software engineering
Software maintenance and configuration management, software engineering
 
Chapter 01 software engineering pressman
Chapter 01  software engineering pressmanChapter 01  software engineering pressman
Chapter 01 software engineering pressman
 

Similar to Critical systems engineering

CS 5032 L4 requirements engineering 2013
CS 5032 L4 requirements engineering 2013CS 5032 L4 requirements engineering 2013
CS 5032 L4 requirements engineering 2013
Ian Sommerville
 
Innovation day 2013 2.5 joris vanderschrick (verhaert) - embedded system de...
Innovation day 2013   2.5 joris vanderschrick (verhaert) - embedded system de...Innovation day 2013   2.5 joris vanderschrick (verhaert) - embedded system de...
Innovation day 2013 2.5 joris vanderschrick (verhaert) - embedded system de...
Verhaert Masters in Innovation
 
Powersoft19 Overview - 2013
Powersoft19 Overview - 2013Powersoft19 Overview - 2013
Powersoft19 Overview - 2013
Huzaifa Saadat
 

Similar to Critical systems engineering (20)

Open Architecture: The Key to Aviation Security
Open Architecture: The Key to Aviation SecurityOpen Architecture: The Key to Aviation Security
Open Architecture: The Key to Aviation Security
 
Systems Engineering and Requirements Management in Medical Device Product Dev...
Systems Engineering and Requirements Management in Medical Device Product Dev...Systems Engineering and Requirements Management in Medical Device Product Dev...
Systems Engineering and Requirements Management in Medical Device Product Dev...
 
Project management through the eye of the systems engineer
Project management through the eye of the systems engineerProject management through the eye of the systems engineer
Project management through the eye of the systems engineer
 
Dependability requirements for LSCITS
Dependability requirements for LSCITSDependability requirements for LSCITS
Dependability requirements for LSCITS
 
Chapter 2 auditing it governance controls
Chapter 2 auditing it governance controlsChapter 2 auditing it governance controls
Chapter 2 auditing it governance controls
 
Chapter 2 auditing it governance controls
Chapter 2 auditing it governance controlsChapter 2 auditing it governance controls
Chapter 2 auditing it governance controls
 
CS 5032 L4 requirements engineering 2013
CS 5032 L4 requirements engineering 2013CS 5032 L4 requirements engineering 2013
CS 5032 L4 requirements engineering 2013
 
Taking the fire drill out of making firewall changes
Taking the fire drill out of making firewall changesTaking the fire drill out of making firewall changes
Taking the fire drill out of making firewall changes
 
Software Testing Future and Challenges
Software Testing Future and ChallengesSoftware Testing Future and Challenges
Software Testing Future and Challenges
 
Innovation day 2013 2.5 joris vanderschrick (verhaert) - embedded system de...
Innovation day 2013   2.5 joris vanderschrick (verhaert) - embedded system de...Innovation day 2013   2.5 joris vanderschrick (verhaert) - embedded system de...
Innovation day 2013 2.5 joris vanderschrick (verhaert) - embedded system de...
 
Real-Time Engineering Simulators
Real-Time Engineering SimulatorsReal-Time Engineering Simulators
Real-Time Engineering Simulators
 
Cyber security series administrative control breaches
Cyber security series   administrative control breaches Cyber security series   administrative control breaches
Cyber security series administrative control breaches
 
Software development
Software developmentSoftware development
Software development
 
Software Engineering Ethics
Software Engineering EthicsSoftware Engineering Ethics
Software Engineering Ethics
 
Introduction to Software engineering ch03
Introduction to Software engineering ch03Introduction to Software engineering ch03
Introduction to Software engineering ch03
 
07_SoftwareEvolution.pdf for student of comuter
07_SoftwareEvolution.pdf for student of comuter07_SoftwareEvolution.pdf for student of comuter
07_SoftwareEvolution.pdf for student of comuter
 
Software testing and introduction to quality
Software testing and introduction to qualitySoftware testing and introduction to quality
Software testing and introduction to quality
 
Using Integrated Security Systems to Accommodate Expansion and Ensure Safety
Using Integrated Security Systems to Accommodate Expansion and Ensure SafetyUsing Integrated Security Systems to Accommodate Expansion and Ensure Safety
Using Integrated Security Systems to Accommodate Expansion and Ensure Safety
 
Powersoft19 Overview - 2013
Powersoft19 Overview - 2013Powersoft19 Overview - 2013
Powersoft19 Overview - 2013
 
Requirements Engineering for LSCITS
Requirements Engineering for LSCITSRequirements Engineering for LSCITS
Requirements Engineering for LSCITS
 

More from sommerville-videos

System of systems classification
System of systems classificationSystem of systems classification
System of systems classification
sommerville-videos
 
Introducing sociotechnical systems
Introducing sociotechnical systemsIntroducing sociotechnical systems
Introducing sociotechnical systems
sommerville-videos
 

More from sommerville-videos (20)

Architectural patterns for real-time systems
Architectural patterns for real-time systemsArchitectural patterns for real-time systems
Architectural patterns for real-time systems
 
Introduction to real time software systems script
Introduction to real time software systems scriptIntroduction to real time software systems script
Introduction to real time software systems script
 
System of systems classification
System of systems classificationSystem of systems classification
System of systems classification
 
Reuse landscape
Reuse landscapeReuse landscape
Reuse landscape
 
Introduction to systems of systems
Introduction to systems of systemsIntroduction to systems of systems
Introduction to systems of systems
 
Scaling agile
Scaling agileScaling agile
Scaling agile
 
Agile methods for large systems
Agile methods for large systemsAgile methods for large systems
Agile methods for large systems
 
User stories
User storiesUser stories
User stories
 
Agile and plan based development processes
Agile and plan based development processesAgile and plan based development processes
Agile and plan based development processes
 
Fundamental software engineering activities
Fundamental software engineering activitiesFundamental software engineering activities
Fundamental software engineering activities
 
Introducing Software Engineering
Introducing Software EngineeringIntroducing Software Engineering
Introducing Software Engineering
 
Why se script
Why se scriptWhy se script
Why se script
 
Ariane 5 launcher failure
Ariane 5 launcher failure Ariane 5 launcher failure
Ariane 5 launcher failure
 
Airbus Flight Control System
Airbus Flight Control SystemAirbus Flight Control System
Airbus Flight Control System
 
Warsaw airbus accident
Warsaw airbus accidentWarsaw airbus accident
Warsaw airbus accident
 
Stakeholders, viewpoints and concerns
Stakeholders, viewpoints and concernsStakeholders, viewpoints and concerns
Stakeholders, viewpoints and concerns
 
Requirements engineering processes
Requirements engineering processesRequirements engineering processes
Requirements engineering processes
 
Requirements engineering challenges
Requirements engineering challengesRequirements engineering challenges
Requirements engineering challenges
 
Introducing sociotechnical systems
Introducing sociotechnical systemsIntroducing sociotechnical systems
Introducing sociotechnical systems
 
System success and failure
System success and failureSystem success and failure
System success and failure
 

Recently uploaded

Call Girls Hebbal Just Call 👗 7737669865 👗 Top Class Call Girl Service Bangalore
Call Girls Hebbal Just Call 👗 7737669865 👗 Top Class Call Girl Service BangaloreCall Girls Hebbal Just Call 👗 7737669865 👗 Top Class Call Girl Service Bangalore
Call Girls Hebbal Just Call 👗 7737669865 👗 Top Class Call Girl Service Bangalore
amitlee9823
 
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
dollysharma2066
 
unwanted pregnancy Kit [+918133066128] Abortion Pills IN Dubai UAE Abudhabi
unwanted pregnancy Kit [+918133066128] Abortion Pills IN Dubai UAE Abudhabiunwanted pregnancy Kit [+918133066128] Abortion Pills IN Dubai UAE Abudhabi
unwanted pregnancy Kit [+918133066128] Abortion Pills IN Dubai UAE Abudhabi
Abortion pills in Kuwait Cytotec pills in Kuwait
 
0183760ssssssssssssssssssssssssssss00101011 (27).pdf
0183760ssssssssssssssssssssssssssss00101011 (27).pdf0183760ssssssssssssssssssssssssssss00101011 (27).pdf
0183760ssssssssssssssssssssssssssss00101011 (27).pdf
Renandantas16
 
Mifty kit IN Salmiya (+918133066128) Abortion pills IN Salmiyah Cytotec pills
Mifty kit IN Salmiya (+918133066128) Abortion pills IN Salmiyah Cytotec pillsMifty kit IN Salmiya (+918133066128) Abortion pills IN Salmiyah Cytotec pills
Mifty kit IN Salmiya (+918133066128) Abortion pills IN Salmiyah Cytotec pills
Abortion pills in Kuwait Cytotec pills in Kuwait
 

Recently uploaded (20)

Ensure the security of your HCL environment by applying the Zero Trust princi...
Ensure the security of your HCL environment by applying the Zero Trust princi...Ensure the security of your HCL environment by applying the Zero Trust princi...
Ensure the security of your HCL environment by applying the Zero Trust princi...
 
Call Girls In Panjim North Goa 9971646499 Genuine Service
Call Girls In Panjim North Goa 9971646499 Genuine ServiceCall Girls In Panjim North Goa 9971646499 Genuine Service
Call Girls In Panjim North Goa 9971646499 Genuine Service
 
Call Girls Hebbal Just Call 👗 7737669865 👗 Top Class Call Girl Service Bangalore
Call Girls Hebbal Just Call 👗 7737669865 👗 Top Class Call Girl Service BangaloreCall Girls Hebbal Just Call 👗 7737669865 👗 Top Class Call Girl Service Bangalore
Call Girls Hebbal Just Call 👗 7737669865 👗 Top Class Call Girl Service Bangalore
 
Boost the utilization of your HCL environment by reevaluating use cases and f...
Boost the utilization of your HCL environment by reevaluating use cases and f...Boost the utilization of your HCL environment by reevaluating use cases and f...
Boost the utilization of your HCL environment by reevaluating use cases and f...
 
7.pdf This presentation captures many uses and the significance of the number...
7.pdf This presentation captures many uses and the significance of the number...7.pdf This presentation captures many uses and the significance of the number...
7.pdf This presentation captures many uses and the significance of the number...
 
Monthly Social Media Update April 2024 pptx.pptx
Monthly Social Media Update April 2024 pptx.pptxMonthly Social Media Update April 2024 pptx.pptx
Monthly Social Media Update April 2024 pptx.pptx
 
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
 
MONA 98765-12871 CALL GIRLS IN LUDHIANA LUDHIANA CALL GIRL
MONA 98765-12871 CALL GIRLS IN LUDHIANA LUDHIANA CALL GIRLMONA 98765-12871 CALL GIRLS IN LUDHIANA LUDHIANA CALL GIRL
MONA 98765-12871 CALL GIRLS IN LUDHIANA LUDHIANA CALL GIRL
 
unwanted pregnancy Kit [+918133066128] Abortion Pills IN Dubai UAE Abudhabi
unwanted pregnancy Kit [+918133066128] Abortion Pills IN Dubai UAE Abudhabiunwanted pregnancy Kit [+918133066128] Abortion Pills IN Dubai UAE Abudhabi
unwanted pregnancy Kit [+918133066128] Abortion Pills IN Dubai UAE Abudhabi
 
B.COM Unit – 4 ( CORPORATE SOCIAL RESPONSIBILITY ( CSR ).pptx
B.COM Unit – 4 ( CORPORATE SOCIAL RESPONSIBILITY ( CSR ).pptxB.COM Unit – 4 ( CORPORATE SOCIAL RESPONSIBILITY ( CSR ).pptx
B.COM Unit – 4 ( CORPORATE SOCIAL RESPONSIBILITY ( CSR ).pptx
 
0183760ssssssssssssssssssssssssssss00101011 (27).pdf
0183760ssssssssssssssssssssssssssss00101011 (27).pdf0183760ssssssssssssssssssssssssssss00101011 (27).pdf
0183760ssssssssssssssssssssssssssss00101011 (27).pdf
 
Pharma Works Profile of Karan Communications
Pharma Works Profile of Karan CommunicationsPharma Works Profile of Karan Communications
Pharma Works Profile of Karan Communications
 
A DAY IN THE LIFE OF A SALESMAN / WOMAN
A DAY IN THE LIFE OF A  SALESMAN / WOMANA DAY IN THE LIFE OF A  SALESMAN / WOMAN
A DAY IN THE LIFE OF A SALESMAN / WOMAN
 
The Path to Product Excellence: Avoiding Common Pitfalls and Enhancing Commun...
The Path to Product Excellence: Avoiding Common Pitfalls and Enhancing Commun...The Path to Product Excellence: Avoiding Common Pitfalls and Enhancing Commun...
The Path to Product Excellence: Avoiding Common Pitfalls and Enhancing Commun...
 
KYC-Verified Accounts: Helping Companies Handle Challenging Regulatory Enviro...
KYC-Verified Accounts: Helping Companies Handle Challenging Regulatory Enviro...KYC-Verified Accounts: Helping Companies Handle Challenging Regulatory Enviro...
KYC-Verified Accounts: Helping Companies Handle Challenging Regulatory Enviro...
 
M.C Lodges -- Guest House in Jhang.
M.C Lodges --  Guest House in Jhang.M.C Lodges --  Guest House in Jhang.
M.C Lodges -- Guest House in Jhang.
 
John Halpern sued for sexual assault.pdf
John Halpern sued for sexual assault.pdfJohn Halpern sued for sexual assault.pdf
John Halpern sued for sexual assault.pdf
 
Mifty kit IN Salmiya (+918133066128) Abortion pills IN Salmiyah Cytotec pills
Mifty kit IN Salmiya (+918133066128) Abortion pills IN Salmiyah Cytotec pillsMifty kit IN Salmiya (+918133066128) Abortion pills IN Salmiyah Cytotec pills
Mifty kit IN Salmiya (+918133066128) Abortion pills IN Salmiyah Cytotec pills
 
Dr. Admir Softic_ presentation_Green Club_ENG.pdf
Dr. Admir Softic_ presentation_Green Club_ENG.pdfDr. Admir Softic_ presentation_Green Club_ENG.pdf
Dr. Admir Softic_ presentation_Green Club_ENG.pdf
 
Best VIP Call Girls Noida Sector 40 Call Me: 8448380779
Best VIP Call Girls Noida Sector 40 Call Me: 8448380779Best VIP Call Girls Noida Sector 40 Call Me: 8448380779
Best VIP Call Girls Noida Sector 40 Call Me: 8448380779
 

Critical systems engineering

  • 1. Critical systems engineering Ian Sommerville Critical systems engineering, 2013 Slide 1
  • 2. Critical systems • Systems whose failure or unavailability can lead to loss of life, injury, environmental damage or serious economic consequences for businesses or countries • Almost all public and private sector activities in developed countries now rely on critical, softwareintensive systems • Long-lifetime systems Critical systems engineering, 2013 Slide 2
  • 3. Image credit: http://www.barronmccann.com/ Critical systems engineering, 2013 Slide 3
  • 4. Critical systems engineering • The focus in critical systems engineering is on the use of techniques and methods to develop dependable and secure systems Critical systems engineering, 2013 Slide 4
  • 5. • The costs of critical system failure are so high that development methods may be used that are not costeffective for other types of system. • A key difference between critical systems engineering and other types of software engineering is often the need to demonstrate compliance to laws and regulations. Critical systems engineering, 2013 Slide 5
  • 6. Regulation • Regulators are government-appointed bodies whose job is to ensure that companies and other bodies conform to national and international laws. • This normally involves interpreting the law and government policy and establishing standards and regulations that must be followed by industry. Critical systems engineering, 2013 Slide 6
  • 7. UK regulators Critical systems engineering, 2013 Slide 7
  • 8. System certification • The regulators check that the system is conformant to current regulations and standards and that due care and attention has been paid to making the system safe Critical systems engineering, 2013 Slide 8
  • 9. System certification • Some critical systems have to be ‘certified’ by an external regulator before they can be put into use – Aviation systems – Nuclear systems – Railway systems – (Some) medical systems Critical systems engineering, 2013 Slide 9
  • 10. Certification costs • Certification is very expensive as it involves preparing detailed documents for the regulator • There may be several thousand pages of documentation that must be created and analysed • Certification costs can be comparable or even exceed the system development costs Critical systems engineering, 2013 Slide 10
  • 11. • System owners and developers jointly produce evidence (a safety case or a dependability case) that demonstrates to the regulator that a system is safe and dependable Critical systems engineering, 2013 Slide 11
  • 12. Compliance • Even when system do not need certification before use, their owners may need to demonstrate compliance with existing laws and regulations • This may involve collecting information about the design and operation of a system Critical systems engineering, 2013 Slide 12
  • 13. System stakeholders Customer Critical systems engineering Regulator System developer Critical systems engineering, 2013 Slide 13
  • 14. Critical systems engineering • System failure costs are high – Additional costs during system development are justified if these reduce the likelihood of failure – Tools and techniques to reduce the chances of failure that are not cost-effective for other systems may be used Critical systems engineering, 2013 Slide 14
  • 15. • Systems last a long time – This requires the use of stable technologies and the development of extensive system documentation Critical systems engineering, 2013 Slide 15
  • 16. • Systems must demonstrate compliance – Product and process record keeping – Safety and dependability case development Critical systems engineering, 2013 Slide 16
  • 17. Critical systems engineering processes • Usually plan-driven processes where each process stage is planned and carefully documented • Agile processes are not suitable for critical systems engineering although some agile practices such as test-first development may be used Critical systems engineering, 2013 Slide 17
  • 18. • It is importantto have a complete description of the system requirements and specification so that they can be checked and analysed before development begins • Disciplined configuration management of all software and hardware is essential Critical systems engineering, 2013 Slide 18
  • 19. Dependable systems • Fault avoidance • Fault detection and removal • Fault tolerance • Failure recovery and restart Critical systems engineering, 2013 Slide 19
  • 20. Software engineering techniques • Formal methods for systems specification and analysis • Fault detection tools such as model checkers and static analyzers Critical systems engineering, 2013 Slide 20
  • 22. • Fault-tolerant architectures and software redundancy • Argumentation systems to support the development of dependability cases Critical systems engineering, 2013 Slide 22
  • 23. Critical systems engineering, 2013 © Adelard 2013 Slide 23
  • 24. Summary • Focuses on the use of techniques and methods to develop dependable and secure systems • The CSE process may have to develop information to satisfy a regulator that a system is safe and compliant with regulations Critical systems engineering, 2013 Slide 24
  • 25. • A plan-based process is normally used • Techniques that are not used for other types of system may be cost-effective for critical systems Critical systems engineering, 2013 Slide 25