en
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 Jul 15, 20143179 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
Related categories
Chapter list
Why software needs to be developed using rigorous engineering-based methods00:00
Do we really have a problem?00:16
Bad day at the office!00:41
Overambition again - still pain to come01:59
Complete failure03:05
A double-whammy - car and house damaged!05:01
The worst consequences of not doing things right05:18
And we didn’t learn from the Therac 25 incident07:14
Even more medical issues08:09
Causes of our software problems09:42
Types of software errors10:17
System design issues10:51
Environmental factors12:00
Errors in the design process12:33
A problem of syntax12:41
Syntax issues12:55
Semantic issues15:02
A problem of semantics16:08
Logic errors - what and when17:03
Algorithmic errors18:24
Poor software - the reasons20:19
How can we produce dependable software?21:57
Qualities of dependable software22:09
Software suffers from the ‘fashion’ syndrome24:12
The PRAGMA RTES software development method25:27
The software ‘Guru’ at work30:38
Developing products - from problem to solution31:41
A general RTES development process - from problem to solution33:59
The basics of the PRAGMA real-time development process35:34
The extent of the PRAGMA process - software development only38:25
The analysis phases of the PRAGMA process - major steps38:48
The design phase of the PRAGMA process - major steps42:37
PRAGMA - the implementation model50:34
Getting to the implementation model - THE crucial design step55:04
Introducing the specification model57:43
Mapping objects to tasks - basics58:38
Example mapping - active and passive objects01:03:48
Overview of the software development process for multi-computer systems01:06:10
Mapping objects to processors01:07:04
Recap - design phase of the PRAGMA process01:08:22
Conclusion of the presentation01:08:50