0.25
0.5
0.75
1.25
1.5
1.75
2
The engineering of real‐time embedded systems: Why software needs to be developed using rigorous engineering-based methods?
Published on 2014-07-153172 Views
The microprocessor arrived circa 1970 and initially, was a very expensive device. However, by the end of that decade its cost had fallen dramatically, thanks mainly to improvements in design and fabri
Presentation
Why software needs to be developed using rigorous engineering-based methods00:00
Do we really have a problem?04:27:56
Bad day at the office!11:34:04
Overambition again - still pain to come33:18:55
Complete failure51:23:25
A double-whammy - car and house damaged!83:50:13
The worst consequences of not doing things right88:36:05
And we didn’t learn from the Therac 25 incident120:41:58
Even more medical issues136:02:34
Causes of our software problems161:49:31
Types of software errors171:36:27
System design issues180:54:26
Environmental factors200:03:07
Errors in the design process209:12:36
A problem of syntax211:31:14
Syntax issues215:25:40
Semantic issues250:33:29
A problem of semantics269:01:39
Logic errors - what and when284:10:37
Algorithmic errors306:54:33
Poor software - the reasons338:49:50
How can we produce dependable software?365:54:13
Qualities of dependable software369:14:50
Software suffers from the ‘fashion’ syndrome403:24:19
The PRAGMA RTES software development method424:20:33
The software ‘Guru’ at work510:48:37
Developing products - from problem to solution528:08:59
A general RTES development process - from problem to solution566:26:53
The basics of the PRAGMA real-time development process592:49:20
The extent of the PRAGMA process - software development only640:33:11
The analysis phases of the PRAGMA process - major steps646:52:26
The design phase of the PRAGMA process - major steps710:22:06
PRAGMA - the implementation model842:58:56
Getting to the implementation model - THE crucial design step917:52:04
Introducing the specification model961:58:35
Mapping objects to tasks - basics977:20:38
Example mapping - active and passive objects1063:32:44
Overview of the software development process for multi-computer systems1102:59:18
Mapping objects to processors1117:50:10
Recap - design phase of the PRAGMA process1139:38:12
Conclusion of the presentation1147:23:22