| Other
Projects |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| • | Multi-Application
Operating System (MULTOS) |
||||||||||||
| – | Smart
card OS |
||||||||||||
| – | 30%
written in SPARK, 30% Ada, 30% C++ |
||||||||||||
| – | Proof
process (or lack thereof) similar to C130J |
||||||||||||
| • | SIL4 |
||||||||||||
| – | Real-time
embedded control-system |
||||||||||||
| – | Tried
to convert to SPARK after testing |
||||||||||||
| – | Code-generator
“flattened” structure |
||||||||||||
| – | Lots
of problems… |
||||||||||||
